Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ cd ..
# - Generate a hash for versioning: sha256sum bb-chonk-inputs.tar.gz
# - Upload the compressed results: aws s3 cp bb-chonk-inputs.tar.gz s3://aztec-ci-artifacts/protocol/bb-chonk-inputs-[hash(0:8)].tar.gz
# Note: In case of the "Test suite failed to run ... Unexpected token 'with' " error, need to run: docker pull aztecprotocol/build:3.0
pinned_short_hash="600b85bd"
pinned_short_hash="53ce2d4f"
pinned_chonk_inputs_url="https://aztec-ci-artifacts.s3.us-east-2.amazonaws.com/protocol/bb-chonk-inputs-${pinned_short_hash}.tar.gz"

script_path="$(cd "$(dirname "${BASH_SOURCE[0]}")/scripts" && pwd)/$(basename "${BASH_SOURCE[0]}")"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2175,7 +2175,6 @@ abstract contract BaseZKHonkVerifier is IVerifier {
mem.denominators[2] = mem.denominators[0];
mem.denominators[3] = mem.denominators[0];

mem.batchingChallenge = mem.batchingChallenge * tp.shplonkNu * tp.shplonkNu;
for (uint256 i = 0; i < LIBRA_EVALUATIONS; i++) {
Fr scalingFactor = mem.denominators[i] * mem.batchingChallenge;
mem.batchingScalars[i] = scalingFactor.neg();
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -114,9 +114,7 @@ TEST_F(BoomerangTwoLayerAvmRecursiveVerifierTests, graph_description_basic)
info("Recursive Verifier: num gates = ", builder.num_gates());
auto graph = cdg::StaticAnalyzer(builder, false);
auto variables_in_one_gate = graph.get_variables_in_one_gate();
// The variable in one gate is the last Shplonk power we compute. It is computed even though it is not used because
// of how the PCS is structured (more precisely, because of the interaction between gemini and interleaving).
EXPECT_EQ(variables_in_one_gate.size(), 1);
EXPECT_EQ(variables_in_one_gate.size(), 0);
}

} // namespace bb::stdlib::recursion::honk
2 changes: 0 additions & 2 deletions barretenberg/sol/src/honk/BaseZKHonkVerifier.sol
Original file line number Diff line number Diff line change
Expand Up @@ -431,8 +431,6 @@ abstract contract BaseZKHonkVerifier is IVerifier {
mem.denominators[2] = mem.denominators[0];
mem.denominators[3] = mem.denominators[0];

// Artifact of interleaving, see TODO(https://github.com/AztecProtocol/barretenberg/issues/1293): Decouple Gemini from Interleaving
mem.batchingChallenge = mem.batchingChallenge * tp.shplonkNu * tp.shplonkNu;
for (uint256 i = 0; i < LIBRA_EVALUATIONS; i++) {
Fr scalingFactor = mem.denominators[i] * mem.batchingChallenge;
mem.batchingScalars[i] = scalingFactor.neg();
Expand Down
Original file line number Diff line number Diff line change
@@ -1,18 +1,18 @@
vk_tree_root = "0x0cc4a5acb4f6fbb67fb1b67beba7aa606a5f4ca19a9249d7890857ecf010bf69"
vk_tree_root = "0x09a076b6e5b626581ace87b99b5a319216413e97bd43dbf28ad6943b429e6e19"
is_private_only = false
first_nullifier_hint = "0x1b179f5c60bd37897390e8d6a4748ce2d101ee76820d4b3918a855d7eb4ffd43"
first_nullifier_hint = "0x1723b21484ab449b3f016a511617f67821937bd5ceb0a60455f6607b8f30143e"
revertible_counter_hint = "0x0000000000000000000000000000000000000000000000000000000000000005"

[tx_request]
args_hash = "0x1ef77ab685a94f2af821f59918d60249e455f438658f035626b631f599ce5a6d"
salt = "0x12204f06cc577b3d3c241398fe17e9ed14fab010e798f8c7b99376a2d6284108"
args_hash = "0x04766a8cbf1a68801a3b28365f555fd1d4b4dffcd8ced14a68b38ae48f8e4cf0"
salt = "0x14dc0de75c4acb1f2b629081b4027afdc91c09b6e02287c34c8f105952ae99f1"

[tx_request.origin]
inner = "0x0c34a2bca65a47b57b2b0b2d4665f7c3ef5d376236d4fc66913434e2c0cffcff"
inner = "0x2d948ccf1b0e04c1d22e9028d4665d4d9d5cd42c54cdc65a1fefced923825d87"

[tx_request.tx_context]
chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
version = "0x00000000000000000000000000000000000000000000000000000000a49fefb7"
version = "0x0000000000000000000000000000000000000000000000000000000070333a21"

[tx_request.tx_context.gas_settings.gas_limits]
da_gas = "0x0000000000000000000000000000000000000000000000000000000000c00000"
Expand All @@ -24,7 +24,7 @@ l2_gas = "0x00000000000000000000000000000000000000000000000000000000000f4240"

[tx_request.tx_context.gas_settings.max_fees_per_gas]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000144b30430"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000144978cf0"

[tx_request.tx_context.gas_settings.max_priority_fees_per_gas]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
Expand Down Expand Up @@ -223,39 +223,39 @@ updated_class_id_delayed_public_mutable_values = [
]

[private_call.verification_key_hints.public_keys.npk_m.inner]
x = "0x280ef4df058bcf18f4860d62c462f0f9daccbe6dc9b2fad75dadd2a719a81ad0"
y = "0x0d3970305cde2b8df3fc160e49513c1b88873334705aaecd8ba1911e9a3f48c0"
x = "0x0b902b7fa8bded2d2a3664e5fcecef9fc809f345a31fd0e2b54d08a420bca10f"
y = "0x04aba52630cda5684c942c56f7679eaf603d8d6f6096f3d6b6186bb666af9fb1"
is_infinite = false

[private_call.verification_key_hints.public_keys.ivpk_m.inner]
x = "0x2e112a9af66644d0f00032649647eafe0ea9a68e35eb7761ba41e4b93492e926"
y = "0x28c037b66afdc2e8f90eca8470fde84b29ab6240172a20e38dab15e2c1470063"
x = "0x1d45dab28a2a785ddb932042294d5d892f8f74b308df01b0193f1e0a949d3c6a"
y = "0x29fa39825ccc1b1a9f0f781e5c2897c0665d6da7503d745fe01a2a7ae69e8395"
is_infinite = false

[private_call.verification_key_hints.public_keys.ovpk_m.inner]
x = "0x1c6e46d34d010aafb76bce5b59985601be1b0d0f63ebc2eca5957ff0423b209d"
y = "0x223b8905e4506dd23404ad6ee456c91302dc190937c596b93377bd16db997abb"
x = "0x2b0f5c7183114b8b7d23bf88ad91c7d066061cacebc20c889910075092fc1917"
y = "0x14649ae7aef91c76da862838f29980c8688d73d865b9795fa997dc3b59b20fc8"
is_infinite = false

[private_call.verification_key_hints.public_keys.tpk_m.inner]
x = "0x1fd56367454aded3ed2d69c22118efd45444ee33ee175011fdf74f9abcefb4f8"
y = "0x0ddda33a0b53e634388b18437d77744d3e00de2a618bd3965eff323d43619d23"
x = "0x1938910de000c5cc0ae97f0127791428616c022786c3583f4f0a1ec00e6abfb2"
y = "0x2ddc0ffa914b7982f589c3c9c2dbeae50087a1b62c9e12d44a25fef7e644f570"
is_infinite = false

[private_call.verification_key_hints.salted_initialization_hash]
inner = "0x0427ac83bd2a2120bd3951e03714e87c9510aee00407fc997b06aa6124d8dcbb"
inner = "0x16986005bc90e61280b296b98c934c51e600993d33a14a33a3fdbfcb1f9d8f77"

[private_call.verification_key_hints.updated_class_id_witness]
leaf_index = "138"
leaf_index = "118"
sibling_path = [
"0x0000000000000000000000000000000000000000000000000000000000000000",
"0x1c6288cb88035b6e6cb348bf29d7f627986734f3837723f70fa99075e4f500f5",
"0x0e34ac2c09f45a503d2908bcb12f1cbae5fa4065759c88d501c097506a8b2290",
"0x083b45b2f1a876d2a763cda4ec21fc5e093406babb706fa2ba43bc6c859228a3",
"0x2373ea368857ec7af97e7b470d705848e2bf93ed7bef142a490f2119bcf82d8e",
"0x120157cfaaa49ce3da30f8b47879114977c24b266d58b0ac18b325d878aafddf",
"0x01c28fe1059ae0237b72334700697bdf465e03df03986fe05200cadeda66bd76",
"0x2d93f2153fb183d8eafbf4c49080fc25ae1a71682e86f6d4483fbc504644eb5d",
"0x17b36b676ed431e9f615ef58cd0f10224fd9c7047d70394bdbec574bf72029f9",
"0x2dbd02096a238623d3d9ebad8e3e8e8f8a1dcc9f43f85dbe7919e0d1c0bf5eb4",
"0x29208ecc66c5a3f559855bd44866e51a9e1b053fe1b60786941ab50664c75667",
"0x13c01cf01cd61604ae55d7ca1986fedaa24483a282551eaa41507dde892783d5",
"0x179d7b5df7a65a4bdda408605c069b3ea175a5f4e2b0fccc9f2ebcb5d12c7c28",
"0x19e2b3449d24e57ea4d6948048220d0756f93b6aaca968960b173df69903160a",
"0x1a35cf71ad31b7058db0cec41776442412ccd9f75276205dcd8fd0ffc4bbfaab",
"0x1b4d427b4c28d92f5cf1e4141a99332a68acb4d22bcf108e4aadff0b7405efaa",
"0x067243231eddf4222f3911defbba7705aff06ed45960b27f6f91319196ef97e1",
"0x1849b85f3c693693e732dfc4577217acc18295193bede09ce8b97ad910310972",
"0x2a775ea761d20435b31fa2c33ff07663e24542ffb9e7b293dfce3042eb104686",
Expand Down Expand Up @@ -291,21 +291,21 @@ is_infinite = false
]

[private_call.verification_key_hints.updated_class_id_leaf]
slot = "0x036e901f114a75e275bb5b53726de3ba0bff6ff84fae76009eee3100ad2f189a"
value = "0x00000000000000000000000000000000000000000000000000000000000003e8"
next_slot = "0x084e06b6850f247ebfec5e2d605a68ba348a4520b91f37ecff8ec8b42d19e85a"
next_index = "0x0000000000000000000000000000000000000000000000000000000000000076"
slot = "0x02dc2c982d64a1b6d290d8b35b4a2d5451bfb52d4f55a5514ff6859149e70cff"
value = "0x00000000000000000000000000000000000000000000021e19e0c9bab2400000"
next_slot = "0x073aac97292c2a43ea4a9c36cff2635c093bd0a6fe1179d00dc6f13d5697487c"
next_index = "0x000000000000000000000000000000000000000000000000000000000000008a"

[app_public_inputs]
args_hash = "0x1ef77ab685a94f2af821f59918d60249e455f438658f035626b631f599ce5a6d"
args_hash = "0x04766a8cbf1a68801a3b28365f555fd1d4b4dffcd8ced14a68b38ae48f8e4cf0"
returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000002"
end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000007"
expected_non_revertible_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
expected_revertible_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
min_revertible_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000005"
is_fee_payer = true
expiration_timestamp = "0x0000000000000000000000000000000000000000000000000000000069950f9f"
expiration_timestamp = "0x0000000000000000000000000000000000000000000000000000000069961210"

[app_public_inputs.call_context]
is_static_call = false
Expand All @@ -314,7 +314,7 @@ expiration_timestamp = "0x000000000000000000000000000000000000000000000000000000
inner = "0x30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000"

[app_public_inputs.call_context.contract_address]
inner = "0x0c34a2bca65a47b57b2b0b2d4665f7c3ef5d376236d4fc66913434e2c0cffcff"
inner = "0x2d948ccf1b0e04c1d22e9028d4665d4d9d5cd42c54cdc65a1fefced923825d87"

[app_public_inputs.call_context.function_selector]
inner = "0x000000000000000000000000000000000000000000000000000000009d57a239"
Expand All @@ -324,7 +324,7 @@ expiration_timestamp = "0x000000000000000000000000000000000000000000000000000000

[[app_public_inputs.note_hash_read_requests.array]]
[app_public_inputs.note_hash_read_requests.array.inner]
inner = "0x008846a23cf07d6f5eac3f31f5e0b597cdb85807f54d1dc760739d3241830052"
inner = "0x2d251a386ca8d65495417b8098af6e9f26594222522b11f1dbdd0d057da2e043"
counter = "0x0000000000000000000000000000000000000000000000000000000000000003"

[app_public_inputs.note_hash_read_requests.array.contract_address]
Expand Down Expand Up @@ -1097,13 +1097,13 @@ inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[app_public_inputs.public_call_requests.array.inner]
is_static_call = false
calldata_hash = "0x17e4b5c5dbeaad6be8a2b2c73032dc3e9b8ddab57af334f8510fe9f10ea289ad"
calldata_hash = "0x05281b3295031a75f6795dedf5ed7e65588831c728d6c21b0a2aa1c5c56ba868"

[app_public_inputs.public_call_requests.array.inner.msg_sender]
inner = "0x0c34a2bca65a47b57b2b0b2d4665f7c3ef5d376236d4fc66913434e2c0cffcff"
inner = "0x2d948ccf1b0e04c1d22e9028d4665d4d9d5cd42c54cdc65a1fefced923825d87"

[app_public_inputs.public_call_requests.array.inner.contract_address]
inner = "0x1703dad6ee1abbca0640693164b939ef4424b8dc13bee05f171945bde0dfa4bd"
inner = "0x0abe66f2a9867a62057fddc4f1db73460641475083940040ecfd60658c1c8f72"

[[app_public_inputs.public_call_requests.array]]
counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
Expand Down Expand Up @@ -2071,50 +2071,50 @@ inner = "0x0000000000000000000000000000000000000000000000000000000000000000"
length = "0x0000000000000000000000000000000000000000000000000000000000000000"

[app_public_inputs.anchor_block_header]
sponge_blob_hash = "0x0b6757cd67bf5ada69ebbb4471e4d7178f9e3501aecb6e137560fd97c123e7f7"
total_fees = "0x000000000000000000000000000000000000000000000000001ef67611a32cc0"
sponge_blob_hash = "0x14fbfa21e895b90ed36edf7587302b1107ecd7ff1552660eff49051927af68a7"
total_fees = "0x000000000000000000000000000000000000000000000000001b1583fce8c500"
total_mana_used = "0x0000000000000000000000000000000000000000000000000000000000021835"

[app_public_inputs.anchor_block_header.last_archive]
root = "0x001b1e328f9e66b6d0e0b74c3160b46f4623da4588e13cb99510498b4f210e79"
root = "0x00b62d6053432b2d49c92b1d58251d035a2319df21d326533d32961faafe562f"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000008"

[app_public_inputs.anchor_block_header.state.l1_to_l2_message_tree]
root = "0x0d582c10ff8115413aa5b70564fdd2f3cefe1f33a1e43a47bc495081e91e73e5"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000002000"

[app_public_inputs.anchor_block_header.state.partial.note_hash_tree]
root = "0x220fdabec5b2ff8028acc4656699b44e1dead210fb97cadb5e9ddfa4193700ef"
root = "0x1790bc08b1a397dc05f91ac65ae11c30078411b35458c8fb695da24186db065d"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000200"

[app_public_inputs.anchor_block_header.state.partial.nullifier_tree]
root = "0x127e13c0e3efc50c369cf3fbd1cc4241ab2c144046b9a3fb19ea08456938bafd"
root = "0x117f390ce1ba5b518161c98c7e9f638709cd5b399fa0015af282d7fa7eaaf152"
next_available_leaf_index = "0x0000000000000000000000000000000000000000000000000000000000000280"

[app_public_inputs.anchor_block_header.state.partial.public_data_tree]
root = "0x24eb461137efc60c3a6cc423e16553e04333ec4551e34566332245183814bf51"
root = "0x187acce9bc7369e293cb149d6811eb8881afe1dac51487e0dc9f0864e55385da"
next_available_leaf_index = "0x000000000000000000000000000000000000000000000000000000000000008b"

[app_public_inputs.anchor_block_header.global_variables]
chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
version = "0x00000000000000000000000000000000000000000000000000000000a49fefb7"
version = "0x0000000000000000000000000000000000000000000000000000000070333a21"
block_number = "0x0000000000000000000000000000000000000000000000000000000000000008"
slot_number = "0x0000000000000000000000000000000000000000000000000000000000000022"
timestamp = "0x000000000000000000000000000000000000000000000000000000006993be1f"
timestamp = "0x000000000000000000000000000000000000000000000000000000006994c090"

[app_public_inputs.anchor_block_header.global_variables.coinbase]
inner = "0x0000000000000000000000001db08e9f499080f28a4f41d9c45fa972eaa61d95"
inner = "0x00000000000000000000000075d5a78c72060d1730eb62caa2c91daab0000946"

[app_public_inputs.anchor_block_header.global_variables.fee_recipient]
inner = "0x0000000000000000000000000000000000000000000000000000000000000000"

[app_public_inputs.anchor_block_header.global_variables.gas_fees]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000ec84f91c0"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000cee405100"

[app_public_inputs.tx_context]
chain_id = "0x0000000000000000000000000000000000000000000000000000000000007a69"
version = "0x00000000000000000000000000000000000000000000000000000000a49fefb7"
version = "0x0000000000000000000000000000000000000000000000000000000070333a21"

[app_public_inputs.tx_context.gas_settings.gas_limits]
da_gas = "0x0000000000000000000000000000000000000000000000000000000000c00000"
Expand All @@ -2126,7 +2126,7 @@ l2_gas = "0x00000000000000000000000000000000000000000000000000000000000f4240"

[app_public_inputs.tx_context.gas_settings.max_fees_per_gas]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000144b30430"
fee_per_l2_gas = "0x0000000000000000000000000000000000000000000000000000000144978cf0"

[app_public_inputs.tx_context.gas_settings.max_priority_fees_per_gas]
fee_per_da_gas = "0x0000000000000000000000000000000000000000000000000000000000000000"
Expand Down
Loading
Loading