Skip to content

Commit 5c7b42b

Browse files
committed
chore(fast-inbox): regenerate rollup sample inputs for the 256-message block cap (A-1384)
The flip drops `MAX_L1_TO_L2_MSGS_PER_BLOCK` from 1024 to 256, so every rollup sample input at or above the block root carries a stale ABI once it is regenerated on the circuits branch, where the constant is still 1024. CI failed with The value passed for parameter `inputs.message_bundle.messages` does not match the specified type: Type Array { length: 256, typ: Field } is expected to have length 256 but value Vec([...]) has length 1024 on `rollup-block-root`, `rollup-block-root-no-txs` and `rollup-block-root-single-tx`. The regenerated bundles also drop `num_real_msgs`, which this branch's `L1ToL2MessageBundle` no longer has. Regenerated through the canonical path — `AZTEC_GENERATE_TEST_DATA=1 yarn workspace @aztec/prover-client test src/test/regenerate_rollup_sample_inputs.test.ts` — against circuits and VKs built from source at this head. Verified with `nargo execute` on all eleven crates in the CI list: every one solves its witness.
1 parent 2842270 commit 5c7b42b

8 files changed

Lines changed: 915 additions & 3222 deletions

File tree

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

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

noir-projects/fnd/noir-protocol-circuits/crates/rollup-block-root-no-txs/Prover.toml

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

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

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

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

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

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

Lines changed: 68 additions & 68 deletions
Original file line numberDiff line numberDiff line change
@@ -486,7 +486,7 @@ proof = [
486486
start_inbox_rolling_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
487487
end_inbox_rolling_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
488488
checkpoint_header_hashes = [
489-
"0x00f4ff0ca8ebcc3044514a51f8293cba64255dc2890c9a71c9f91ac7ff5fdb61",
489+
"0x00d7202546d0405929e8a53e4cc2ad596c364cee3cae655ae60dea12fde500f5",
490490
"0x0000000000000000000000000000000000000000000000000000000000000000",
491491
"0x0000000000000000000000000000000000000000000000000000000000000000",
492492
"0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -523,7 +523,7 @@ proof = [
523523
[inputs.previous_rollups.public_inputs.constants]
524524
chain_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
525525
version = "0x0000000000000000000000000000000000000000000000000000000000000000"
526-
vk_tree_root = "0x16b7eeebd9ec7b6b28187878be4fef52c87331b0ebf2e5719fd203a0474402b1"
526+
vk_tree_root = "0x121ed84a634911bbb8a5e986c40e120a016a1713140a6a5ea4f8187a5e07e547"
527527
protocol_contracts_hash = "0x08d0026a4983c49638d0910859942c6648d5ea0a3a152c8a376e4983d0a003d9"
528528
prover_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
529529

@@ -532,7 +532,7 @@ proof = [
532532
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000001"
533533

534534
[inputs.previous_rollups.public_inputs.new_archive]
535-
root = "0x020f8ecf81935872f66e546c75705f42ea472db6c17ba17c21b37123ac3370ef"
535+
root = "0x1325a9020cc7fb52af7690c0fddd605de0754b0acaf2b78ae98fecc768d2874b"
536536
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000002"
537537

538538
[inputs.previous_rollups.public_inputs.previous_out_hash]
@@ -774,51 +774,51 @@ proof = [
774774
]
775775

776776
[inputs.previous_rollups.public_inputs.end_blob_accumulator]
777-
blob_commitments_hash_acc = "0x00d233140ef9fae4208e220352f2415e1d246046fe63f7c509328f8e7103a8fc"
778-
z_acc = "0x1d819eab16959d185398b917877c1c16c10522124436d14d42548e57923963db"
779-
gamma_acc = "0x2e62d68f38af2a2167c0e5a3f218a3fd62c399dcd2018edb576f9d706ac7d174"
777+
blob_commitments_hash_acc = "0x003bfd9630d12ef136e6723e604eb1a993ecd429c15379422f3316e4d24b152d"
778+
z_acc = "0x0661acfc7736f8385a237de88f03ad51072109bf2316f163566376b184f2706b"
779+
gamma_acc = "0x2da0c63c0d32a0a0d10487e6794731689febb165f0c49cf72c9c1cdf0002de91"
780780

781781
[inputs.previous_rollups.public_inputs.end_blob_accumulator.y_acc]
782782
limbs = [
783-
"0xf01d475b6366048d07a0f5965a5ee0",
784-
"0x54cc08730507b05cbd6b911469f40b",
785-
"0x66b2"
783+
"0x2f7c14eecb4ae03244855e01d4ef0f",
784+
"0x87aa3de39e3e33518180416bf14487",
785+
"0x5bf9"
786786
]
787787

788788
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc]
789789
is_infinity = false
790790

791791
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.x]
792792
limbs = [
793-
"0xf8b00e5dd11ec77298863595bce9c7",
794-
"0xdeef2cad345af154480df3667618a1",
795-
"0xb5b852748ea1cd7725d665a19d0b06",
796-
"0x0f39eb"
793+
"0x8256b3f41cb60af8b1efecb138ba7e",
794+
"0xfaedd946e1c6b5aca2f75072e23c68",
795+
"0x7d8b4dcf4cc92f8d088b34d3d62111",
796+
"0x0bf17c"
797797
]
798798

799799
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.y]
800800
limbs = [
801-
"0xa4add5202babc769f5d1a26180fbb0",
802-
"0x7ac91b08e1e7a23a02ba0f5414adc6",
803-
"0x75f4c94ac794e5ccb7364ffddd27b8",
804-
"0x125dc4"
801+
"0x09ceedf50d8c297ba50fbd6d30246a",
802+
"0x1b83805c2039bb09b6b2a445ffa085",
803+
"0xc5511e27691b2d75b7e2c0aa988960",
804+
"0x11ea21"
805805
]
806806

807807
[inputs.previous_rollups.public_inputs.end_blob_accumulator.gamma_pow_acc]
808808
limbs = [
809-
"0xc122779321e7668e5d7410d8ccfb56",
810-
"0x2e937c495f28a164530b7bdad6504a",
811-
"0x20c4"
809+
"0xf8146db7557c7c9e4b53c50bb45266",
810+
"0x25ff1ba1fed8334a468c5f2900adac",
811+
"0x2a8c"
812812
]
813813

814814
[inputs.previous_rollups.public_inputs.final_blob_challenges]
815-
z = "0x301443e8af936ff991979c0b872a8a39bbf64e6e85abb08060e8b9bf4f9b22a7"
815+
z = "0x23735272a95801d901e7fa12bb1d935d00dd43798205d09a5aaa1d1415f80cbf"
816816

817817
[inputs.previous_rollups.public_inputs.final_blob_challenges.gamma]
818818
limbs = [
819-
"0xc122779321e7668e5d7410d8ccfb56",
820-
"0x2e937c495f28a164530b7bdad6504a",
821-
"0x20c4"
819+
"0xf8146db7557c7c9e4b53c50bb45266",
820+
"0x25ff1ba1fed8334a468c5f2900adac",
821+
"0x2a8c"
822822
]
823823

824824
[inputs.previous_rollups.vk_data]
@@ -828,7 +828,7 @@ proof = [
828828
"0x151ec971d9b291d78b1d405b001fc9a60d1bc918252466d6a4774554135802ac",
829829
"0x29c4f2a137ff5c5b54eb911f6add38eb5ec9d139f54d95a7db432abbae472256",
830830
"0x02dfab3acbc7708b1b3654912e946fe846568b8cb0e8af8da6a1845278664e55",
831-
"0x03c532012747965bffe5821f5c98d482a745316ad4854045ea812b17962feb68",
831+
"0x29ef5024937c71b580f6cfb649bd06b4a62241ec399bd579b0d0b2bec78c4cae",
832832
"0x0db3ab63c7556f8724d86819156701855018cc79140a052893d67fb67c99c1f1",
833833
"0x2a5c50782880ea145b4f04af31f7df9ef0cde48fab69c958aef179c68e836f62"
834834
]
@@ -1441,7 +1441,7 @@ proof = [
14411441
start_inbox_rolling_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
14421442
end_inbox_rolling_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
14431443
checkpoint_header_hashes = [
1444-
"0x000d09e1989d10f075437e3b06a8cef9a434aab1404f96a21401e711c5422417",
1444+
"0x007a32ad48f386ee6d70f2ce416ec10421438ccc14c501f4eecc88fddeacff1f",
14451445
"0x0000000000000000000000000000000000000000000000000000000000000000",
14461446
"0x0000000000000000000000000000000000000000000000000000000000000000",
14471447
"0x0000000000000000000000000000000000000000000000000000000000000000",
@@ -1478,16 +1478,16 @@ proof = [
14781478
[inputs.previous_rollups.public_inputs.constants]
14791479
chain_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
14801480
version = "0x0000000000000000000000000000000000000000000000000000000000000000"
1481-
vk_tree_root = "0x16b7eeebd9ec7b6b28187878be4fef52c87331b0ebf2e5719fd203a0474402b1"
1481+
vk_tree_root = "0x121ed84a634911bbb8a5e986c40e120a016a1713140a6a5ea4f8187a5e07e547"
14821482
protocol_contracts_hash = "0x08d0026a4983c49638d0910859942c6648d5ea0a3a152c8a376e4983d0a003d9"
14831483
prover_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
14841484

14851485
[inputs.previous_rollups.public_inputs.previous_archive]
1486-
root = "0x020f8ecf81935872f66e546c75705f42ea472db6c17ba17c21b37123ac3370ef"
1486+
root = "0x1325a9020cc7fb52af7690c0fddd605de0754b0acaf2b78ae98fecc768d2874b"
14871487
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000002"
14881488

14891489
[inputs.previous_rollups.public_inputs.new_archive]
1490-
root = "0x070145bd40ecfc4f0837cf98656e6dd4bd9d164dbd8fc77a127127ab62c16826"
1490+
root = "0x23e4b2d15041dada68899f950607202dd78115495c75c4143124aa92d663576e"
14911491
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000003"
14921492

14931493
[inputs.previous_rollups.public_inputs.previous_out_hash]
@@ -1691,89 +1691,89 @@ proof = [
16911691
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"
16921692

16931693
[inputs.previous_rollups.public_inputs.start_blob_accumulator]
1694-
blob_commitments_hash_acc = "0x00d233140ef9fae4208e220352f2415e1d246046fe63f7c509328f8e7103a8fc"
1695-
z_acc = "0x1d819eab16959d185398b917877c1c16c10522124436d14d42548e57923963db"
1696-
gamma_acc = "0x2e62d68f38af2a2167c0e5a3f218a3fd62c399dcd2018edb576f9d706ac7d174"
1694+
blob_commitments_hash_acc = "0x003bfd9630d12ef136e6723e604eb1a993ecd429c15379422f3316e4d24b152d"
1695+
z_acc = "0x0661acfc7736f8385a237de88f03ad51072109bf2316f163566376b184f2706b"
1696+
gamma_acc = "0x2da0c63c0d32a0a0d10487e6794731689febb165f0c49cf72c9c1cdf0002de91"
16971697

16981698
[inputs.previous_rollups.public_inputs.start_blob_accumulator.y_acc]
16991699
limbs = [
1700-
"0xf01d475b6366048d07a0f5965a5ee0",
1701-
"0x54cc08730507b05cbd6b911469f40b",
1702-
"0x66b2"
1700+
"0x2f7c14eecb4ae03244855e01d4ef0f",
1701+
"0x87aa3de39e3e33518180416bf14487",
1702+
"0x5bf9"
17031703
]
17041704

17051705
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc]
17061706
is_infinity = false
17071707

17081708
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc.x]
17091709
limbs = [
1710-
"0xf8b00e5dd11ec77298863595bce9c7",
1711-
"0xdeef2cad345af154480df3667618a1",
1712-
"0xb5b852748ea1cd7725d665a19d0b06",
1713-
"0x0f39eb"
1710+
"0x8256b3f41cb60af8b1efecb138ba7e",
1711+
"0xfaedd946e1c6b5aca2f75072e23c68",
1712+
"0x7d8b4dcf4cc92f8d088b34d3d62111",
1713+
"0x0bf17c"
17141714
]
17151715

17161716
[inputs.previous_rollups.public_inputs.start_blob_accumulator.c_acc.y]
17171717
limbs = [
1718-
"0xa4add5202babc769f5d1a26180fbb0",
1719-
"0x7ac91b08e1e7a23a02ba0f5414adc6",
1720-
"0x75f4c94ac794e5ccb7364ffddd27b8",
1721-
"0x125dc4"
1718+
"0x09ceedf50d8c297ba50fbd6d30246a",
1719+
"0x1b83805c2039bb09b6b2a445ffa085",
1720+
"0xc5511e27691b2d75b7e2c0aa988960",
1721+
"0x11ea21"
17221722
]
17231723

17241724
[inputs.previous_rollups.public_inputs.start_blob_accumulator.gamma_pow_acc]
17251725
limbs = [
1726-
"0xc122779321e7668e5d7410d8ccfb56",
1727-
"0x2e937c495f28a164530b7bdad6504a",
1728-
"0x20c4"
1726+
"0xf8146db7557c7c9e4b53c50bb45266",
1727+
"0x25ff1ba1fed8334a468c5f2900adac",
1728+
"0x2a8c"
17291729
]
17301730

17311731
[inputs.previous_rollups.public_inputs.end_blob_accumulator]
1732-
blob_commitments_hash_acc = "0x0051d2aa74654163ad884448987023584e69031d88f7f1292319166a971ee204"
1733-
z_acc = "0x13ea812d9c84a80a4d89be0f769b12836cbf85130c6a41738cb7265d41163b1a"
1734-
gamma_acc = "0x206c4631238f5fceedc3bcf59ba2d068f0bd3bc86bff8a319472041bd071f6f9"
1732+
blob_commitments_hash_acc = "0x0014eaaa6a7be36e8cdff06ac233b9bb62fb27d5e65997ab1576bd02f042f210"
1733+
z_acc = "0x0b6beca87f91374302faffb1c9218b55eac9d6d1dc12388201821b677233340b"
1734+
gamma_acc = "0x14604adad7eeba0d6be170c55827099369b698723b9b0b3b3f0ddbc6a2401c40"
17351735

17361736
[inputs.previous_rollups.public_inputs.end_blob_accumulator.y_acc]
17371737
limbs = [
1738-
"0xa4ed7e9e21718043511d6bf1d55fd9",
1739-
"0x5cd953cd05d1cdce238877cc50b736",
1740-
"0x4f47"
1738+
"0xdd72e8a18a802677f92178d973f637",
1739+
"0x5ec4f748f461c118c2863a56ca1f8d",
1740+
"0x542f"
17411741
]
17421742

17431743
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc]
17441744
is_infinity = false
17451745

17461746
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.x]
17471747
limbs = [
1748-
"0xad16ede16ffd3960c392840e772061",
1749-
"0xec11574492f92bebe8a31c1f1c31d5",
1750-
"0xd20ca247c7ec7dee5c3c22e92d188b",
1751-
"0x008a44"
1748+
"0xa704e08e62ecddc07bb7cdd3eee4b3",
1749+
"0x76ed68987d23ee41981f426721ad1c",
1750+
"0xff2e5af1834ae472f3c5be672d05be",
1751+
"0x0456dc"
17521752
]
17531753

17541754
[inputs.previous_rollups.public_inputs.end_blob_accumulator.c_acc.y]
17551755
limbs = [
1756-
"0xb14c1e22322df0882981263f698688",
1757-
"0x8589485707ff41784cfba5b6b6b2c0",
1758-
"0x99aa489b03ad45ec3649a57bd3d159",
1759-
"0x025726"
1756+
"0x75ac39983211b9a537b4a515aef3fb",
1757+
"0xb5335efaf1ce0a0279e6e5a877f145",
1758+
"0xe726ec473bb079fa2905c1e7ad4f46",
1759+
"0x1357c9"
17601760
]
17611761

17621762
[inputs.previous_rollups.public_inputs.end_blob_accumulator.gamma_pow_acc]
17631763
limbs = [
1764-
"0x39a1f02b475f3867c0c84e68e98f5f",
1765-
"0x9ebdc34d725dfcb104cd2fb325be0d",
1766-
"0x6d5a"
1764+
"0x6a1756dfbffb46aec3ae4e18a778d0",
1765+
"0x4e8089dfc70fdffda2f6bb3064c24e",
1766+
"0x7365"
17671767
]
17681768

17691769
[inputs.previous_rollups.public_inputs.final_blob_challenges]
1770-
z = "0x301443e8af936ff991979c0b872a8a39bbf64e6e85abb08060e8b9bf4f9b22a7"
1770+
z = "0x23735272a95801d901e7fa12bb1d935d00dd43798205d09a5aaa1d1415f80cbf"
17711771

17721772
[inputs.previous_rollups.public_inputs.final_blob_challenges.gamma]
17731773
limbs = [
1774-
"0xc122779321e7668e5d7410d8ccfb56",
1775-
"0x2e937c495f28a164530b7bdad6504a",
1776-
"0x20c4"
1774+
"0xf8146db7557c7c9e4b53c50bb45266",
1775+
"0x25ff1ba1fed8334a468c5f2900adac",
1776+
"0x2a8c"
17771777
]
17781778

17791779
[inputs.previous_rollups.vk_data]
@@ -1783,7 +1783,7 @@ proof = [
17831783
"0x151ec971d9b291d78b1d405b001fc9a60d1bc918252466d6a4774554135802ac",
17841784
"0x29c4f2a137ff5c5b54eb911f6add38eb5ec9d139f54d95a7db432abbae472256",
17851785
"0x02dfab3acbc7708b1b3654912e946fe846568b8cb0e8af8da6a1845278664e55",
1786-
"0x03c532012747965bffe5821f5c98d482a745316ad4854045ea812b17962feb68",
1786+
"0x29ef5024937c71b580f6cfb649bd06b4a62241ec399bd579b0d0b2bec78c4cae",
17871787
"0x0db3ab63c7556f8724d86819156701855018cc79140a052893d67fb67c99c1f1",
17881788
"0x2a5c50782880ea145b4f04af31f7df9ef0cde48fab69c958aef179c68e836f62"
17891789
]

0 commit comments

Comments
 (0)