Skip to content

Commit c549ab9

Browse files
committed
fix tests and regen
1 parent 65a5e6b commit c549ab9

23 files changed

Lines changed: 2851 additions & 2996 deletions

File tree

Binary file not shown.
Binary file not shown.

noir-projects/noir-protocol-circuits/crates/private-kernel-init/Prover.toml

Lines changed: 147 additions & 163 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/private-kernel-inner/Prover.toml

Lines changed: 316 additions & 348 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/private-kernel-reset/Prover.toml

Lines changed: 141 additions & 157 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/private-kernel-tail-to-public/Prover.toml

Lines changed: 138 additions & 154 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/private-kernel-tail/Prover.toml

Lines changed: 187 additions & 203 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/rollup-block-root-first-single-tx/Prover.toml

Lines changed: 123 additions & 123 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/rollup-block-root-first/Prover.toml

Lines changed: 157 additions & 157 deletions
Large diffs are not rendered by default.

noir-projects/noir-protocol-circuits/crates/rollup-checkpoint-merge/Prover.toml

Lines changed: 85 additions & 85 deletions
Original file line numberDiff line numberDiff line change
@@ -484,7 +484,7 @@ proof = [
484484

485485
[inputs.previous_rollups.public_inputs]
486486
checkpoint_header_hashes = [
487-
"0x004d16fb29611dba53004101a433c88fddade0ec60446fddec1589851839a774",
487+
"0x006aa5a0a59bb08fa0b7e758b554ed90e96573c4190dda50b8f8495e825456ac",
488488
"0x0000000000000000000000000000000000000000000000000000000000000000",
489489
"0x0000000000000000000000000000000000000000000000000000000000000000",
490490
"0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -520,17 +520,17 @@ proof = [
520520

521521
[inputs.previous_rollups.public_inputs.constants]
522522
chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
523-
version = "0x00000000000000000000000000000000000000000000000000000000ad49d7cd"
524-
vk_tree_root = "0x0c16448b65c4b3f83f9db3bebf635bd38957c74c9c1ea36036cbda16432cf558"
525-
protocol_contracts_hash = "0x0333160f082dfc02e255c756febac14dc42c4c88b882e0403d44710c1f0bb80f"
523+
version = "0x00000000000000000000000000000000000000000000000000000000470ad895"
524+
vk_tree_root = "0x1a439e29bd62abe383391a5f69a1fecfb925c393a062f88065249a1f15f507b5"
525+
protocol_contracts_hash = "0x2339ec9cc5cdd58e13b226014e3c594ebcc28cab711a2c75245f0b95f9247cc0"
526526
prover_id = "0x0000000000000000000000003c44cdddb6a900fa2b585dd299e03d12fa4293bc"
527527

528528
[inputs.previous_rollups.public_inputs.previous_archive]
529-
root = "0x00f30d99838de8d9e0b40bb5f19c53ebd2cea2e4e324a6b48a4db2655906ad63"
529+
root = "0x1cc6876b910cdacd296c883ee1fa0cf87703b13bf09a84642dc5c3318c7354f3"
530530
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000009"
531531

532532
[inputs.previous_rollups.public_inputs.new_archive]
533-
root = "0x25dd04dc7f0a4299651ea908c014de487c4be771db4d68b458d16aa041af02ba"
533+
root = "0x05045c4aef7d00dbf727b18d8e528a95de1b049939c83433f6698b0d385049c7"
534534
next_available_leaf_index = "0x000000000000000000000000000000000000000000000000000000000000000a"
535535

536536
[inputs.previous_rollups.public_inputs.previous_out_hash]
@@ -542,10 +542,10 @@ proof = [
542542
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000001"
543543

544544
[[inputs.previous_rollups.public_inputs.fees]]
545-
value = "0x000000000000000000000000000000000000000000000000003b2f97f0a76c80"
545+
value = "0x0000000000000000000000000000000000000000000000000043b02dcaad8400"
546546

547547
[inputs.previous_rollups.public_inputs.fees.recipient]
548-
inner = "0x000000000000000000000000fde0805eba75f23cd30a3bb4f0e567a356075904"
548+
inner = "0x000000000000000000000000e6cc9657b2ebf87e8f05eb2115c472a9dd5c6317"
549549

550550
[[inputs.previous_rollups.public_inputs.fees]]
551551
value = "0x0000000000000000000000000000000000000000000000000000000000000000"
@@ -772,63 +772,63 @@ proof = [
772772
]
773773

774774
[inputs.previous_rollups.public_inputs.end_blob_accumulator]
775-
blob_commitments_hash_acc = "0x00c6080f82da97cd32a6e6f96167937982d1b1d102f2670358d457217207a2a5"
776-
z_acc = "0x1ff8cc937c58f2d72966f69b2e490b6dc7f6704680430ac91ea6c0e6207d4d96"
777-
gamma_acc = "0x1684547681775fced98c96d09e82919f729d14549da6323b669a8512c9b3802e"
775+
blob_commitments_hash_acc = "0x00fbf8505e2c78e65fd10ddb18e144fb0e03d82fa5ce740978c5ccbcf1f9917b"
776+
z_acc = "0x04ec3e60201b3560995bef09259d10d96fec357c6516cd8a0d18f690598654fa"
777+
gamma_acc = "0x259a7f1091c79ff9064e33c6f1b2667ec5db37646e33b8908d8f84fe75945b1b"
778778

779779
[inputs.previous_rollups.public_inputs.end_blob_accumulator.y_acc]
780780
limbs = [
781-
"0xd2054ab1639ea442bd23a5b1c57cf5",
782-
"0x4b6135801975f6ab44b107b0a1e000",
783-
"0x677b"
781+
"0x0c62b9529168925582609fca6d2840",
782+
"0x575ebede564f506736f9b1fb1167dc",
783+
"0x6f41"
784784
]
785785

786786
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc]
787787
is_infinity = false
788788

789789
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.x]
790790
limbs = [
791-
"0xca945aeef9c954013ca54795553295",
792-
"0x9c13e59f13d27ea1d0bbfde41965a9",
793-
"0xf7f9f09f06a5e9f04fb45ab0edb363",
794-
"0x18f7d5"
791+
"0x3532882cd0b01487ccd2fdb2d49ff5",
792+
"0xb49b96f891141ebb62fad375810010",
793+
"0xd87a06824e24607c93150d16099f62",
794+
"0x0bb15d"
795795
]
796796

797797
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.y]
798798
limbs = [
799-
"0xb04ef08577b05403570538b51898a0",
800-
"0x2797dcc9fb92375446462d46b4ccbb",
801-
"0x39156e19c6155c4ef0f97030dc5d90",
802-
"0x0ad01d"
799+
"0x20f547f48b51c20ec43c8d33ff292a",
800+
"0x186c857b50142b36b0df453c449e71",
801+
"0x1c2b005f186e8f41399dc3d033e499",
802+
"0x00d041"
803803
]
804804

805805
[inputs.previous_rollups.public_inputs.end_blob_accumulator.gamma_pow_acc]
806806
limbs = [
807-
"0x551bcc798b08297e8823944cd61ccd",
808-
"0xa11af380fa73225d8ac70a4862f1cc",
809-
"0x24db"
807+
"0x46d8a4b47ba39ecd1d0af9ec194181",
808+
"0x0e04bed87981c375b7034a2cb0d8ce",
809+
"0x041a"
810810
]
811811

812812
[inputs.previous_rollups.public_inputs.final_blob_challenges]
813-
z = "0x0f20024c268f33a3baa0f8f38bddd3d70a7fe791632d4914d95c44e2099fa150"
813+
z = "0x2d744e40d824535d28e35ef06846e447e767359410da809572be05b0332abd7a"
814814

815815
[inputs.previous_rollups.public_inputs.final_blob_challenges.gamma]
816816
limbs = [
817-
"0x551bcc798b08297e8823944cd61ccd",
818-
"0xa11af380fa73225d8ac70a4862f1cc",
819-
"0x24db"
817+
"0x46d8a4b47ba39ecd1d0af9ec194181",
818+
"0x0e04bed87981c375b7034a2cb0d8ce",
819+
"0x041a"
820820
]
821821

822822
[inputs.previous_rollups.vk_data]
823823
leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000011"
824824
sibling_path = [
825825
"0x1edc2329182e13c58f5ced1e4ca120ba845e074e81d59ee64d0bbd583ecdd429",
826826
"0x1f502972a4bdd0353e082932afca85331d93e89c99ab3a78511939c18eb14641",
827-
"0x1f0a3ab28f16510e4f9a5682a8b5f2826f55082cd639c6b76e6e970d8bb4224d",
828-
"0x268f759e38c9ff705a78c055b44e19f7d2b0227f3c4f2e31d6874550d498abec",
829-
"0x09f661abe743a7c8125aa0498ca1d01914fdac9cadadb415e0d1a05934997b99",
830-
"0x28650667b92be48b116289119fa4794a5fe8fe5792a49d89b9977feae7f685a6",
831-
"0x2aa74c20807e8cbb3e32a86ad29472c42a3fb7021dcfaad112a6b68eb0eca98e"
827+
"0x2064a915e33510984cac5b2a550745e3a15fa667743e999695a50d749464bb11",
828+
"0x2370b2e567b79fe42809d72237ad8694479d864b90033ecbded55e041404191e",
829+
"0x0fa51a49023b992a21a86283d910e3ec7b4339a67a19f60c46250e321959d547",
830+
"0x133dc174ef877c42d59ac5fe87733ce13f9355587db788e3b490832c7afbcfd2",
831+
"0x13482b383bc59a6da6ab4e998b0986c23166d0aba121fc0789e9f14605af653b"
832832
]
833833

834834
[inputs.previous_rollups.vk_data.vk]
@@ -1437,7 +1437,7 @@ proof = [
14371437

14381438
[inputs.previous_rollups.public_inputs]
14391439
checkpoint_header_hashes = [
1440-
"0x00db58820ef17b4cb952c006ed78296097c3fcf7fd0fc3e3cec1f8260fc64045",
1440+
"0x00da5c0ff33d34ed5935293de4386ad92449ee0f103c6aa2d9c7fe4a17db035c",
14411441
"0x0000000000000000000000000000000000000000000000000000000000000000",
14421442
"0x0000000000000000000000000000000000000000000000000000000000000000",
14431443
"0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -1473,17 +1473,17 @@ proof = [
14731473

14741474
[inputs.previous_rollups.public_inputs.constants]
14751475
chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
1476-
version = "0x00000000000000000000000000000000000000000000000000000000ad49d7cd"
1477-
vk_tree_root = "0x0c16448b65c4b3f83f9db3bebf635bd38957c74c9c1ea36036cbda16432cf558"
1478-
protocol_contracts_hash = "0x0333160f082dfc02e255c756febac14dc42c4c88b882e0403d44710c1f0bb80f"
1476+
version = "0x00000000000000000000000000000000000000000000000000000000470ad895"
1477+
vk_tree_root = "0x1a439e29bd62abe383391a5f69a1fecfb925c393a062f88065249a1f15f507b5"
1478+
protocol_contracts_hash = "0x2339ec9cc5cdd58e13b226014e3c594ebcc28cab711a2c75245f0b95f9247cc0"
14791479
prover_id = "0x0000000000000000000000003c44cdddb6a900fa2b585dd299e03d12fa4293bc"
14801480

14811481
[inputs.previous_rollups.public_inputs.previous_archive]
1482-
root = "0x25dd04dc7f0a4299651ea908c014de487c4be771db4d68b458d16aa041af02ba"
1482+
root = "0x05045c4aef7d00dbf727b18d8e528a95de1b049939c83433f6698b0d385049c7"
14831483
next_available_leaf_index = "0x000000000000000000000000000000000000000000000000000000000000000a"
14841484

14851485
[inputs.previous_rollups.public_inputs.new_archive]
1486-
root = "0x24f3d6261780561e8ede638edf15d34d9f93372572631856307c57a08dfb9cb1"
1486+
root = "0x0463c94c3fb0335987457fddc54e9136e81f34b76a129e0383ea33ccaa3cf421"
14871487
next_available_leaf_index = "0x000000000000000000000000000000000000000000000000000000000000000b"
14881488

14891489
[inputs.previous_rollups.public_inputs.previous_out_hash]
@@ -1495,10 +1495,10 @@ proof = [
14951495
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000002"
14961496

14971497
[[inputs.previous_rollups.public_inputs.fees]]
1498-
value = "0x00000000000000000000000000000000000000000000000000d0f074eda98980"
1498+
value = "0x00000000000000000000000000000000000000000000000000eef4481b6bac00"
14991499

15001500
[inputs.previous_rollups.public_inputs.fees.recipient]
1501-
inner = "0x000000000000000000000000fde0805eba75f23cd30a3bb4f0e567a356075904"
1501+
inner = "0x000000000000000000000000e6cc9657b2ebf87e8f05eb2115c472a9dd5c6317"
15021502

15031503
[[inputs.previous_rollups.public_inputs.fees]]
15041504
value = "0x0000000000000000000000000000000000000000000000000000000000000000"
@@ -1687,101 +1687,101 @@ proof = [
16871687
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"
16881688

16891689
[inputs.previous_rollups.public_inputs.start_blob_accumulator]
1690-
blob_commitments_hash_acc = "0x00c6080f82da97cd32a6e6f96167937982d1b1d102f2670358d457217207a2a5"
1691-
z_acc = "0x1ff8cc937c58f2d72966f69b2e490b6dc7f6704680430ac91ea6c0e6207d4d96"
1692-
gamma_acc = "0x1684547681775fced98c96d09e82919f729d14549da6323b669a8512c9b3802e"
1690+
blob_commitments_hash_acc = "0x00fbf8505e2c78e65fd10ddb18e144fb0e03d82fa5ce740978c5ccbcf1f9917b"
1691+
z_acc = "0x04ec3e60201b3560995bef09259d10d96fec357c6516cd8a0d18f690598654fa"
1692+
gamma_acc = "0x259a7f1091c79ff9064e33c6f1b2667ec5db37646e33b8908d8f84fe75945b1b"
16931693

16941694
[inputs.previous_rollups.public_inputs.start_blob_accumulator.y_acc]
16951695
limbs = [
1696-
"0xd2054ab1639ea442bd23a5b1c57cf5",
1697-
"0x4b6135801975f6ab44b107b0a1e000",
1698-
"0x677b"
1696+
"0x0c62b9529168925582609fca6d2840",
1697+
"0x575ebede564f506736f9b1fb1167dc",
1698+
"0x6f41"
16991699
]
17001700

17011701
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc]
17021702
is_infinity = false
17031703

17041704
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc.x]
17051705
limbs = [
1706-
"0xca945aeef9c954013ca54795553295",
1707-
"0x9c13e59f13d27ea1d0bbfde41965a9",
1708-
"0xf7f9f09f06a5e9f04fb45ab0edb363",
1709-
"0x18f7d5"
1706+
"0x3532882cd0b01487ccd2fdb2d49ff5",
1707+
"0xb49b96f891141ebb62fad375810010",
1708+
"0xd87a06824e24607c93150d16099f62",
1709+
"0x0bb15d"
17101710
]
17111711

17121712
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc.y]
17131713
limbs = [
1714-
"0xb04ef08577b05403570538b51898a0",
1715-
"0x2797dcc9fb92375446462d46b4ccbb",
1716-
"0x39156e19c6155c4ef0f97030dc5d90",
1717-
"0x0ad01d"
1714+
"0x20f547f48b51c20ec43c8d33ff292a",
1715+
"0x186c857b50142b36b0df453c449e71",
1716+
"0x1c2b005f186e8f41399dc3d033e499",
1717+
"0x00d041"
17181718
]
17191719

17201720
[inputs.previous_rollups.public_inputs.start_blob_accumulator.gamma_pow_acc]
17211721
limbs = [
1722-
"0x551bcc798b08297e8823944cd61ccd",
1723-
"0xa11af380fa73225d8ac70a4862f1cc",
1724-
"0x24db"
1722+
"0x46d8a4b47ba39ecd1d0af9ec194181",
1723+
"0x0e04bed87981c375b7034a2cb0d8ce",
1724+
"0x041a"
17251725
]
17261726

17271727
[inputs.previous_rollups.public_inputs.end_blob_accumulator]
1728-
blob_commitments_hash_acc = "0x00ff28bea8c07e7b060d248cb2071f813aa6e39e07e3a527c1739e6a7793c093"
1729-
z_acc = "0x11b2ee0dde26d315a246f5bdc01db8abe8200c6581201debd1cffc51ad26f95d"
1730-
gamma_acc = "0x152f389c138d41dde799d4f4fc748753332ddcd5bcd19fe35e4fbe60581534c2"
1728+
blob_commitments_hash_acc = "0x001b9a45009c499f5cfd1038121d7671b2a1d9f06f180c7d188d8e100a6ed6f7"
1729+
z_acc = "0x023d3f244982bac942e477751e5c4e549892f386c3ad52ac593de503fd62c0ad"
1730+
gamma_acc = "0x2208cf7a83229f06d12737c7e84d49ec9c19863953f57064e230a42b65a3d8b5"
17311731

17321732
[inputs.previous_rollups.public_inputs.end_blob_accumulator.y_acc]
17331733
limbs = [
1734-
"0x4183756e36181f92164c36776c2ba3",
1735-
"0xaff710205b13b83794ee63e35bb424",
1736-
"0x411e"
1734+
"0x3e67b2483cf3e934ae2f1f8cba0fc2",
1735+
"0x5e928a4edf46f9da281eed90984c3d",
1736+
"0x1f46"
17371737
]
17381738

17391739
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc]
17401740
is_infinity = false
17411741

17421742
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.x]
17431743
limbs = [
1744-
"0x6e2f87b978f4bca529d7ad90a41cd8",
1745-
"0x734aa1582c8aee32f8334cfc594ab0",
1746-
"0x21aa57d7e1012415e25e37ee62bbcb",
1747-
"0x015e58"
1744+
"0xbf496dd531368be21bbab4dc71ef63",
1745+
"0x73ad55e7da1fee31e6c103071945ff",
1746+
"0x727f464f6ee8a28dfc4e76d48d1705",
1747+
"0x0f3d62"
17481748
]
17491749

17501750
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.y]
17511751
limbs = [
1752-
"0xd8e530734ccb89f49a545e13ead68c",
1753-
"0x914523b3ef75387e032ac9fef36157",
1754-
"0x5342c94a6ba1df16b871173b323290",
1755-
"0x1604f8"
1752+
"0xbef7f07c5886366d3ef3b482c07255",
1753+
"0x58e43b0a5e761c9030d0b933c7ebe8",
1754+
"0xc469c72a2949c5399a1f478314e18a",
1755+
"0x0d6bb7"
17561756
]
17571757

17581758
[inputs.previous_rollups.public_inputs.end_blob_accumulator.gamma_pow_acc]
17591759
limbs = [
1760-
"0xc0250cc6b8725b2b00687dab94d327",
1761-
"0xd7f65a721538376d885811c9aafe6f",
1762-
"0x297f"
1760+
"0x7d9315e3c380f2b30d11638e86060a",
1761+
"0xcc4fdd2e0b74d632a3d21218c95203",
1762+
"0x6e6a"
17631763
]
17641764

17651765
[inputs.previous_rollups.public_inputs.final_blob_challenges]
1766-
z = "0x0f20024c268f33a3baa0f8f38bddd3d70a7fe791632d4914d95c44e2099fa150"
1766+
z = "0x2d744e40d824535d28e35ef06846e447e767359410da809572be05b0332abd7a"
17671767

17681768
[inputs.previous_rollups.public_inputs.final_blob_challenges.gamma]
17691769
limbs = [
1770-
"0x551bcc798b08297e8823944cd61ccd",
1771-
"0xa11af380fa73225d8ac70a4862f1cc",
1772-
"0x24db"
1770+
"0x46d8a4b47ba39ecd1d0af9ec194181",
1771+
"0x0e04bed87981c375b7034a2cb0d8ce",
1772+
"0x041a"
17731773
]
17741774

17751775
[inputs.previous_rollups.vk_data]
17761776
leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000011"
17771777
sibling_path = [
17781778
"0x1edc2329182e13c58f5ced1e4ca120ba845e074e81d59ee64d0bbd583ecdd429",
17791779
"0x1f502972a4bdd0353e082932afca85331d93e89c99ab3a78511939c18eb14641",
1780-
"0x1f0a3ab28f16510e4f9a5682a8b5f2826f55082cd639c6b76e6e970d8bb4224d",
1781-
"0x268f759e38c9ff705a78c055b44e19f7d2b0227f3c4f2e31d6874550d498abec",
1782-
"0x09f661abe743a7c8125aa0498ca1d01914fdac9cadadb415e0d1a05934997b99",
1783-
"0x28650667b92be48b116289119fa4794a5fe8fe5792a49d89b9977feae7f685a6",
1784-
"0x2aa74c20807e8cbb3e32a86ad29472c42a3fb7021dcfaad112a6b68eb0eca98e"
1780+
"0x2064a915e33510984cac5b2a550745e3a15fa667743e999695a50d749464bb11",
1781+
"0x2370b2e567b79fe42809d72237ad8694479d864b90033ecbded55e041404191e",
1782+
"0x0fa51a49023b992a21a86283d910e3ec7b4339a67a19f60c46250e321959d547",
1783+
"0x133dc174ef877c42d59ac5fe87733ce13f9355587db788e3b490832c7afbcfd2",
1784+
"0x13482b383bc59a6da6ab4e998b0986c23166d0aba121fc0789e9f14605af653b"
17851785
]
17861786

17871787
[inputs.previous_rollups.vk_data.vk]

0 commit comments

Comments
 (0)