Skip to content

feat(fast-inbox): single variable-size InboxParity proof per checkpoint (A-1427) #24759

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
spalladino wants to merge 8 commits into
base: spl/a-1375-msgs-only-block
Choose a base branch
from
Open

feat(fast-inbox): single variable-size InboxParity proof per checkpoint (A-1427) #24759

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
3568db7
feat: single variable-size InboxParity proof per checkpoint (A-1427)
spalladino Jul 17, 2026
06f1816
fix: drop unused NESTED_RECURSIVE_PROOF_LENGTH imports orphaned by th…
spalladino Jul 17, 2026
21891f0
fix: map L1ToL2MessageBundle messages to a fixed-length Noir array
spalladino Jul 17, 2026
b5722f8
fix: use top-level import type in checkpoint-proving-state
spalladino Jul 17, 2026
f62e319
fix: feed a valid sha-truncated inHash in bb_prover_parity test
spalladino Jul 17, 2026
597d894
chore(fast-inbox): regenerate checkpoint-root sample inputs for inbox…
spalladino Jul 17, 2026
d1239f1
chore(fast-inbox): regenerate block-root sample inputs for the messag…
spalladino Jul 19, 2026
c211ed4
fix(fast-inbox): schedule proving jobs oldest-epoch-first across proo…
spalladino Jul 19, 2026
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
5 changes: 3 additions & 2 deletions noir-projects/noir-protocol-circuits/Nargo.template.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,9 @@ members = [
"crates/types",
"crates/protocol-test-utils",
"crates/blob",
"crates/parity-base",
"crates/parity-root",
"crates/inbox-parity-64",
"crates/inbox-parity-256",
"crates/inbox-parity-1024",
"crates/private-kernel-lib",
"crates/private-kernel-init",
"crates/private-kernel-init-2",
Expand Down
8 changes: 8 additions & 0 deletions noir-projects/noir-protocol-circuits/crates/inbox-parity-1024/Nargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
[package]
name = "inbox_parity_1024"
type = "bin"
authors = [""]
compiler_version = ">=0.18.0"

[dependencies]
rollup_lib = { path = "../rollup-lib" }
5 changes: 5 additions & 0 deletions noir-projects/noir-protocol-circuits/crates/inbox-parity-1024/src/main.nr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
use rollup_lib::parity::{inbox_parity, InboxParityPrivateInputs, ParityPublicInputs};

fn main(inputs: InboxParityPrivateInputs<1024>) -> pub ParityPublicInputs {
inbox_parity::execute(inputs)
}
2 changes: 1 addition & 1 deletion ...ol-circuits/crates/parity-root/Nargo.toml → ...rcuits/crates/inbox-parity-256/Nargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[package]
name = "parity_root"
name = "inbox_parity_256"
type = "bin"
authors = [""]
compiler_version = ">=0.18.0"
Expand Down
5 changes: 5 additions & 0 deletions noir-projects/noir-protocol-circuits/crates/inbox-parity-256/src/main.nr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
use rollup_lib::parity::{inbox_parity, InboxParityPrivateInputs, ParityPublicInputs};

fn main(inputs: InboxParityPrivateInputs<256>) -> pub ParityPublicInputs {
inbox_parity::execute(inputs)
}
2 changes: 1 addition & 1 deletion ...ol-circuits/crates/parity-base/Nargo.toml → ...ircuits/crates/inbox-parity-64/Nargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[package]
name = "parity_base"
name = "inbox_parity_64"
type = "bin"
authors = [""]
compiler_version = ">=0.18.0"
Expand Down
5 changes: 5 additions & 0 deletions noir-projects/noir-protocol-circuits/crates/inbox-parity-64/src/main.nr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
use rollup_lib::parity::{inbox_parity, InboxParityPrivateInputs, ParityPublicInputs};

fn main(inputs: InboxParityPrivateInputs<64>) -> pub ParityPublicInputs {
inbox_parity::execute(inputs)
}
5 changes: 0 additions & 5 deletions noir-projects/noir-protocol-circuits/crates/parity-base/src/main.nr
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions noir-projects/noir-protocol-circuits/crates/parity-root/src/main.nr
View file
Open in desktop

This file was deleted.

14 changes: 9 additions & 5 deletions noir-projects/noir-protocol-circuits/crates/protocol-test-utils/src/fixtures/vk_tree.nr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,9 @@ use crate::utils::pad_end;
use types::{
constants::{
BLOCK_ROOT_MSGS_ONLY_ROLLUP_VK_INDEX, HIDING_KERNEL_TO_PUBLIC_VK_INDEX,
MEGA_KERNEL_VK_LENGTH_IN_FIELDS, PARITY_BASE_VK_INDEX, PARITY_ROOT_VK_INDEX,
PRIVATE_KERNEL_INIT_2_VK_INDEX, PRIVATE_KERNEL_INIT_3_VK_INDEX,
INBOX_PARITY_1024_VK_INDEX, INBOX_PARITY_256_VK_INDEX, INBOX_PARITY_64_VK_INDEX,
MEGA_KERNEL_VK_LENGTH_IN_FIELDS, PRIVATE_KERNEL_INIT_2_VK_INDEX,
PRIVATE_KERNEL_INIT_3_VK_INDEX,
PRIVATE_KERNEL_INIT_4_VK_INDEX, PRIVATE_KERNEL_INIT_5_VK_INDEX,
PRIVATE_KERNEL_INNER_2_VK_INDEX, PRIVATE_KERNEL_INNER_3_VK_INDEX,
PRIVATE_KERNEL_INNER_4_VK_INDEX, PRIVATE_KERNEL_INNER_5_VK_INDEX,
Expand Down Expand Up @@ -80,9 +81,12 @@ pub global VK_MERKLE_TREE: MerkleTree<VK_TREE_WIDTH> = {
}

// Honk
// Override some of the above with Honk Vks.
leaves[PARITY_BASE_VK_INDEX] = generate_fake_honk_vk_for_index(PARITY_BASE_VK_INDEX).hash;
leaves[PARITY_ROOT_VK_INDEX] = generate_fake_honk_vk_for_index(PARITY_ROOT_VK_INDEX).hash;
// The inbox parity ladder circuits are plain UltraHonk (not rollup-honk) and live past the reset range.
leaves[INBOX_PARITY_64_VK_INDEX] = generate_fake_honk_vk_for_index(INBOX_PARITY_64_VK_INDEX).hash;
leaves[INBOX_PARITY_256_VK_INDEX] =
generate_fake_honk_vk_for_index(INBOX_PARITY_256_VK_INDEX).hash;
leaves[INBOX_PARITY_1024_VK_INDEX] =
generate_fake_honk_vk_for_index(INBOX_PARITY_1024_VK_INDEX).hash;
leaves[ROOT_ROLLUP_VK_INDEX] = generate_fake_honk_vk_for_index(ROOT_ROLLUP_VK_INDEX).hash;

MerkleTree::new(leaves)
Expand Down
223 changes: 113 additions & 110 deletions noir-projects/noir-protocol-circuits/crates/rollup-block-root-first-empty-tx/Prover.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,116 @@
[inputs]
timestamp = "0x0000000000000000000000000000000000000000000000000000000000000186"
l1_to_l2_messages = [
l1_to_l2_message_frontier_hint = [
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0d04c63f36bd168215c9b09a227c7e8d3ad48e2f11b8202fd07c524bd30ee88f",
"0x042c72d0ca208f0631ed947050258333518c26059f0a2ef041e933b1b2a6d8ad",
"0x00c21235cdc5d4241fab782680421cdd99c088a3b48a740d8289d0e67b2ee5da",
"0x1077e8e59029b12e321c47a8a2a25283e50664b6ca1dd766a83828ddc6a22bb9",
"0x15b7bb46f75a6826da53df52c290eda3ddea8924becad6e9a3c08e4eb9a6f604",
"0x0f092097aaee3e41e55706add0701d0eff7a0c972a909dcbc915a478cbc8f122",
"0x2cf33c7d57e1ff8f3d98aabae3092befa8e92274da5e6d324ba0b8839889d27c",
"0x137e350aaf8bab893d768cb6e14bc5464877833efbb8c7091da9ecc7a96bc7b7",
"0x016505cc51b09b257b8c96b5fb20e90bd9e68416286a904d9f86b805e5a89e13",
"0x04d6e1009a70843f5bad89c59765d09421aad04e3276fc90f2a459565057978a",
"0x093a8215cd7e725a45949f4d6d4faec9d078221f09d26a27d61e4f0bf670a580",
"0x1704545cd66b0aa172d2c355fac161d17d7ea42f0132d24708762b544fa17357",
"0x2db6ed73abe6fc42bde50d4422c3e0c81def268d702b9256b7e67cafbbd0325c",
"0x21868e4f8cdcbcb9754d297edc2a361754517465c469017e784a4347f9eb6644",
"0x1adbb821ee5346b1979da8ddbb58789f5ef90c31ece8f0c543c221a3ef0f0aed",
"0x2058aa06a8e23bc53a625831ce1df1aa8d8f01924ad840607f33805aee179d90",
"0x1002be9f0852a234617c837e49555e328bb19a71fcea0ff34368901cee52c85e",
"0x2b238a0d25b834a061e45d817289ab221d13fd0e4cc7adf72d91d54c280f1aa0",
"0x15fada375c113bd526097e297b422ffb59f54a5451e5b70d4a4b028dc65208d1",
"0x2aad701e57c7069cb4e148d971c0eae9ac7429d7d833c51d87875ead0c5aca3c",
"0x2403f18ba27f090c40c95fc6724d67b4b7d537b967ee15656c79e55284df9d6b",
"0x13404ebc0eed291ffb14cad19114bad8df35bae99793ea99e4dde966cb4e53ad",
"0x006a1008132293c19aafbe7130eda035bd1b90065032894071b1f390f4946844",
"0x03ff3b6c066342b657a8583acef6fadbc8e390be6e1fff8dc1526a05f16f2005",
"0x294aa2b063a035c26fe57d58d15931cdc79a6a94edf097d5347277f6e4b0f9da",
"0x0aced6fe68143f4c7acd16345a8c1bb50c51a0692b760eb48728feb923d90757"
]
new_archive_sibling_path = [
"0x03f4c32538d42652fb32a5cb2aee4307443fe38382028580e7aa46e43182df55",
"0x19f1a0c09db4cd026f686e9c8fb45501a9fefb4eb1b4c6c328a51343a0094eeb",
"0x14e4b977b2203b70e6ee1c2456eb7114d090fe4b907f631eecd0919fed432e7d",
"0x30105bad22ddcc508b739b7c9ad87a561c569ff5cb0098a853c1c4ac21b7a037",
"0x1e20ad4181460cbfdc74ca773502c59b890f184efe300ebad895956d318422da",
"0x1434e6e2d5db1053ab8a3be58704509c799ee17e109c77f441f7bf1755400249",
"0x119f56a2e8423a7feaab49b9b5dcbadec0648dfa4096b61b6774ea33ae29dc7f",
"0x221cf368938c74e4fced9dfb2a8e37cd8a6c57d21385c249f0b5c2412341287f",
"0x2c5214dfc4d70d2619fce2a7e02ddcf380576dca42b66c9215c7d8d1ec154116",
"0x13abc9bba431e6930c169f5daeb60aedbb27d7618c7ff88b3b4ec1c6de1d6bb8",
"0x0d04c63f36bd168215c9b09a227c7e8d3ad48e2f11b8202fd07c524bd30ee88f",
"0x042c72d0ca208f0631ed947050258333518c26059f0a2ef041e933b1b2a6d8ad",
"0x00c21235cdc5d4241fab782680421cdd99c088a3b48a740d8289d0e67b2ee5da",
"0x1077e8e59029b12e321c47a8a2a25283e50664b6ca1dd766a83828ddc6a22bb9",
"0x15b7bb46f75a6826da53df52c290eda3ddea8924becad6e9a3c08e4eb9a6f604",
"0x0f092097aaee3e41e55706add0701d0eff7a0c972a909dcbc915a478cbc8f122",
"0x2cf33c7d57e1ff8f3d98aabae3092befa8e92274da5e6d324ba0b8839889d27c",
"0x137e350aaf8bab893d768cb6e14bc5464877833efbb8c7091da9ecc7a96bc7b7",
"0x016505cc51b09b257b8c96b5fb20e90bd9e68416286a904d9f86b805e5a89e13",
"0x04d6e1009a70843f5bad89c59765d09421aad04e3276fc90f2a459565057978a",
"0x093a8215cd7e725a45949f4d6d4faec9d078221f09d26a27d61e4f0bf670a580",
"0x1704545cd66b0aa172d2c355fac161d17d7ea42f0132d24708762b544fa17357",
"0x2db6ed73abe6fc42bde50d4422c3e0c81def268d702b9256b7e67cafbbd0325c",
"0x21868e4f8cdcbcb9754d297edc2a361754517465c469017e784a4347f9eb6644",
"0x1adbb821ee5346b1979da8ddbb58789f5ef90c31ece8f0c543c221a3ef0f0aed",
"0x2058aa06a8e23bc53a625831ce1df1aa8d8f01924ad840607f33805aee179d90",
"0x1002be9f0852a234617c837e49555e328bb19a71fcea0ff34368901cee52c85e",
"0x2b238a0d25b834a061e45d817289ab221d13fd0e4cc7adf72d91d54c280f1aa0",
"0x15fada375c113bd526097e297b422ffb59f54a5451e5b70d4a4b028dc65208d1",
"0x2aad701e57c7069cb4e148d971c0eae9ac7429d7d833c51d87875ead0c5aca3c"
]

[inputs.previous_archive]
root = "0x0fb2945d3438d906d88a216364dbfe9760e96001343468610e01d18182d493d0"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000001"

[inputs.previous_state.l1_to_l2_message_tree]
root = "0x0fef6d80d31109ddb56d6b3f607cbc9c0af0bff3ea0d43e8f278983c64c11f7a"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.previous_state.partial.note_hash_tree]
root = "0x2590f2aab19dd791700b4a43d3f52bb88ef2409a3731da8e848663559202e4c6"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.previous_state.partial.nullifier_tree]
root = "0x18935581a8ed73d08ffd00386fba55ba6c89f3ab848a76b8fedfa9034cee0454"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"

[inputs.previous_state.partial.public_data_tree]
root = "0x1a90881964e28a92a419f1d8361c14ac147b6f9175c04fdf57dadf0d7ba781c9"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"

[inputs.constants]
chain_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
version = "0x0000000000000000000000000000000000000000000000000000000000000000"
vk_tree_root = "0x0a178ec6fe216bfa6e2d25089ce97f9ff6b5c5701d2bce2a1fdf11e6dc351e3c"
protocol_contracts_hash = "0x0727efc9473643b7abbe3c57df72d68e86b244b99cae71b17553c0f937ea433b"
prover_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
slot_number = "0x000000000000000000000000000000000000000000000000000000000000000f"

[inputs.constants.coinbase]
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.constants.fee_recipient]
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.constants.gas_fees]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.message_bundle]
messages = [
"0x00000000000000000000000000000000000000000000000000000000000005dc",
"0x00000000000000000000000000000000000000000000000000000000000005dd",
"0x00000000000000000000000000000000000000000000000000000000000005de",
Expand Down Expand Up @@ -1026,112 +1136,5 @@ l1_to_l2_messages = [
"0x00000000000000000000000000000000000000000000000000000000000009da",
"0x00000000000000000000000000000000000000000000000000000000000009db"
]
num_msgs = "0x0000000000000000000000000000000000000000000000000000000000000400"
l1_to_l2_message_frontier_hint = [
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x0d04c63f36bd168215c9b09a227c7e8d3ad48e2f11b8202fd07c524bd30ee88f",
"0x042c72d0ca208f0631ed947050258333518c26059f0a2ef041e933b1b2a6d8ad",
"0x00c21235cdc5d4241fab782680421cdd99c088a3b48a740d8289d0e67b2ee5da",
"0x1077e8e59029b12e321c47a8a2a25283e50664b6ca1dd766a83828ddc6a22bb9",
"0x15b7bb46f75a6826da53df52c290eda3ddea8924becad6e9a3c08e4eb9a6f604",
"0x0f092097aaee3e41e55706add0701d0eff7a0c972a909dcbc915a478cbc8f122",
"0x2cf33c7d57e1ff8f3d98aabae3092befa8e92274da5e6d324ba0b8839889d27c",
"0x137e350aaf8bab893d768cb6e14bc5464877833efbb8c7091da9ecc7a96bc7b7",
"0x016505cc51b09b257b8c96b5fb20e90bd9e68416286a904d9f86b805e5a89e13",
"0x04d6e1009a70843f5bad89c59765d09421aad04e3276fc90f2a459565057978a",
"0x093a8215cd7e725a45949f4d6d4faec9d078221f09d26a27d61e4f0bf670a580",
"0x1704545cd66b0aa172d2c355fac161d17d7ea42f0132d24708762b544fa17357",
"0x2db6ed73abe6fc42bde50d4422c3e0c81def268d702b9256b7e67cafbbd0325c",
"0x21868e4f8cdcbcb9754d297edc2a361754517465c469017e784a4347f9eb6644",
"0x1adbb821ee5346b1979da8ddbb58789f5ef90c31ece8f0c543c221a3ef0f0aed",
"0x2058aa06a8e23bc53a625831ce1df1aa8d8f01924ad840607f33805aee179d90",
"0x1002be9f0852a234617c837e49555e328bb19a71fcea0ff34368901cee52c85e",
"0x2b238a0d25b834a061e45d817289ab221d13fd0e4cc7adf72d91d54c280f1aa0",
"0x15fada375c113bd526097e297b422ffb59f54a5451e5b70d4a4b028dc65208d1",
"0x2aad701e57c7069cb4e148d971c0eae9ac7429d7d833c51d87875ead0c5aca3c",
"0x2403f18ba27f090c40c95fc6724d67b4b7d537b967ee15656c79e55284df9d6b",
"0x13404ebc0eed291ffb14cad19114bad8df35bae99793ea99e4dde966cb4e53ad",
"0x006a1008132293c19aafbe7130eda035bd1b90065032894071b1f390f4946844",
"0x03ff3b6c066342b657a8583acef6fadbc8e390be6e1fff8dc1526a05f16f2005",
"0x294aa2b063a035c26fe57d58d15931cdc79a6a94edf097d5347277f6e4b0f9da",
"0x0aced6fe68143f4c7acd16345a8c1bb50c51a0692b760eb48728feb923d90757"
]
new_archive_sibling_path = [
"0x03f4c32538d42652fb32a5cb2aee4307443fe38382028580e7aa46e43182df55",
"0x19f1a0c09db4cd026f686e9c8fb45501a9fefb4eb1b4c6c328a51343a0094eeb",
"0x14e4b977b2203b70e6ee1c2456eb7114d090fe4b907f631eecd0919fed432e7d",
"0x30105bad22ddcc508b739b7c9ad87a561c569ff5cb0098a853c1c4ac21b7a037",
"0x1e20ad4181460cbfdc74ca773502c59b890f184efe300ebad895956d318422da",
"0x1434e6e2d5db1053ab8a3be58704509c799ee17e109c77f441f7bf1755400249",
"0x119f56a2e8423a7feaab49b9b5dcbadec0648dfa4096b61b6774ea33ae29dc7f",
"0x221cf368938c74e4fced9dfb2a8e37cd8a6c57d21385c249f0b5c2412341287f",
"0x2c5214dfc4d70d2619fce2a7e02ddcf380576dca42b66c9215c7d8d1ec154116",
"0x13abc9bba431e6930c169f5daeb60aedbb27d7618c7ff88b3b4ec1c6de1d6bb8",
"0x0d04c63f36bd168215c9b09a227c7e8d3ad48e2f11b8202fd07c524bd30ee88f",
"0x042c72d0ca208f0631ed947050258333518c26059f0a2ef041e933b1b2a6d8ad",
"0x00c21235cdc5d4241fab782680421cdd99c088a3b48a740d8289d0e67b2ee5da",
"0x1077e8e59029b12e321c47a8a2a25283e50664b6ca1dd766a83828ddc6a22bb9",
"0x15b7bb46f75a6826da53df52c290eda3ddea8924becad6e9a3c08e4eb9a6f604",
"0x0f092097aaee3e41e55706add0701d0eff7a0c972a909dcbc915a478cbc8f122",
"0x2cf33c7d57e1ff8f3d98aabae3092befa8e92274da5e6d324ba0b8839889d27c",
"0x137e350aaf8bab893d768cb6e14bc5464877833efbb8c7091da9ecc7a96bc7b7",
"0x016505cc51b09b257b8c96b5fb20e90bd9e68416286a904d9f86b805e5a89e13",
"0x04d6e1009a70843f5bad89c59765d09421aad04e3276fc90f2a459565057978a",
"0x093a8215cd7e725a45949f4d6d4faec9d078221f09d26a27d61e4f0bf670a580",
"0x1704545cd66b0aa172d2c355fac161d17d7ea42f0132d24708762b544fa17357",
"0x2db6ed73abe6fc42bde50d4422c3e0c81def268d702b9256b7e67cafbbd0325c",
"0x21868e4f8cdcbcb9754d297edc2a361754517465c469017e784a4347f9eb6644",
"0x1adbb821ee5346b1979da8ddbb58789f5ef90c31ece8f0c543c221a3ef0f0aed",
"0x2058aa06a8e23bc53a625831ce1df1aa8d8f01924ad840607f33805aee179d90",
"0x1002be9f0852a234617c837e49555e328bb19a71fcea0ff34368901cee52c85e",
"0x2b238a0d25b834a061e45d817289ab221d13fd0e4cc7adf72d91d54c280f1aa0",
"0x15fada375c113bd526097e297b422ffb59f54a5451e5b70d4a4b028dc65208d1",
"0x2aad701e57c7069cb4e148d971c0eae9ac7429d7d833c51d87875ead0c5aca3c"
]

[inputs.previous_archive]
root = "0x0fb2945d3438d906d88a216364dbfe9760e96001343468610e01d18182d493d0"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000001"

[inputs.previous_state.l1_to_l2_message_tree]
root = "0x0fef6d80d31109ddb56d6b3f607cbc9c0af0bff3ea0d43e8f278983c64c11f7a"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.previous_state.partial.note_hash_tree]
root = "0x2590f2aab19dd791700b4a43d3f52bb88ef2409a3731da8e848663559202e4c6"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.previous_state.partial.nullifier_tree]
root = "0x18935581a8ed73d08ffd00386fba55ba6c89f3ab848a76b8fedfa9034cee0454"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"

[inputs.previous_state.partial.public_data_tree]
root = "0x1a90881964e28a92a419f1d8361c14ac147b6f9175c04fdf57dadf0d7ba781c9"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000080"

[inputs.constants]
chain_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
version = "0x0000000000000000000000000000000000000000000000000000000000000000"
vk_tree_root = "0x1ce7669f335e7b2c642a772a46b19b54fa691db461192d69a256a94005cc67d2"
protocol_contracts_hash = "0x0727efc9473643b7abbe3c57df72d68e86b244b99cae71b17553c0f937ea433b"
prover_id = "0x0000000000000000000000000000000000000000000000000000000000000000"
slot_number = "0x000000000000000000000000000000000000000000000000000000000000000f"

[inputs.constants.coinbase]
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.constants.fee_recipient]
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[inputs.constants.gas_fees]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
num_msgs = "0x0000000000000000000000000000000000000000000000000000000000000400"
num_real_msgs = "0x0000000000000000000000000000000000000000000000000000000000000400"
Loading
Loading