search

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
119 stars 17 forks source link

feat(example): poseidon benchmark #242

Closed chaosma closed 4 months ago

chaosma commented 5 months ago

Issue Link / Motivation Benchmark non-trivial circuit with our current Sangria type IVC folding. The sha256 and keccak circuits have too many custom gates which makes the folding too long to finish

Changes Overview Add poseidon circuit benchmark

cyphersnake commented 5 months ago

Any problem, need help?

cyphersnake commented 5 months ago

From Chao: The W point out of curve

cyphersnake commented 5 months ago

It was just wrong cache file. Investigating

cyphersnake commented 5 months ago

Yes, it seems simple, we have bn256 & grumpking folders mixed up. If you rename them, everything works.

Will fix all examples

cyphersnake commented 5 months ago

It's work, will start build bench from this example

chaosma commented 4 months ago

Yes, it seems simple, we have bn256 & grumpking folders mixed up. If you rename them, everything works.

Will fix all examples

I am wondering why the folder not mixed up with trivial example but just with poseidon example?