AtHeartEngineer/zk-explorations
1
0
Fork 0
mirror of https://github.com/vacp2p/zk-explorations.git synced 2026-01-09 22:07:57 -05:00
Code Issues Packages Projects Releases Wiki Activity

document update

Browse Source
This commit is contained in:
EL LAZ Mohamad
2024-02-16 11:47:06 +01:00
parent e2e40097d2
commit f9a1165f44
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
benchmarks.md
View File

@@ -53,8 +53,8 @@ The work required by the prover at each juncture is majorly defined by two multi
* _Arecibo_: SuperNova protocol offers an efficient solution for virtual machine modelization and circuit operations, reducing costs and complexities. It innovates on Nova's folding
scheme by segmenting universal circuits into smaller sub-circuits, enhancing both complexity and cost efficiency. This effort aims to standardize the Non-Uniform Incremental Verifiable
Computation (NIVC) approach, improving the folding scheme implementations significantly. The integration of the SuperNova protocol into Arecibo, is a significant leap in cryptographic
proofs and folding schemes.
Computation (NIVC) approach, improving the folding scheme implementations significantly. The integration of the SuperNova protocol into Arecibo, is a significant leap in cryptographic
proofs and folding schemes.
Several optimizations were implemented to enhance the efficiency of the Arecibo implementation. Specifically, the number of variables and constraints in the recursive
verification circuit were significantly reduced and the accuracy of the recursive SNARK verification was improved. This allows for the verification of the folding logic