This project investigates the feasibility of on-chain verification for VOLE in the Head (VOLE itH), a publicly verifiable and efficient variant of VOLE-based zk proofs. While VOLE-based ZK systems significantly reduce computational complexity for provers, the challenge lies in implementing cost-effective and scalable on-chain verification.
VOLE-based ZK systems are typically designed for efficient prover but are not yet widely implemented for on-chain verification due to challenges such as proof size, communication costs, and gas costs. VOLE itH introduces public verifiability, making it a promising candidate for practical zk schemes for on-chain applications via client-side provers. However, the exact costs and technical bottlenecks of integrating VOLE itH into a public blockchain, such as Ethereum, remain unclear.
This project measures the following items. Please check benches/README.md for the results.
| Metric | Description | Unit | Example Measurement Method |
|---|---|---|---|
| Proof Generation Time | Time required for the prover to generate the proof | Milliseconds (ms) | Measure the execution time of the proof generation process |
| Proof Verification Time | Time required for the verifier to verify the proof | Milliseconds (ms) | Measure the execution time of the proof verification process |
| Proof Size | Size of the generated proof data | Bytes | Measure the size of the proof after generation |
| Prover Computation Load | Computational cost for the prover (e.g., memory usage, CPU usage) | CPU Load (%), MB | Monitor resource usage during the proof generation process |
| Verifier Computation Load | Computational cost for the verifier (e.g., memory usage, CPU usage) | CPU Load (%), MB | Monitor resource usage during the proof verification process |
| Communication Overhead | Total amount of data exchanged between prover and verifier | Bytes | Capture communication logs and measure the total data exchanged |
| On-Chain Verification Gas Cost | Cost of verifying the proof on-chain in gas | Gas units | Measure gas cost using a blockchain environment (e.g., Ethereum) |