Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generating a fork_7_proof #740

Open
wants to merge 1 commit into
base: fork_7
Choose a base branch
from
Open

Generating a fork_7_proof #740

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20,528 changes: 10,264 additions & 10,264 deletions src/starkpil/recursivefinal/final.verifier.cpp
View file
Open in desktop
6,308 changes: 3,154 additions & 3,154 deletions src/starkpil/starkRecursive1/witness/recursive1.verifier.cpp
View file
Open in desktop
5,696 changes: 2,848 additions & 2,848 deletions src/starkpil/starkRecursive2/witness/recursive2.verifier.cpp
View file
Open in desktop
6,398 changes: 3,199 additions & 3,199 deletions src/starkpil/starkRecursiveF/witness/recursivef.verifier.cpp
View file
Open in desktop
68 changes: 68 additions & 0 deletions src/starkpil/zkevm/chelpers/zkevm.chelpers.step3.parser.cpp
View file
Open in desktop
21 changes: 21 additions & 0 deletions src/starkpil/zkevm/chelpers/zkevm.chelpers.step3prev.parser.cpp
View file
Open in desktop
153,018 changes: 76,518 additions & 76,500 deletions src/starkpil/zkevm/chelpers/zkevm.chelpers.step42ns.cpp
View file
Open in desktop
105 changes: 104 additions & 1 deletion src/starkpil/zkevm/chelpers/zkevm.chelpers.step42ns.parser.cpp
View file
Open in desktop
8 changes: 4 additions & 4 deletions src/starkpil/zkevm/chelpers/zkevm.chelpers.step42ns.parser.hpp
View file
Open in desktop
24,462 changes: 12,231 additions & 12,231 deletions src/starkpil/zkevm/chelpers/zkevm.chelpers.step52ns.cpp
View file
Open in desktop
328,223 changes: 164,140 additions & 164,083 deletions src/starkpil/zkevm/witness/zkevm.verifier.cpp
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/aggregatedProof/recursive1.zkin.proof_0.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/aggregatedProof/recursive1.zkin.proof_1.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/aggregatedProof/recursive1.zkin.proof_2.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/aggregatedProof/recursive1.zkin.proof_3.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/finalProof/proof.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/finalProof/recursive2.zkin.proof_01.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/finalProof/recursive2.zkin.proof_03.json
View file
Open in desktop
2 changes: 1 addition & 1 deletion testvectors/finalProof/recursive2.zkin.proof_23.json
View file
Open in desktop