serialization of verification key and proof

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

serialization of verification key and proof #612

Open kunxian-xia opened 1 day ago

kunxian-xia commented 1 day ago

We want to how many bytes does the zkvm proof occupies and the number of hashes that verification needs. This can give us a quick estimation for the recursion cost.