search

scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
57 stars 7 forks source link

fix/circuit-order: Reliable order of circuits in proofs #522

Closed naure closed 2 weeks ago

naure commented 3 weeks ago

Extracted from #368