Search results

upgrade recursion verifier program to be update with latest ceno's rust verifier

Status: Open.

#30 In scroll-tech/ceno-recursion-verifier;

· kunxian-xia opened on Jul 1, 2025

set up CI

Status: Open.

#24 In scroll-tech/ceno-recursion-verifier;

· kunxian-xia opened on Jun 19, 2025

modify memory layout of spec_evals in the tower proof

Status: Open.

#21 In scroll-tech/ceno-recursion-verifier;

· kunxian-xia opened on Jun 18, 2025

feat: e2e verifier for basefold+babybear proof

Status: Open.

#2 In scroll-tech/ceno-recursion-verifier;

· lispc opened on Apr 16, 2025

feat: basefold verifier

Status: Open.

#1 In scroll-tech/ceno-recursion-verifier;

· lispc opened on Apr 16, 2025