feat(plonk): impl witness calc

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

106 stars 15 forks source link

feat(plonk): impl witness calc #279

Closed cyphersnake closed 1 month ago

cyphersnake commented 1 month ago

Motivation Part of #259 & #260

Overview

Implemented witness eval method, based on lazy iterator
It is possible to use c rayon
Note that the computation tree is built once for each gate
It is also possible to return a non-flat structure (Iterator of iterators), but for our usecases we would have to annotate each .flatten() call.

chaosma commented 1 month ago

since we will try to use the same interface GetChallenges and GetWitness, can you merge this PR first? @cyphersnake I will use this temp branch for now.