search

scroll-tech / ceno-recursion

1 stars 0 forks source link

Evaluate proof aggregation schemes #11

Open matthiasgoergens opened 1 month ago

matthiasgoergens commented 1 month ago

Look into all the different ways to aggregate and compress proves. What are the trade-offs we want to make?

Check whether the approach taken in this repository so far is actually in line with Ceno's goals.

Compare what SP1 and Risc0 etc are doing, and what design considerations they had---we might as well learn from them. (Assuming we can find their deliberations. But we can also ask, Risc0 folks have been very communicative when asked in the past.)

matthiasgoergens commented 3 weeks ago

I'm still learning about how our base VM works, so I can look more into recursive verification. @Jiangkm3 Please jump in as you see fit.

matthiasgoergens commented 3 weeks ago

See also https://scrollco.slack.com/archives/C07STVAHKPT/p1730169868030399

Jiangkm3 commented 2 weeks ago

We have decided that it is necessary to finish the most rudimentary implementation of the recursive verifier for benchmark testing. We shift our focus to finish that implementation first.