@@ -21,41 +21,40 @@ Note: Paths relative to `aztec-packages/barretenberg/cpp/src/barretenberg`
2121### Multilinear Batching Components
222210 . ` multilinear_batching/multilinear_batching_prover.cpp `
232311 . ` multilinear_batching/multilinear_batching_prover.hpp `
24- 12 . ` multilinear_batching/multilinear_batching_proving_key.cpp `
25- 13 . ` multilinear_batching/multilinear_batching_proving_key.hpp `
26- 14 . ` multilinear_batching/multilinear_batching_claims.hpp `
27- 15 . ` multilinear_batching/multilinear_batching_verifier.cpp `
28- 16 . ` multilinear_batching/multilinear_batching_verifier.hpp `
24+ 12 . ` multilinear_batching/multilinear_batching_claims.hpp `
25+ 13 . ` multilinear_batching/multilinear_batching_verifier.cpp `
26+ 14 . ` multilinear_batching/multilinear_batching_verifier.hpp `
2927
3028### Merge Protocol
31- 17 . ` goblin/merge_prover.cpp `
32- 18 . ` goblin/merge_prover.hpp `
33- 19 . ` goblin/merge_verifier.cpp `
34- 20 . ` goblin/merge_verifier.hpp `
29+ 15 . ` goblin/merge_prover.cpp `
30+ 16 . ` goblin/merge_prover.hpp `
31+ 17 . ` goblin/merge_verifier.cpp `
32+ 18 . ` goblin/merge_verifier.hpp `
3533
3634### Chonk Core
37- 21 . ` chonk/chonk.cpp `
38- 22 . ` chonk/chonk.hpp `
39- 23 . ` chonk/private_execution_steps.cpp `
40- 24 . ` chonk/chonk_proof.cpp `
41- 25 . ` chonk/chonk_proof.hpp `
35+ 19 . ` chonk/chonk.cpp `
36+ 20 . ` chonk/chonk.hpp `
37+ 21 . ` chonk/private_execution_steps.cpp `
38+ 22 . ` chonk/chonk_proof.cpp `
39+ 23 . ` chonk/chonk_proof.hpp `
4240
4341### Relations
44- 26 . ` relations/databus_lookup_relation.hpp `
45- 27 . ` relations/multilinear_batching/multilinear_batching_relation.hpp `
42+ 24 . ` relations/multilinear_batching/multilinear_batching_relation.hpp `
4643
4744### Special Public Inputs
48- 28 . ` special_public_inputs/special_public_inputs.hpp `
49- 29 . ` stdlib/primitives/public_input_component/public_input_component.hpp `
45+ 25 . ` special_public_inputs/special_public_inputs.hpp `
46+ 26 . ` stdlib/primitives/public_input_component/public_input_component.hpp `
5047
5148### Flavor
52- 30 . ` flavor/multilinear_batching_flavor.hpp `
53- 31 . ` flavor/multilinear_batching_recursive_flavor.hpp `
49+ 27 . ` flavor/multilinear_batching_flavor.hpp `
50+ 28 . ` flavor/multilinear_batching_flavor.cpp `
51+ 29 . ` flavor/multilinear_batching_recursive_flavor.hpp `
5452
5553### ACIR Integration
56- 32 . ` dsl/acir_format/hypernova_recursion_constraint.hpp `
57- 33 . ` dsl/acir_format/hypernova_recursion_constraint.cpp `
58-
54+ 30 . ` dsl/acir_format/hypernova_recursion_constraint.hpp `
55+ 31 . ` dsl/acir_format/hypernova_recursion_constraint.cpp `
56+ 32 . ` dsl/acir_format/recursion_constraint.cpp ` (only ` process_hn_recursion_constraints() ` method)
57+ 33 . ` dsl/acir_format/recursion_constraint.cpp `
5958---
6059
6160## Critical Files
@@ -86,7 +85,7 @@ Note: Paths relative to `aztec-packages/barretenberg/cpp/src/barretenberg`
8685| ` hypernova/hypernova_prover.test.cpp ` | HyperNova folding prover tests |
8786| ` chonk/chonk_transcript_invariants.test.cpp ` | Transcript consistency, tampering detection, M_tail propagation |
8887| ` hypernova/hypernova_verifier.test.cpp ` | Folding proof verification, accumulator batching |
89- | ` multilinear_batching/multilinear_batching_verifier .test.cpp ` | Polynomial claim batching, eq consistency |
88+ | ` multilinear_batching/multilinear_batching_prover .test.cpp ` | Polynomial claim batching, eq consistency |
9089| ` goblin/merge.test.cpp ` | Merge protocol correctness, degree checks, PREPEND/APPEND modes |
9190| ` relations/databus_lookup_relation_consistency.test.cpp ` | Databus lookup relation soundness |
9291
0 commit comments