Skip to content

Replace noteCommitmentRoot with historicalNoteRootAccumulatorRoot #1

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

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

Replace noteCommitmentRoot with historicalNoteRootAccumulatorRoot #1

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
22 changes: 11 additions & 11 deletions assets/eip-8182/pool_precompile_happy_path.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
{
"description": "Valid Groth16/BN254 proof for the EIP-8182 pool circuit. The PROOF_VERIFY_PRECOMPILE MUST return uint256(1).",
"input": "0x00000000000000000000000000000000000000000000000000000000000002c01246e5b4bcbace8f661e183101640d0db67a8aff835663c6c5edd209524d0b69145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e01c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba11892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a689027da03390c0f5e610eb4ed3c3e8eec26a960864ad77e8bfbc53265cc8725f5ae28a5fcefd9fb0683361f0c015ac61797b592bdce0c101e465b44a1585266133500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000017b95c359759647c42fcb759c3dd1ffe633c693c21523aebc684bda3dcd839282e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa0000000000000000000000000000000000000000000000000000000067748580000000000000000000000000000000000000000000000000000000000000000118fe68077b7f2e051e5865df48586b0483ea76fd1f44900a8de5f6a2c6e746ed0b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d00000000000000000000000000000000000000000000000000000000d0d000a000000000000000000000000000000000000000000000000000000000d0d000a100000000000000000000000000000000000000000000000000000000d0d000a2000000000000000000000000555555555555555555555555555555555555555516234ab58cf72715a9e9436819e19c897108c61fc115817cb4e2af80ba7f10872a8deb2a8d24d8b7baf996d8283706297cea4f508f9bf5d0390b5980d4bf0e3c000000000000000000000000000000000000000000000000000000000000010009dd03405ea26b2709f74f8f0579f4eccb1557ce5ceb1321bed86e26f7d9432b0aad40af59c95c2b3794106a03083d6de81e21948c8d8f9da60b13a5de868f741d1a89a492b932e622e7af8db377596c533aa4a8f416c04b4cdcbc5362789265105de6e494a2c467e874613e4895710771d3eeeb27f1901a6311be6ae995c11e2fd1e7df495aa3d575fdfbf4e4040f372e354b21a2f982de202ea4c3b91c51be049d1246f51f2938157ad4f468efd9e9cbd03c902f7d0ead3dfb031436dafe9830022f847c75d65b11f73e46d33e476f7db51e0848a59277c5fa8c1e12d0faf82ad7ad8181fb2fcc0d8ff43a51d93c7a26c4e53f2291496dc1c8f318d246689a",
"input": "0x00000000000000000000000000000000000000000000000000000000000002c02db032392a80e06df6be0b3a4a7fa8ff4a3b6878997d9cc6721b015c68997d55145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e01c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba11892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a689027da03390c0f5e610eb4ed3c3e8eec26a960864ad77e8bfbc53265cc8725f5ae28a5fcefd9fb0683361f0c015ac61797b592bdce0c101e465b44a1585266133500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000017b95c359759647c42fcb759c3dd1ffe633c693c21523aebc684bda3dcd839282e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa0000000000000000000000000000000000000000000000000000000067748580000000000000000000000000000000000000000000000000000000000000000101cc6da3694ad47b771d356567472de93165a9692ce4764367c36bb92484d5a70b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d1b56baa0e3b9d5d1b645d1780ec680f56f28acc2986b0c8235aed44cb30db7b52994b1263e7e00e42d88abbbb0100d36c7cc44301dc191a12b906404ef27dd4514953502e73be884325bcf7dee5bd5febbcd36d7cffa3977c2fca4bd0e5fb1f1000000000000000000000000a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a10b19f126011b791d68c37f8f2077407ac5f9a75b96fb53bd9e35d62a61136cdb27fba13c8009c277f1a356ee148b9403d22b3084a41eec9db0226eb086e033ac00000000000000000000000000000000000000000000000000000000000001000d337678ced21363e7ba50b152fb8288898714bb7ee3104db36856da27ace7172a574e3cb8729c7e92361acf842ac76e0325c0db2c14ae1b6de76ca646b498b6089e89683fd19fa957e869557d6f689cc3d0cb8f428277f7ace07ff2910404e4247068be79c9cac00a701fd09016eb915334677f908b5f6c13a89a2f2e2cd26c0a324b3c8a72ef061a18f664177f57022a4234e63e25c313b85f7a08d472657a093e1c2d574373e58ff379fabe60e605bc54eb9100c52c640093a378e2b2def10e2c41517535140d32a151e2814993d114d875215dcf2698edf43a1517a54bd90e9727405fb88692112660e830e285f97a93825a008cb3001e73cd0e6c484c5f",
"expectedOutput": "0x0000000000000000000000000000000000000000000000000000000000000001",
"components": {
"proof": "0x09dd03405ea26b2709f74f8f0579f4eccb1557ce5ceb1321bed86e26f7d9432b0aad40af59c95c2b3794106a03083d6de81e21948c8d8f9da60b13a5de868f741d1a89a492b932e622e7af8db377596c533aa4a8f416c04b4cdcbc5362789265105de6e494a2c467e874613e4895710771d3eeeb27f1901a6311be6ae995c11e2fd1e7df495aa3d575fdfbf4e4040f372e354b21a2f982de202ea4c3b91c51be049d1246f51f2938157ad4f468efd9e9cbd03c902f7d0ead3dfb031436dafe9830022f847c75d65b11f73e46d33e476f7db51e0848a59277c5fa8c1e12d0faf82ad7ad8181fb2fcc0d8ff43a51d93c7a26c4e53f2291496dc1c8f318d246689a",
"proof": "0x0d337678ced21363e7ba50b152fb8288898714bb7ee3104db36856da27ace7172a574e3cb8729c7e92361acf842ac76e0325c0db2c14ae1b6de76ca646b498b6089e89683fd19fa957e869557d6f689cc3d0cb8f428277f7ace07ff2910404e4247068be79c9cac00a701fd09016eb915334677f908b5f6c13a89a2f2e2cd26c0a324b3c8a72ef061a18f664177f57022a4234e63e25c313b85f7a08d472657a093e1c2d574373e58ff379fabe60e605bc54eb9100c52c640093a378e2b2def10e2c41517535140d32a151e2814993d114d875215dcf2698edf43a1517a54bd90e9727405fb88692112660e830e285f97a93825a008cb3001e73cd0e6c484c5f",
"publicInputs": [
"0x1246e5b4bcbace8f661e183101640d0db67a8aff835663c6c5edd209524d0b69",
"0x2db032392a80e06df6be0b3a4a7fa8ff4a3b6878997d9cc6721b015c68997d55",
"0x145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e0",
"0x1c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba1",
"0x1892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a6890",
Expand All @@ -18,17 +18,17 @@
"0x2e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa",
"0x0000000000000000000000000000000000000000000000000000000067748580",
"0x0000000000000000000000000000000000000000000000000000000000000001",
"0x18fe68077b7f2e051e5865df48586b0483ea76fd1f44900a8de5f6a2c6e746ed",
"0x01cc6da3694ad47b771d356567472de93165a9692ce4764367c36bb92484d5a7",
"0x0b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d",
"0x00000000000000000000000000000000000000000000000000000000d0d000a0",
"0x00000000000000000000000000000000000000000000000000000000d0d000a1",
"0x00000000000000000000000000000000000000000000000000000000d0d000a2",
"0x0000000000000000000000005555555555555555555555555555555555555555",
"0x16234ab58cf72715a9e9436819e19c897108c61fc115817cb4e2af80ba7f1087",
"0x2a8deb2a8d24d8b7baf996d8283706297cea4f508f9bf5d0390b5980d4bf0e3c"
"0x1b56baa0e3b9d5d1b645d1780ec680f56f28acc2986b0c8235aed44cb30db7b5",
"0x2994b1263e7e00e42d88abbbb0100d36c7cc44301dc191a12b906404ef27dd45",
"0x14953502e73be884325bcf7dee5bd5febbcd36d7cffa3977c2fca4bd0e5fb1f1",
"0x000000000000000000000000a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
"0x0b19f126011b791d68c37f8f2077407ac5f9a75b96fb53bd9e35d62a61136cdb",
"0x27fba13c8009c277f1a356ee148b9403d22b3084a41eec9db0226eb086e033ac"
],
"publicInputsLabels": [
"noteCommitmentRoot",
"historicalNoteRootAccumulatorRoot",
"nullifier0",
"nullifier1",
"noteBodyCommitment0",
Expand Down
20 changes: 10 additions & 10 deletions assets/eip-8182/pool_precompile_invalid_proof.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{
"description": "A valid proof with a single bit flipped inside pi_c.x. The pairing check MUST fail and the precompile MUST return uint256(0).",
"mutation": "byte index 200 of the 256-byte proof XORed with 0x01 (flips one bit of pi_c.x)",
"input": "0x00000000000000000000000000000000000000000000000000000000000002c01246e5b4bcbace8f661e183101640d0db67a8aff835663c6c5edd209524d0b69145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e01c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba11892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a689027da03390c0f5e610eb4ed3c3e8eec26a960864ad77e8bfbc53265cc8725f5ae28a5fcefd9fb0683361f0c015ac61797b592bdce0c101e465b44a1585266133500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000017b95c359759647c42fcb759c3dd1ffe633c693c21523aebc684bda3dcd839282e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa0000000000000000000000000000000000000000000000000000000067748580000000000000000000000000000000000000000000000000000000000000000118fe68077b7f2e051e5865df48586b0483ea76fd1f44900a8de5f6a2c6e746ed0b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d00000000000000000000000000000000000000000000000000000000d0d000a000000000000000000000000000000000000000000000000000000000d0d000a100000000000000000000000000000000000000000000000000000000d0d000a2000000000000000000000000555555555555555555555555555555555555555516234ab58cf72715a9e9436819e19c897108c61fc115817cb4e2af80ba7f10872a8deb2a8d24d8b7baf996d8283706297cea4f508f9bf5d0390b5980d4bf0e3c000000000000000000000000000000000000000000000000000000000000010009dd03405ea26b2709f74f8f0579f4eccb1557ce5ceb1321bed86e26f7d9432b0aad40af59c95c2b3794106a03083d6de81e21948c8d8f9da60b13a5de868f741d1a89a492b932e622e7af8db377596c533aa4a8f416c04b4cdcbc5362789265105de6e494a2c467e874613e4895710771d3eeeb27f1901a6311be6ae995c11e2fd1e7df495aa3d575fdfbf4e4040f372e354b21a2f982de202ea4c3b91c51be049d1246f51f2938157ad4f468efd9e9cbd03c902f7d0ead3dfb031436dafe9830022f847c75d65b10f73e46d33e476f7db51e0848a59277c5fa8c1e12d0faf82ad7ad8181fb2fcc0d8ff43a51d93c7a26c4e53f2291496dc1c8f318d246689a",
"input": "0x00000000000000000000000000000000000000000000000000000000000002c02db032392a80e06df6be0b3a4a7fa8ff4a3b6878997d9cc6721b015c68997d55145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e01c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba11892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a689027da03390c0f5e610eb4ed3c3e8eec26a960864ad77e8bfbc53265cc8725f5ae28a5fcefd9fb0683361f0c015ac61797b592bdce0c101e465b44a1585266133500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000017b95c359759647c42fcb759c3dd1ffe633c693c21523aebc684bda3dcd839282e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa0000000000000000000000000000000000000000000000000000000067748580000000000000000000000000000000000000000000000000000000000000000101cc6da3694ad47b771d356567472de93165a9692ce4764367c36bb92484d5a70b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d1b56baa0e3b9d5d1b645d1780ec680f56f28acc2986b0c8235aed44cb30db7b52994b1263e7e00e42d88abbbb0100d36c7cc44301dc191a12b906404ef27dd4514953502e73be884325bcf7dee5bd5febbcd36d7cffa3977c2fca4bd0e5fb1f1000000000000000000000000a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a10b19f126011b791d68c37f8f2077407ac5f9a75b96fb53bd9e35d62a61136cdb27fba13c8009c277f1a356ee148b9403d22b3084a41eec9db0226eb086e033ac00000000000000000000000000000000000000000000000000000000000001000d337678ced21363e7ba50b152fb8288898714bb7ee3104db36856da27ace7172a574e3cb8729c7e92361acf842ac76e0325c0db2c14ae1b6de76ca646b498b6089e89683fd19fa957e869557d6f689cc3d0cb8f428277f7ace07ff2910404e4247068be79c9cac00a701fd09016eb915334677f908b5f6c13a89a2f2e2cd26c0a324b3c8a72ef061a18f664177f57022a4234e63e25c313b85f7a08d472657a093e1c2d574373e58ff379fabe60e605bc54eb9100c52c640093a378e2b2def10e2c41517535140d33a151e2814993d114d875215dcf2698edf43a1517a54bd90e9727405fb88692112660e830e285f97a93825a008cb3001e73cd0e6c484c5f",
"expectedOutput": "0x0000000000000000000000000000000000000000000000000000000000000000",
"components": {
"proof": "0x09dd03405ea26b2709f74f8f0579f4eccb1557ce5ceb1321bed86e26f7d9432b0aad40af59c95c2b3794106a03083d6de81e21948c8d8f9da60b13a5de868f741d1a89a492b932e622e7af8db377596c533aa4a8f416c04b4cdcbc5362789265105de6e494a2c467e874613e4895710771d3eeeb27f1901a6311be6ae995c11e2fd1e7df495aa3d575fdfbf4e4040f372e354b21a2f982de202ea4c3b91c51be049d1246f51f2938157ad4f468efd9e9cbd03c902f7d0ead3dfb031436dafe9830022f847c75d65b10f73e46d33e476f7db51e0848a59277c5fa8c1e12d0faf82ad7ad8181fb2fcc0d8ff43a51d93c7a26c4e53f2291496dc1c8f318d246689a",
"proof": "0x0d337678ced21363e7ba50b152fb8288898714bb7ee3104db36856da27ace7172a574e3cb8729c7e92361acf842ac76e0325c0db2c14ae1b6de76ca646b498b6089e89683fd19fa957e869557d6f689cc3d0cb8f428277f7ace07ff2910404e4247068be79c9cac00a701fd09016eb915334677f908b5f6c13a89a2f2e2cd26c0a324b3c8a72ef061a18f664177f57022a4234e63e25c313b85f7a08d472657a093e1c2d574373e58ff379fabe60e605bc54eb9100c52c640093a378e2b2def10e2c41517535140d33a151e2814993d114d875215dcf2698edf43a1517a54bd90e9727405fb88692112660e830e285f97a93825a008cb3001e73cd0e6c484c5f",
"publicInputs": [
"0x1246e5b4bcbace8f661e183101640d0db67a8aff835663c6c5edd209524d0b69",
"0x2db032392a80e06df6be0b3a4a7fa8ff4a3b6878997d9cc6721b015c68997d55",
"0x145a2ba89be0289b37361ff401c434eebccd468bcea518f8573a4c9c8ab164e0",
"0x1c41c7d566332daa97c89047f80711d58d60ac72cffa6fee188ba6dffc036ba1",
"0x1892d6bd03edb9183dc830a06efeca6a0c281c97d7ce188e6d02e2f5e78a6890",
Expand All @@ -19,14 +19,14 @@
"0x2e263101aad41e82d76b185edf78dcdf23d02e625a92e33d17822a97595ed4aa",
"0x0000000000000000000000000000000000000000000000000000000067748580",
"0x0000000000000000000000000000000000000000000000000000000000000001",
"0x18fe68077b7f2e051e5865df48586b0483ea76fd1f44900a8de5f6a2c6e746ed",
"0x01cc6da3694ad47b771d356567472de93165a9692ce4764367c36bb92484d5a7",
"0x0b59baa35b9dc267744f0ccb4e3b0255c1fc512460d91130c6bc19fb2668568d",
"0x00000000000000000000000000000000000000000000000000000000d0d000a0",
"0x00000000000000000000000000000000000000000000000000000000d0d000a1",
"0x00000000000000000000000000000000000000000000000000000000d0d000a2",
"0x0000000000000000000000005555555555555555555555555555555555555555",
"0x16234ab58cf72715a9e9436819e19c897108c61fc115817cb4e2af80ba7f1087",
"0x2a8deb2a8d24d8b7baf996d8283706297cea4f508f9bf5d0390b5980d4bf0e3c"
"0x1b56baa0e3b9d5d1b645d1780ec680f56f28acc2986b0c8235aed44cb30db7b5",
"0x2994b1263e7e00e42d88abbbb0100d36c7cc44301dc191a12b906404ef27dd45",
"0x14953502e73be884325bcf7dee5bd5febbcd36d7cffa3977c2fca4bd0e5fb1f1",
"0x000000000000000000000000a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1",
"0x0b19f126011b791d68c37f8f2077407ac5f9a75b96fb53bd9e35d62a61136cdb",
"0x27fba13c8009c277f1a356ee148b9403d22b3084a41eec9db0226eb086e033ac"
]
}
}
Loading