scroll-tech / ceno

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

Summary the number of polynomials used in each circuits #553

Open kunxian-xia opened 2 hours ago

hero78119 commented 2 hours ago

To expand more, we probably need to have statistics tools for summary on 2 dimensions:

with below data

And per opcode circuit sorted by opcode frequency, where the frequency can retrieved from Fabonacci guest program traces.