fix/program-size: fix padding depending on program table size

scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Apache License 2.0

53 stars 6 forks source link

Closed naure closed 1 day ago

naure commented 1 day ago

This produces invalid proofs (too few rounds) if the actual program size is less than PROGRAM_SIZE / 2.