GitHub · Where software is built

Open

Overdue by 9 month(s)

•

Due by December 20, 2024

Last updated Dec 19, 2024

0% complete

We want to select a transparent proof system for proving the recursive circuits from two candidates:

AIR + STARK: with plonky3 or plonky2 as the default backend implementation.
R1CS + Spartan: with spartan-parallel as the default backend implementation.

Select all issues: List view

Rename variables

#58

· Jiangkm3 opened

on Dec 12, 2024

parallelize <code>spartan-parallel</code>

#55

· kunxian-xia opened

on Dec 11, 2024

integrate <code>mpcs</code> in ceno into ceno-recursion

#54

· kunxian-xia opened

on Dec 10, 2024

bench: verifying N poseidon permutation over goldilocks field using <code>spartan_parallel</code>

#48

· kunxian-xia opened

on Dec 2, 2024

feature request: batch opening of 4 ML polys into one in <code>spartan-parallel</code>

#63

· kunxian-xia opened

on Dec 17, 2024

Extension of R1CS to express poseidon's s-box more efficiently

#60

· kunxian-xia opened

on Dec 13, 2024