feat: Use structured polys to reduce prover memory #8587

lucasxia01 · 2024-09-17T00:39:33Z

We use the new structured polynomial class to reduce the amount of memory used by the Prover. For ClientIVCBench, this results in a reduction of 36.5%, going from 2377.99MiB to 1511.34MiB.

This is due to a restricting polynomials down to smaller sizes. For lagrange_first and last, we only allocate 1 element. For the gate selectors, we only allocate the fixed block size for each one, cutting the 8 gate selectors into almost 1 selector (caveat is that the arithmetic selector spans the aux block for now). For the 5 ecc_op polynomials, we restrict them to just the ecc_op block. For 9 of the 10 databus polynomials, we restrict them to MAX_DATABUS_SIZE. For the 4 table polynomials and the lookup read counts and read tag polynomials, we restrict them to MAX_LOOKUP_TABLES_SIZE. We also restrict the inverse polynomials, but this is complicated to explain.

Overall, this essentially allows us to cut down on 28 of the 54 total polynomials, which leads to the drop of 867MiB.

There's more juice to be squeezed here, but this is a massive reduction that should basically get us there.

Before:

After:

And timing benchmark:

--------------------------------------------------------------------------------
Benchmark                      Time             CPU   Iterations UserCounters...
--------------------------------------------------------------------------------
ClientIVCBench/Full/6      33216 ms        30637 ms            1 Arithmetic::accumulate=3.89126M Arithmetic::accumulate(t)=7.32768G Auxiliary::accumulate=1.98134M Auxiliary::accumulate(t)=13.4156G COMMIT::databus=108 COMMIT::databus(t)=8.50634M COMMIT::databus_inverses=36 COMMIT::databus_inverses(t)=11.8267M COMMIT::ecc_op_wires=48 COMMIT::ecc_op_wires(t)=38.2178M COMMIT::lookup_counts_tags=12 COMMIT::lookup_counts_tags(t)=107.571M COMMIT::lookup_inverses=12 COMMIT::lookup_inverses(t)=257.772M COMMIT::wires=24 COMMIT::wires(t)=2.23405G COMMIT::z_perm=12 COMMIT::z_perm(t)=2.31578G DatabusRead::accumulate=447 DatabusRead::accumulate(t)=1.72333M Decider::construct_proof=1 Decider::construct_proof(t)=1.57152G DeciderProvingKey(Circuit&)=12 DeciderProvingKey(Circuit&)(t)=2.63528G DeltaRange::accumulate=1.87876M DeltaRange::accumulate(t)=4.27884G ECCVMProver(CircuitBuilder&)=1 ECCVMProver(CircuitBuilder&)(t)=228.84M ECCVMProver::construct_proof=1 ECCVMProver::construct_proof(t)=2.59672G Elliptic::accumulate=183.692k Elliptic::accumulate(t)=451.988M Goblin::merge=23 Goblin::merge(t)=116.924M Lookup::accumulate=1.66363M Lookup::accumulate(t)=3.74588G MegaFlavor::get_row=6.18564M MegaFlavor::get_row(t)=4.44329G OinkProver::execute_grand_product_computation_round=12 OinkProver::execute_grand_product_computation_round(t)=3.59852G OinkProver::execute_log_derivative_inverse_round=12 OinkProver::execute_log_derivative_inverse_round(t)=2.4985G OinkProver::execute_preamble_round=12 OinkProver::execute_preamble_round(t)=178.858k OinkProver::execute_sorted_list_accumulator_round=12 OinkProver::execute_sorted_list_accumulator_round(t)=683.402M OinkProver::execute_wire_commitments_round=12 OinkProver::execute_wire_commitments_round(t)=1.71268G OinkProver::generate_alphas_round=12 OinkProver::generate_alphas_round(t)=3.50247M Permutation::accumulate=10.6427M Permutation::accumulate(t)=40.1379G PoseidonExt::accumulate=30.452k PoseidonExt::accumulate(t)=76.6116M PoseidonInt::accumulate=210.454k PoseidonInt::accumulate(t)=365.722M ProtogalaxyProver::prove=11 ProtogalaxyProver::prove(t)=19.9675G ProtogalaxyProver_::combiner_quotient_round=11 ProtogalaxyProver_::combiner_quotient_round(t)=8.76403G ProtogalaxyProver_::compute_row_evaluations=11 ProtogalaxyProver_::compute_row_evaluations(t)=1.9728G ProtogalaxyProver_::perturbator_round=11 ProtogalaxyProver_::perturbator_round(t)=2.86884G ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key=11 ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t)=7.66211G ProtogalaxyProver_::update_target_sum_and_fold=11 ProtogalaxyProver_::update_target_sum_and_fold(t)=672.424M TranslatorCircuitBuilder::constructor=1 TranslatorCircuitBuilder::constructor(t)=32.9044M TranslatorProver=1 TranslatorProver(t)=43.1984M TranslatorProver::construct_proof=1 TranslatorProver::construct_proof(t)=832.913M batch_mul_with_endomorphism=16 batch_mul_with_endomorphism(t)=408.881M commit=543 commit(t)=6.5699G commit_sparse=36 commit_sparse(t)=11.813M compute_combiner=11 compute_combiner(t)=8.32169G compute_perturbator=11 compute_perturbator(t)=2.86857G compute_univariate=51 compute_univariate(t)=2.20204G construct_circuits=12 construct_circuits(t)=4.30706G pippenger=215 pippenger(t)=102.025M pippenger_unsafe_optimized_for_non_dyadic_polys=543 pippenger_unsafe_optimized_for_non_dyadic_polys(t)=6.56543G
Benchmarking lock deleted.
client_ivc_bench.json                                                                                                                                                                                                                  100% 6930   190.2KB/s   00:00    
function                                  ms     % sum
construct_circuits(t)                   4307    13.35%
DeciderProvingKey(Circuit&)(t)          2635     8.17%
ProtogalaxyProver::prove(t)            19967    61.90%
Decider::construct_proof(t)             1572     4.87%
ECCVMProver(CircuitBuilder&)(t)          229     0.71%
ECCVMProver::construct_proof(t)         2597     8.05%
TranslatorProver::construct_proof(t)     833     2.58%
Goblin::merge(t)                         117     0.36%

Total time accounted for: 32257ms/33216ms = 97.11%

Major contributors:
function                                  ms    % sum
commit(t)                               6570   20.37%
compute_combiner(t)                     8322   25.80%
compute_perturbator(t)                  2869    8.89%
compute_univariate(t)                   2202    6.83%

Breakdown of ProtogalaxyProver::prove:
ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t)    7662    38.37%
ProtogalaxyProver_::perturbator_round(t)                         2869    14.37%
ProtogalaxyProver_::combiner_quotient_round(t)                   8764    43.89%
ProtogalaxyProver_::update_target_sum_and_fold(t)                 672     3.37%

Relation contributions (times to be interpreted relatively):
Total time accounted for (ms):    69802
operation                       ms     % sum
Arithmetic::accumulate(t)     7328    10.50%
Permutation::accumulate(t)   40138    57.50%
Lookup::accumulate(t)         3746     5.37%
DeltaRange::accumulate(t)     4279     6.13%
Elliptic::accumulate(t)        452     0.65%
Auxiliary::accumulate(t)     13416    19.22%
EccOp::accumulate(t)             0     0.00%
DatabusRead::accumulate(t)       2     0.00%
PoseidonExt::accumulate(t)      77     0.11%
PoseidonInt::accumulate(t)     366     0.52%

Commitment contributions:
Total time accounted for (ms):     4974
operation                          ms     % sum
COMMIT::wires(t)                 2234    44.92%
COMMIT::z_perm(t)                2316    46.56%
COMMIT::databus(t)                  9     0.17%
COMMIT::ecc_op_wires(t)            38     0.77%
COMMIT::lookup_inverses(t)        258     5.18%
COMMIT::databus_inverses(t)        12     0.24%
COMMIT::lookup_counts_tags(t)     108     2.16%

Compared to master, the notable differences are:
DeciderProvingKey(Circuit&) was at 8043ms and now is 2635ms.
ProtogalaxyProver::prove was 20953ms and now is 19967ms. Unclear if this is expected or not.
commit was 7033ms and is now 6570ms.

…ey get populated instead of all at once in the proving key

…to decider proving key constructor

…dd_scaled/add/subtract

…er-polys

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp

lucasxia01 · 2024-09-19T22:13:20Z

barretenberg/cpp/src/barretenberg/plonk_honk_shared/arithmetization/arithmetization.hpp

@@ -104,6 +102,8 @@ template <typename FF, size_t NUM_WIRES, size_t NUM_SELECTORS> class ExecutionTr
        }
    }
 #endif
+  private:
+    uint32_t fixed_size = 0; // Fixed size for use in structured trace


made this private to avoid accidentally getting it. Need to call get_fixed_size() instead because it's 0 in the unstructured case.

lucasxia01 · 2024-09-19T22:13:43Z

barretenberg/cpp/src/barretenberg/plonk_honk_shared/composer/permutation_lib.hpp

@@ -384,6 +384,13 @@ void compute_permutation_argument_polynomials(const typename Flavor::CircuitBuil
            compute_monomial_and_coset_fft_polynomials_from_lagrange<Flavor::NUM_WIRES>("id", key);
        }
    } else if constexpr (IsUltraFlavor<Flavor>) { // any UltraHonk flavor
+        // Allocate sigma and id polynomials
+        for (auto& sigma : key->polynomials.get_sigmas()) {
+            sigma = typename Flavor::Polynomial(key->circuit_size);


wasn't sure if I could restrict any of these

could restrict to the non-dyadic circuit size potentially? Unsure because computing them iterates over the EvaluationDomain...

not much we can do here I dont think

barretenberg/cpp/src/barretenberg/polynomials/polynomial.cpp

lucasxia01 · 2024-09-19T22:14:30Z

barretenberg/cpp/src/barretenberg/polynomials/polynomial.test.cpp

@@ -74,74 +74,74 @@ TEST(Polynomial, AddScaledEdgeConditions)
    // Suppress warnings about fork(), we're OK with the edge cases.
    GTEST_FLAG_SET(death_test_style, "threadsafe");
    using FF = bb::fr;
-    auto test_subset_good = []() {


had to update these tests because we allow for some of these operations where the active ranges are different.

…er-polys

…han size

…n pre-runtime constants to avoid reallocation

lucasxia01 · 2024-09-26T18:25:45Z

barretenberg/cpp/src/barretenberg/ultra_honk/oink_prover.cpp

@@ -98,7 +98,7 @@ template <IsUltraFlavor Flavor> void OinkProver<Flavor>::execute_wire_commitment
                                                             commitment_labels.get_ecc_op_wires())) {
            {
                BB_OP_COUNT_TIME_NAME("COMMIT::ecc_op_wires");
-                commitment = commitment_key->commit_sparse(polynomial);


these are contiguous and structured so might as well use commit on them now

lucasxia01 · 2024-09-26T18:49:48Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp

+                        std::min(dyadic_circuit_size,
+                                 std::max(lookup_offset + circuit.blocks.lookup.get_fixed_size(is_structured),
+                                          table_offset + MAX_LOOKUP_TABLES_SIZE));
+                    info("lookup_inverses size: ", lookup_inverses_end - lookup_inverses_start);


will delete (and all the other infos)

lucasxia01 · 2024-09-26T18:50:42Z

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp

@@ -6,6 +6,24 @@
 #include "barretenberg/stdlib_circuit_builders/ultra_keccak_flavor.hpp"
 namespace bb {

+template <class Flavor> void ExecutionTrace_<Flavor>::populate_public_inputs_block(Builder& builder)


moved this function to public

lucasxia01 · 2024-09-26T18:51:19Z

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp


-    // Complete the public inputs execution trace block from builder.public_inputs
-    populate_public_inputs_block(builder);
+    if constexpr (IsPlonkFlavor<Flavor>) {


only for plonk since for honk, we do in DeciderProvingKey(). We want to do it there for Honk because we want the trace to be completed before computing offsets.

lucasxia01 · 2024-09-26T18:51:38Z

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp

@@ -87,8 +108,7 @@ typename ExecutionTrace_<Flavor>::TraceData ExecutionTrace_<Flavor>::construct_t
        // Insert the selector values for this block into the selector polynomials at the correct offset
        // TODO(https://github.com/AztecProtocol/barretenberg/issues/398): implicit arithmetization/flavor consistency
        for (size_t selector_idx = 0; selector_idx < NUM_SELECTORS; selector_idx++) {
-            auto selector_poly = trace_data.selectors[selector_idx];
-            auto selector = block.selectors[selector_idx];


I think this was causing a lot of copying to be done

lucasxia01 · 2024-09-26T18:59:51Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.hpp

+                    const size_t lookup_offset = static_cast<size_t>(circuit.blocks.lookup.trace_offset);
+                    // TODO(https://github.com/AztecProtocol/barretenberg/issues/1033): construct tables and counts
+                    // at top of trace
+                    const size_t table_offset =


not the nicest set of computations, but necessary I think to handle edge cases of circuit size being too small, etc.... Maybe could move to a function

codygunton

Very nice

codygunton · 2024-09-26T20:53:09Z

barretenberg/cpp/src/barretenberg/ultra_honk/decider_proving_key.cpp

    auto& return_data_read_counts = proving_key.polynomials.return_data_read_counts;
    auto& return_data_read_tags = proving_key.polynomials.return_data_read_tags;

    auto calldata = circuit.get_calldata();
    auto secondary_calldata = circuit.get_secondary_calldata();
    auto return_data = circuit.get_return_data();
+    info("calldata.size(): ", calldata.size());


Stray infos

codygunton · 2024-09-26T20:53:44Z

barretenberg/cpp/src/barretenberg/polynomials/polynomial.test.cpp

+
+// TODO(https://github.com/AztecProtocol/barretenberg/issues/1113): Optimizing based on actual sizes would involve using
+// expand, but it is currently unused.
+TEST(Polynomial, DISABLED_Expand)


IMO we should run this if we're keeping the function around

codygunton · 2024-09-26T20:55:54Z

barretenberg/ts/src/main.ts

  // Plus 1 needed! (Move +1 into Crs?)
-  const crs = await Crs.new(2 ** 18 + 1, crsPath);
+  const crs = await Crs.new(2 ** 19 + 1, crsPath);


why the bump?

because all of the SRS' had to be bumped by 1.5x due to Adam's initial PR. Issue here: AztecProtocol/barretenberg#1097

github-actions · 2024-09-26T22:16:45Z

Changes to circuit sizes

Generated at commit: 6e72fb154c1fa253ce67e9692ffc20b5b0b810b0, compared to commit: dbf2c13bdbfbe2957eb8a6e2716d9feab6e0ea6d

🧾 Summary (100% most significant diffs)

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_block_merge	-70 ✅	-0.37%	-70 ✅	-0.00%
rollup_root	-70 ✅	-0.37%	-70 ✅	-0.00%

Full diff report 👇

Program	ACIR opcodes (+/-)	%	Circuit size (+/-)	%
rollup_block_merge	18,790 (-70)	-0.37%	2,787,623 (-70)	-0.00%
rollup_root	18,774 (-70)	-0.37%	2,787,591 (-70)	-0.00%

We use the new structured polynomial class to reduce the amount of memory used by the Prover. For ClientIVCBench, this results in a reduction of 36.5%, going from 2377.99MiB to 1511.34MiB. This is due to a restricting polynomials down to smaller sizes. For lagrange_first and last, we only allocate 1 element. For the gate selectors, we only allocate the fixed block size for each one, cutting the 8 gate selectors into almost 1 selector (caveat is that the arithmetic selector spans the aux block for now). For the 5 ecc_op polynomials, we restrict them to just the ecc_op block. For 9 of the 10 databus polynomials, we restrict them to MAX_DATABUS_SIZE. For the 4 table polynomials and the lookup read counts and read tag polynomials, we restrict them to MAX_LOOKUP_TABLES_SIZE. We also restrict the inverse polynomials, but this is complicated to explain. Overall, this essentially allows us to cut down on 28 of the 54 total polynomials, which leads to the drop of 867MiB. There's more juice to be squeezed here, but this is a massive reduction that should basically get us there. Before: <img width="1331" alt="Screenshot 2024-09-20 at 5 00 27 PM" src="https://github.com/user-attachments/assets/7572a5d2-4fa9-4b4f-af1d-7885260d6756"> After: <img width="1363" alt="Screenshot 2024-09-26 at 10 03 54 AM" src="https://github.com/user-attachments/assets/aed64b1d-862c-4a21-9e32-160993d1f5c3"> For one instance, we cut down memory by 97MiB. And timing benchmark: ``` -------------------------------------------------------------------------------- Benchmark Time CPU Iterations UserCounters... -------------------------------------------------------------------------------- ClientIVCBench/Full/6 33216 ms 30637 ms 1 Arithmetic::accumulate=3.89126M Arithmetic::accumulate(t)=7.32768G Auxiliary::accumulate=1.98134M Auxiliary::accumulate(t)=13.4156G COMMIT::databus=108 COMMIT::databus(t)=8.50634M COMMIT::databus_inverses=36 COMMIT::databus_inverses(t)=11.8267M COMMIT::ecc_op_wires=48 COMMIT::ecc_op_wires(t)=38.2178M COMMIT::lookup_counts_tags=12 COMMIT::lookup_counts_tags(t)=107.571M COMMIT::lookup_inverses=12 COMMIT::lookup_inverses(t)=257.772M COMMIT::wires=24 COMMIT::wires(t)=2.23405G COMMIT::z_perm=12 COMMIT::z_perm(t)=2.31578G DatabusRead::accumulate=447 DatabusRead::accumulate(t)=1.72333M Decider::construct_proof=1 Decider::construct_proof(t)=1.57152G DeciderProvingKey(Circuit&)=12 DeciderProvingKey(Circuit&)(t)=2.63528G DeltaRange::accumulate=1.87876M DeltaRange::accumulate(t)=4.27884G ECCVMProver(CircuitBuilder&)=1 ECCVMProver(CircuitBuilder&)(t)=228.84M ECCVMProver::construct_proof=1 ECCVMProver::construct_proof(t)=2.59672G Elliptic::accumulate=183.692k Elliptic::accumulate(t)=451.988M Goblin::merge=23 Goblin::merge(t)=116.924M Lookup::accumulate=1.66363M Lookup::accumulate(t)=3.74588G MegaFlavor::get_row=6.18564M MegaFlavor::get_row(t)=4.44329G OinkProver::execute_grand_product_computation_round=12 OinkProver::execute_grand_product_computation_round(t)=3.59852G OinkProver::execute_log_derivative_inverse_round=12 OinkProver::execute_log_derivative_inverse_round(t)=2.4985G OinkProver::execute_preamble_round=12 OinkProver::execute_preamble_round(t)=178.858k OinkProver::execute_sorted_list_accumulator_round=12 OinkProver::execute_sorted_list_accumulator_round(t)=683.402M OinkProver::execute_wire_commitments_round=12 OinkProver::execute_wire_commitments_round(t)=1.71268G OinkProver::generate_alphas_round=12 OinkProver::generate_alphas_round(t)=3.50247M Permutation::accumulate=10.6427M Permutation::accumulate(t)=40.1379G PoseidonExt::accumulate=30.452k PoseidonExt::accumulate(t)=76.6116M PoseidonInt::accumulate=210.454k PoseidonInt::accumulate(t)=365.722M ProtogalaxyProver::prove=11 ProtogalaxyProver::prove(t)=19.9675G ProtogalaxyProver_::combiner_quotient_round=11 ProtogalaxyProver_::combiner_quotient_round(t)=8.76403G ProtogalaxyProver_::compute_row_evaluations=11 ProtogalaxyProver_::compute_row_evaluations(t)=1.9728G ProtogalaxyProver_::perturbator_round=11 ProtogalaxyProver_::perturbator_round(t)=2.86884G ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key=11 ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t)=7.66211G ProtogalaxyProver_::update_target_sum_and_fold=11 ProtogalaxyProver_::update_target_sum_and_fold(t)=672.424M TranslatorCircuitBuilder::constructor=1 TranslatorCircuitBuilder::constructor(t)=32.9044M TranslatorProver=1 TranslatorProver(t)=43.1984M TranslatorProver::construct_proof=1 TranslatorProver::construct_proof(t)=832.913M batch_mul_with_endomorphism=16 batch_mul_with_endomorphism(t)=408.881M commit=543 commit(t)=6.5699G commit_sparse=36 commit_sparse(t)=11.813M compute_combiner=11 compute_combiner(t)=8.32169G compute_perturbator=11 compute_perturbator(t)=2.86857G compute_univariate=51 compute_univariate(t)=2.20204G construct_circuits=12 construct_circuits(t)=4.30706G pippenger=215 pippenger(t)=102.025M pippenger_unsafe_optimized_for_non_dyadic_polys=543 pippenger_unsafe_optimized_for_non_dyadic_polys(t)=6.56543G Benchmarking lock deleted. client_ivc_bench.json 100% 6930 190.2KB/s 00:00 function ms % sum construct_circuits(t) 4307 13.35% DeciderProvingKey(Circuit&)(t) 2635 8.17% ProtogalaxyProver::prove(t) 19967 61.90% Decider::construct_proof(t) 1572 4.87% ECCVMProver(CircuitBuilder&)(t) 229 0.71% ECCVMProver::construct_proof(t) 2597 8.05% TranslatorProver::construct_proof(t) 833 2.58% Goblin::merge(t) 117 0.36% Total time accounted for: 32257ms/33216ms = 97.11% Major contributors: function ms % sum commit(t) 6570 20.37% compute_combiner(t) 8322 25.80% compute_perturbator(t) 2869 8.89% compute_univariate(t) 2202 6.83% Breakdown of ProtogalaxyProver::prove: ProtogalaxyProver_::run_oink_prover_on_each_incomplete_key(t) 7662 38.37% ProtogalaxyProver_::perturbator_round(t) 2869 14.37% ProtogalaxyProver_::combiner_quotient_round(t) 8764 43.89% ProtogalaxyProver_::update_target_sum_and_fold(t) 672 3.37% Relation contributions (times to be interpreted relatively): Total time accounted for (ms): 69802 operation ms % sum Arithmetic::accumulate(t) 7328 10.50% Permutation::accumulate(t) 40138 57.50% Lookup::accumulate(t) 3746 5.37% DeltaRange::accumulate(t) 4279 6.13% Elliptic::accumulate(t) 452 0.65% Auxiliary::accumulate(t) 13416 19.22% EccOp::accumulate(t) 0 0.00% DatabusRead::accumulate(t) 2 0.00% PoseidonExt::accumulate(t) 77 0.11% PoseidonInt::accumulate(t) 366 0.52% Commitment contributions: Total time accounted for (ms): 4974 operation ms % sum COMMIT::wires(t) 2234 44.92% COMMIT::z_perm(t) 2316 46.56% COMMIT::databus(t) 9 0.17% COMMIT::ecc_op_wires(t) 38 0.77% COMMIT::lookup_inverses(t) 258 5.18% COMMIT::databus_inverses(t) 12 0.24% COMMIT::lookup_counts_tags(t) 108 2.16% ``` Compared to master, the notable differences are: `DeciderProvingKey(Circuit&)` was at 8043ms and now is 2635ms. `ProtogalaxyProver::prove` was 20953ms and now is 19967ms. Unclear if this is expected or not. `commit` was 7033ms and is now 6570ms.

:robot: I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-package-v0.56.0...aztec-package-v0.57.0) (2024-10-07) ### Features * Consolidate spartan metrics ([#9037](https://github.com/AztecProtocol/aztec-packages/issues/9037)) ([0cff28b](https://github.com/AztecProtocol/aztec-packages/commit/0cff28b7582c0bccde453c86e05af23121011dfe)) * Proposers claim proving rights ([#8832](https://github.com/AztecProtocol/aztec-packages/issues/8832)) ([f8b0802](https://github.com/AztecProtocol/aztec-packages/commit/f8b0802b72d7db864d55ed12939f63670e46d71f)) * Prover escrow and 712-signed quotes ([#8877](https://github.com/AztecProtocol/aztec-packages/issues/8877)) ([2f1d19a](https://github.com/AztecProtocol/aztec-packages/commit/2f1d19ac3baa35800ac941f0941461addad7ab66)) * Prover node sends quotes on new epochs ([#8864](https://github.com/AztecProtocol/aztec-packages/issues/8864)) ([4adf860](https://github.com/AztecProtocol/aztec-packages/commit/4adf8600dab5b7e177b84b6920674024c01b4e25)), closes [#8684](https://github.com/AztecProtocol/aztec-packages/issues/8684) [#8683](https://github.com/AztecProtocol/aztec-packages/issues/8683) * Prover node stakes to escrow contract ([#8975](https://github.com/AztecProtocol/aztec-packages/issues/8975)) ([9eb8815](https://github.com/AztecProtocol/aztec-packages/commit/9eb8815dc00641d6568e952b336e6f7348728054)) ### Bug Fixes * L1 request intervals ([#8997](https://github.com/AztecProtocol/aztec-packages/issues/8997)) ([780fd62](https://github.com/AztecProtocol/aztec-packages/commit/780fd6210d0b1f8fc386135082ef443b449b3cdf)) ### Miscellaneous * Add memoize decorator ([#8976](https://github.com/AztecProtocol/aztec-packages/issues/8976)) ([1d9711b](https://github.com/AztecProtocol/aztec-packages/commit/1d9711b0a145f47bfe6d4d64b6837873e2725d2f)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * Fix the transfer test we run in kind clusters ([#8796](https://github.com/AztecProtocol/aztec-packages/issues/8796)) ([7c42ef0](https://github.com/AztecProtocol/aztec-packages/commit/7c42ef09bfc006c1d9725ac89e315d9a84c430fc)) * Remove mock proof commitment escrow ([#9011](https://github.com/AztecProtocol/aztec-packages/issues/9011)) ([4873c7b](https://github.com/AztecProtocol/aztec-packages/commit/4873c7bc850092e2962fcaf747ec60f19e89ba92)) </details> <details><summary>barretenberg.js: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg.js-v0.56.0...barretenberg.js-v0.57.0) (2024-10-07) ### Features * Add crsPath to BackendOptions ([#8775](https://github.com/AztecProtocol/aztec-packages/issues/8775)) ([78fa676](https://github.com/AztecProtocol/aztec-packages/commit/78fa676eda1c6b35fe843e72347a77f9f6d89fa4)) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) ### Bug Fixes * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * **CI:** Yarn-project publish_npm script ([#8996](https://github.com/AztecProtocol/aztec-packages/issues/8996)) ([dc87b0e](https://github.com/AztecProtocol/aztec-packages/commit/dc87b0e9c33d59924368341f765c7a5fedf420d2)) ### Miscellaneous * Publish bb.js in github action ([#8959](https://github.com/AztecProtocol/aztec-packages/issues/8959)) ([a21ab89](https://github.com/AztecProtocol/aztec-packages/commit/a21ab8915937b3c3f98551fb078c9874f2ed1547)) * Push proof splitting helpers into bb.js ([#8795](https://github.com/AztecProtocol/aztec-packages/issues/8795)) ([951ce6d](https://github.com/AztecProtocol/aztec-packages/commit/951ce6d974504f0453ad2816d10c358d8ef02ce5)) </details> <details><summary>aztec-packages: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/aztec-packages-v0.56.0...aztec-packages-v0.57.0) (2024-10-07) ### ⚠ BREAKING CHANGES * refactor contract interaction pt.1 ([#8938](https://github.com/AztecProtocol/aztec-packages/issues/8938)) * **avm:** remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) * **public:** only deploy/register public_dispatch ([#8988](https://github.com/AztecProtocol/aztec-packages/issues/8988)) * Syncing TypeVariableKind with Kind (https://github.com/noir-lang/noir/pull/6094) * **public:** reroute public calls to dispatch function ([#8972](https://github.com/AztecProtocol/aztec-packages/issues/8972)) * **avm:** make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) * keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) * rename unsafe_rand, misc log unsafe changes ([#8844](https://github.com/AztecProtocol/aztec-packages/issues/8844)) * switch slot derivation to poseidon2 instead of pedersen ([#8801](https://github.com/AztecProtocol/aztec-packages/issues/8801)) * fix storage layout export ([#8880](https://github.com/AztecProtocol/aztec-packages/issues/8880)) * remove SharedMutablePrivateGetter ([#8749](https://github.com/AztecProtocol/aztec-packages/issues/8749)) ### Features * Add CLI command to advance epoch ([#9014](https://github.com/AztecProtocol/aztec-packages/issues/9014)) ([36f6187](https://github.com/AztecProtocol/aztec-packages/commit/36f6187eb8cd9aea804b1404d7b5baf8945133bc)) * Add crsPath to BackendOptions ([#8775](https://github.com/AztecProtocol/aztec-packages/issues/8775)) ([78fa676](https://github.com/AztecProtocol/aztec-packages/commit/78fa676eda1c6b35fe843e72347a77f9f6d89fa4)) * Add support for unlimited width in ACIR ([#8960](https://github.com/AztecProtocol/aztec-packages/issues/8960)) ([3e05e22](https://github.com/AztecProtocol/aztec-packages/commit/3e05e22d8d9fc73c1225570342392dda5661403f)) * Adding CPU / RAM configurations to helm network deployments ([#8786](https://github.com/AztecProtocol/aztec-packages/issues/8786)) ([7790ede](https://github.com/AztecProtocol/aztec-packages/commit/7790ede48933d2f831089be4375fd62081d72d77)) * Allow silencing an unused variable defined via `let` (https://github.com/noir-lang/noir/pull/6149) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **avm:** Integrate public inputs in AVM recursive verifier ([#8846](https://github.com/AztecProtocol/aztec-packages/issues/8846)) ([4354ae0](https://github.com/AztecProtocol/aztec-packages/commit/4354ae030b5b7e365ff0361e88cd74cd95d71e04)), closes [#8714](https://github.com/AztecProtocol/aztec-packages/issues/8714) * **avm:** Simulator relative addr ([#8837](https://github.com/AztecProtocol/aztec-packages/issues/8837)) ([dda528a](https://github.com/AztecProtocol/aztec-packages/commit/dda528a2f1ca1a52ce08f6175b594f6567fc370e)) * **avm:** Skip gas accounting for fake rows ([#8944](https://github.com/AztecProtocol/aztec-packages/issues/8944)) ([818325a](https://github.com/AztecProtocol/aztec-packages/commit/818325ae35ce0260d88e097261d173f4dc326cbe)), closes [#8903](https://github.com/AztecProtocol/aztec-packages/issues/8903) * **aztec-nr/public:** Dispatch function ([#8821](https://github.com/AztecProtocol/aztec-packages/issues/8821)) ([3af2381](https://github.com/AztecProtocol/aztec-packages/commit/3af238177ef273bec36c1faccad80ccc9cfed192)) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Connect the public inputs but not the proof in ivc recursion constraints ([#8973](https://github.com/AztecProtocol/aztec-packages/issues/8973)) ([4f1af9a](https://github.com/AztecProtocol/aztec-packages/commit/4f1af9a0baf9e342d0de41ebd58fed24a0c4f615)) * Consolidate spartan metrics ([#9037](https://github.com/AztecProtocol/aztec-packages/issues/9037)) ([0cff28b](https://github.com/AztecProtocol/aztec-packages/commit/0cff28b7582c0bccde453c86e05af23121011dfe)) * Delivering partial fields via unencrypted logs ([#8725](https://github.com/AztecProtocol/aztec-packages/issues/8725)) ([8a59b17](https://github.com/AztecProtocol/aztec-packages/commit/8a59b176545ba6d0eed434cba50c9d5c745cfd25)) * Detect unconstructed structs (https://github.com/noir-lang/noir/pull/6061) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Documenting note macros ([#9009](https://github.com/AztecProtocol/aztec-packages/issues/9009)) ([623b1dd](https://github.com/AztecProtocol/aztec-packages/commit/623b1dd7130360c2dde5e221fc560e80973daa52)) * Empty block root circuit ([#8805](https://github.com/AztecProtocol/aztec-packages/issues/8805)) ([b5fc91c](https://github.com/AztecProtocol/aztec-packages/commit/b5fc91c305bf0ea8935faa2e754a5d390d4f40a1)) * Enforce limits for each side effect type in AVM ([#8889](https://github.com/AztecProtocol/aztec-packages/issues/8889)) ([57d5cfd](https://github.com/AztecProtocol/aztec-packages/commit/57d5cfd1e6936066a72dad312dfea6032ebd4e72)) * Expose `derived_generators` and `pedersen_commitment_with_separator` from the stdlib (https://github.com/noir-lang/noir/pull/6154) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Faster CIV benching with mocked VKs ([#8843](https://github.com/AztecProtocol/aztec-packages/issues/8843)) ([fad3d6e](https://github.com/AztecProtocol/aztec-packages/commit/fad3d6e41765c774696ecc98d45a27851c7c4442)) * Handle consecutive kernels in IVC ([#8924](https://github.com/AztecProtocol/aztec-packages/issues/8924)) ([0be9f25](https://github.com/AztecProtocol/aztec-packages/commit/0be9f253238cc1453d07385ece565f946d4212a3)) * Handle epoch proofs on L1 ([#8704](https://github.com/AztecProtocol/aztec-packages/issues/8704)) ([730f23c](https://github.com/AztecProtocol/aztec-packages/commit/730f23c4965d5aed266654f9fbad3269542fb186)) * Hoist constant allocation outside of loops (https://github.com/noir-lang/noir/pull/6158) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Inclusive for loop (https://github.com/noir-lang/noir/pull/6200) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Lazy commitment key allocation for better memory ([#9017](https://github.com/AztecProtocol/aztec-packages/issues/9017)) ([527d820](https://github.com/AztecProtocol/aztec-packages/commit/527d820fcadc24105e43b819da1ad9d848b755ca)) * Let `Module::functions` and `Module::structs` return them in definition order (https://github.com/noir-lang/noir/pull/6178) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Make shplemini proof constant ([#8826](https://github.com/AztecProtocol/aztec-packages/issues/8826)) ([c8cbc33](https://github.com/AztecProtocol/aztec-packages/commit/c8cbc3388c2bbe9a0ba8a95717e1b71c602d58e3)) * New Tracy Time preset and more efficient univariate extension ([#8789](https://github.com/AztecProtocol/aztec-packages/issues/8789)) ([ead4649](https://github.com/AztecProtocol/aztec-packages/commit/ead4649b0c21a98534c36e7755edac68052b3c26)) * Note fields in TS artifact ([#8906](https://github.com/AztecProtocol/aztec-packages/issues/8906)) ([7f40411](https://github.com/AztecProtocol/aztec-packages/commit/7f404118af0e81233b4c4b546260ed6fb59c1f3c)) * Nullable note fields info in ABI ([#8901](https://github.com/AztecProtocol/aztec-packages/issues/8901)) ([e0d5e06](https://github.com/AztecProtocol/aztec-packages/commit/e0d5e06d8fc30cbdda7e4102dbf3412808382377)) * Origin Tags part 1 ([#8787](https://github.com/AztecProtocol/aztec-packages/issues/8787)) ([ed1e23e](https://github.com/AztecProtocol/aztec-packages/commit/ed1e23edff04ea026a94ffc22b29b6ef520cdf55)) * Origin Tags Part 2 ([#8936](https://github.com/AztecProtocol/aztec-packages/issues/8936)) ([77c05f5](https://github.com/AztecProtocol/aztec-packages/commit/77c05f5469bad85e1394c05e1878791bac084559)) * Partial note log support in macros ([#8951](https://github.com/AztecProtocol/aztec-packages/issues/8951)) ([f3c1eaa](https://github.com/AztecProtocol/aztec-packages/commit/f3c1eaa8212ef0c8cf41e8fa7d0b41a666143bb4)) * **perf:** Handle array set optimization across blocks for Brillig functions (https://github.com/noir-lang/noir/pull/6153) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **perf:** Optimize array set from get (https://github.com/noir-lang/noir/pull/6207) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **perf:** Remove inc_rc instructions for arrays which are never mutably borrowed (https://github.com/noir-lang/noir/pull/6168) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **perf:** Remove redundant inc rc without instructions between (https://github.com/noir-lang/noir/pull/6183) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **perf:** Remove useless paired RC instructions within a block during DIE (https://github.com/noir-lang/noir/pull/6160) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **perf:** Simplify the cfg after DIE (https://github.com/noir-lang/noir/pull/6184) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Proposers claim proving rights ([#8832](https://github.com/AztecProtocol/aztec-packages/issues/8832)) ([f8b0802](https://github.com/AztecProtocol/aztec-packages/commit/f8b0802b72d7db864d55ed12939f63670e46d71f)) * Prover escrow and 712-signed quotes ([#8877](https://github.com/AztecProtocol/aztec-packages/issues/8877)) ([2f1d19a](https://github.com/AztecProtocol/aztec-packages/commit/2f1d19ac3baa35800ac941f0941461addad7ab66)) * Prover node sends quotes on new epochs ([#8864](https://github.com/AztecProtocol/aztec-packages/issues/8864)) ([4adf860](https://github.com/AztecProtocol/aztec-packages/commit/4adf8600dab5b7e177b84b6920674024c01b4e25)), closes [#8684](https://github.com/AztecProtocol/aztec-packages/issues/8684) [#8683](https://github.com/AztecProtocol/aztec-packages/issues/8683) * Prover node stakes to escrow contract ([#8975](https://github.com/AztecProtocol/aztec-packages/issues/8975)) ([9eb8815](https://github.com/AztecProtocol/aztec-packages/commit/9eb8815dc00641d6568e952b336e6f7348728054)) * Prover node submits epoch proofs ([#8794](https://github.com/AztecProtocol/aztec-packages/issues/8794)) ([1612909](https://github.com/AztecProtocol/aztec-packages/commit/161290925978fdcb6321a7d0b6c5d5b2ca6fd837)) * **public:** Only deploy/register public_dispatch ([#8988](https://github.com/AztecProtocol/aztec-packages/issues/8988)) ([6c30453](https://github.com/AztecProtocol/aztec-packages/commit/6c3045332ea44cf16b04918d321e8dcda28c0adf)) * **public:** Reroute public calls to dispatch function ([#8972](https://github.com/AztecProtocol/aztec-packages/issues/8972)) ([c4297ce](https://github.com/AztecProtocol/aztec-packages/commit/c4297ced66b977eab3ba52707ef45ddea3f19ee4)) * Refactor contract interaction pt.1 ([#8938](https://github.com/AztecProtocol/aztec-packages/issues/8938)) ([62963f9](https://github.com/AztecProtocol/aztec-packages/commit/62963f9cb30fc6e0187e79ad4e7d49653a937b80)) * Refactor SSA passes to run on individual functions (https://github.com/noir-lang/noir/pull/6072) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remote quote provider ([#8946](https://github.com/AztecProtocol/aztec-packages/issues/8946)) ([1c3cb63](https://github.com/AztecProtocol/aztec-packages/commit/1c3cb63c45f5ee6605911ecc0cc2524aef67391c)) * Remove orphaned blocks from cfg to improve `simplify_cfg` pass. (https://github.com/noir-lang/noir/pull/6198) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove SharedMutablePrivateGetter ([#8749](https://github.com/AztecProtocol/aztec-packages/issues/8749)) ([154d396](https://github.com/AztecProtocol/aztec-packages/commit/154d396b5344ef5a032bdfe11858c8f0e69ce2bb)) * Rename unsafe_rand, misc log unsafe changes ([#8844](https://github.com/AztecProtocol/aztec-packages/issues/8844)) ([81a4d74](https://github.com/AztecProtocol/aztec-packages/commit/81a4d74c3200823cdb41125b8c98964dc3fdc1e8)) * Reset circuit variants ([#8876](https://github.com/AztecProtocol/aztec-packages/issues/8876)) ([415d78f](https://github.com/AztecProtocol/aztec-packages/commit/415d78f80ebd65b9a824dfc9958788de426e805a)) * Simplify sha256 implementation (https://github.com/noir-lang/noir/pull/6142) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Skip `remove_enable_side_effects` pass on brillig functions (https://github.com/noir-lang/noir/pull/6199) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Snapshotting for e2e p2p tests ([#8896](https://github.com/AztecProtocol/aztec-packages/issues/8896)) ([ebb86b7](https://github.com/AztecProtocol/aztec-packages/commit/ebb86b7f453315afc3116fbf9aeecca8ff39961c)) * **sol:** Add shplemini transcript ([#8865](https://github.com/AztecProtocol/aztec-packages/issues/8865)) ([089dbad](https://github.com/AztecProtocol/aztec-packages/commit/089dbadd9e9ca304004c38e01d3703d923b257ec)) * **sol:** Shplemini verification ([#8866](https://github.com/AztecProtocol/aztec-packages/issues/8866)) ([989eb08](https://github.com/AztecProtocol/aztec-packages/commit/989eb08256db49e65e2d5e8a91790f941761d08f)) * **ssa:** Simplify signed casts (https://github.com/noir-lang/noir/pull/6166) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Stronger typing in L1 contracts ([#8841](https://github.com/AztecProtocol/aztec-packages/issues/8841)) ([0b5aaea](https://github.com/AztecProtocol/aztec-packages/commit/0b5aaea7f28061abdae77e2de8e6a10c1b887a7e)) * Switch slot derivation to poseidon2 instead of pedersen ([#8801](https://github.com/AztecProtocol/aztec-packages/issues/8801)) ([e3e0b6f](https://github.com/AztecProtocol/aztec-packages/commit/e3e0b6f196afc7fd9c4ed1f5d65cabb634258dcd)) * Sync from aztec-packages (https://github.com/noir-lang/noir/pull/6151) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Sync from aztec-packages (https://github.com/noir-lang/noir/pull/6210) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Syncing TypeVariableKind with Kind (https://github.com/noir-lang/noir/pull/6094) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Trace AVM side effects per enqueued call ([#8918](https://github.com/AztecProtocol/aztec-packages/issues/8918)) ([c1a95db](https://github.com/AztecProtocol/aztec-packages/commit/c1a95db2aa3e692f8fb767b251f18572a8fd81cc)) * Ultra honk on Shplemini ([#8886](https://github.com/AztecProtocol/aztec-packages/issues/8886)) ([d8d04f6](https://github.com/AztecProtocol/aztec-packages/commit/d8d04f6f0b9ca0aa36008dc53dde2562dc3afa63)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) * Visibility for globals (https://github.com/noir-lang/noir/pull/6161) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Visibility for impl functions (https://github.com/noir-lang/noir/pull/6179) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Visibility for modules (https://github.com/noir-lang/noir/pull/6165) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Visibility for type aliases (https://github.com/noir-lang/noir/pull/6058) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) ### Bug Fixes * (LSP) make goto and hover work well for attributes (https://github.com/noir-lang/noir/pull/6152) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Add epoch proof quote to json rpc serialization ([#9013](https://github.com/AztecProtocol/aztec-packages/issues/9013)) ([da2106f](https://github.com/AztecProtocol/aztec-packages/commit/da2106f1d7dab24f4b6e34bcb7c884e61e1e98c0)) * Add missing visibility for auto-import names (https://github.com/noir-lang/noir/pull/6205) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Add persistent storage for aztec nodes in the spartan cluster ([#8923](https://github.com/AztecProtocol/aztec-packages/issues/8923)) ([23786be](https://github.com/AztecProtocol/aztec-packages/commit/23786be68cdb6f35b6919cde5af57ab70f9741ad)) * Add values file as an arg to the earthly command ([#8857](https://github.com/AztecProtocol/aztec-packages/issues/8857)) ([3c15da3](https://github.com/AztecProtocol/aztec-packages/commit/3c15da3132b6605cf0ad451b79ac3e688e18d938)) * Archiver getBlocksForEpoch and EpochProvingJob on block 1 ([#9016](https://github.com/AztecProtocol/aztec-packages/issues/9016)) ([9669db0](https://github.com/AztecProtocol/aztec-packages/commit/9669db07392b9feeca2789aca181aec58dddcfec)) * Arm build ([#8870](https://github.com/AztecProtocol/aztec-packages/issues/8870)) ([e4c5be8](https://github.com/AztecProtocol/aztec-packages/commit/e4c5be890049a897a3b1dddc95ed910b847f16b7)) * Assign one_idx in the same place as zero_idx in `UltraCircuitBuilder` ([#9029](https://github.com/AztecProtocol/aztec-packages/issues/9029)) ([fe11d9a](https://github.com/AztecProtocol/aztec-packages/commit/fe11d9a3a1b96454999ae627c902d8b362805172)) * Attestation pool ([#8854](https://github.com/AztecProtocol/aztec-packages/issues/8854)) ([ffbad35](https://github.com/AztecProtocol/aztec-packages/commit/ffbad355381f9db85a8dbb339af1b190e0ced3aa)) * Attestations are requested based on their proposal not just slot ([#8442](https://github.com/AztecProtocol/aztec-packages/issues/8442)) ([08d8578](https://github.com/AztecProtocol/aztec-packages/commit/08d8578d3f36a809fa415ab745f65e61ba575be1)) * **avm:** CALL operand resolution ([#9018](https://github.com/AztecProtocol/aztec-packages/issues/9018)) ([7f2e29f](https://github.com/AztecProtocol/aztec-packages/commit/7f2e29fd0042d7644e629dfe660533c681bf71a8)) * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * **avm:** MSM not including enough operands ([#9004](https://github.com/AztecProtocol/aztec-packages/issues/9004)) ([830c6ab](https://github.com/AztecProtocol/aztec-packages/commit/830c6ab464d3e2ccd36d010072b89cb0b4ebdb16)) * Bb.js acir tests ([#8862](https://github.com/AztecProtocol/aztec-packages/issues/8862)) ([d8d0541](https://github.com/AztecProtocol/aztec-packages/commit/d8d0541bde1d98d6b7ae3c3bb2a38068383f802b)) * Bug in slot to timestamp conversion ([#8839](https://github.com/AztecProtocol/aztec-packages/issues/8839)) ([d9baebe](https://github.com/AztecProtocol/aztec-packages/commit/d9baebe9cf343bc47da5b99abc17cef2f76d875f)) * Call generate-variants on noir-projects bootstrap fast ([#8956](https://github.com/AztecProtocol/aztec-packages/issues/8956)) ([2570b59](https://github.com/AztecProtocol/aztec-packages/commit/2570b59aee921a23841e135bde9b85fd67b442e6)) * **ci:** Do not post public functions report when empty ([#8790](https://github.com/AztecProtocol/aztec-packages/issues/8790)) ([507710f](https://github.com/AztecProtocol/aztec-packages/commit/507710f3a77e0277b1c17ed7341715bc023f8c5d)) * Circleci ([#9056](https://github.com/AztecProtocol/aztec-packages/issues/9056)) ([5c77c4f](https://github.com/AztecProtocol/aztec-packages/commit/5c77c4f63b2d69c5e28feade2056facafe859e03)) * **CI:** Yarn-project publish_npm script ([#8996](https://github.com/AztecProtocol/aztec-packages/issues/8996)) ([dc87b0e](https://github.com/AztecProtocol/aztec-packages/commit/dc87b0e9c33d59924368341f765c7a5fedf420d2)) * Databus panic for fns with empty params ([#8847](https://github.com/AztecProtocol/aztec-packages/issues/8847)) ([6a13290](https://github.com/AztecProtocol/aztec-packages/commit/6a132906ec8653cec7f30af2e008c8881d42db46)) * Disable flakey test ([#8927](https://github.com/AztecProtocol/aztec-packages/issues/8927)) ([151bb79](https://github.com/AztecProtocol/aztec-packages/commit/151bb79add3dfff059ccadee7c0bc25cc9059440)) * Do not assume blocks as proven in e2e-prover tests ([#8848](https://github.com/AztecProtocol/aztec-packages/issues/8848)) ([2d5ae66](https://github.com/AztecProtocol/aztec-packages/commit/2d5ae664964b66c4b617965fe85488e95706a8d3)) * Do not duplicate constant arrays in brillig (https://github.com/noir-lang/noir/pull/6155) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Do not start block root rollup proof before block is built ([#8952](https://github.com/AztecProtocol/aztec-packages/issues/8952)) ([af1a6af](https://github.com/AztecProtocol/aztec-packages/commit/af1a6af29cc9af8c24df964bcfde83b4064db7ac)) * **docs:** Rename recursion.md to recursion.mdx (https://github.com/noir-lang/noir/pull/6195) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **docs:** Update private_voting_contract.md ([#9010](https://github.com/AztecProtocol/aztec-packages/issues/9010)) ([86afa81](https://github.com/AztecProtocol/aztec-packages/commit/86afa81d744bcf0c3ffd732663a24234b26e8aa8)) * Don't warn twice when referring to private item (https://github.com/noir-lang/noir/pull/6216) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Earthly-local ([#8915](https://github.com/AztecProtocol/aztec-packages/issues/8915)) ([9b3da97](https://github.com/AztecProtocol/aztec-packages/commit/9b3da97668209b89af4a04343ccc5f4b512c4127)) * Earthly-script output ([#8871](https://github.com/AztecProtocol/aztec-packages/issues/8871)) ([a02370c](https://github.com/AztecProtocol/aztec-packages/commit/a02370c1738c70ea8c6300c43a396f310cd2e017)) * Ensure to_bytes returns the canonical decomposition (https://github.com/noir-lang/noir/pull/6084) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * **external PR, twt--:** Remove quotes $artifacts_to_transpile in the for loop list of compile_then_transpile.sh ([#8932](https://github.com/AztecProtocol/aztec-packages/issues/8932)) ([95cb977](https://github.com/AztecProtocol/aztec-packages/commit/95cb97755e7efa549930c47e2eb6f9fb5ba4020f)) * **external PR, twt--:** Un-nest docker compose variable substitution in sandbox config ([#8930](https://github.com/AztecProtocol/aztec-packages/issues/8930)) ([12b8526](https://github.com/AztecProtocol/aztec-packages/commit/12b852683334f74683f69d1114e7d8562a289d39)) * **external PR, twt--:** Update .aztec-run to run in non-interactive mode if NON_INTERACTIVE is set to non-zero ([#8931](https://github.com/AztecProtocol/aztec-packages/issues/8931)) ([d85a66d](https://github.com/AztecProtocol/aztec-packages/commit/d85a66d4b0a610a3704a7f7f83dead507af6b586)) * Fix storage layout export ([#8880](https://github.com/AztecProtocol/aztec-packages/issues/8880)) ([c8f43b3](https://github.com/AztecProtocol/aztec-packages/commit/c8f43b3b3ea37c015a284868a06bebc1422bb34b)) * Flaky e2e sample dapp and quick start ([#8768](https://github.com/AztecProtocol/aztec-packages/issues/8768)) ([48914ba](https://github.com/AztecProtocol/aztec-packages/commit/48914ba71039f18d7cea9fca65997c2a6e263b25)) * Handle more types in size_in_fields, and panic on unexpected type ([#8887](https://github.com/AztecProtocol/aztec-packages/issues/8887)) ([03280e9](https://github.com/AztecProtocol/aztec-packages/commit/03280e9d78eaf395bb3f3c514c794bd0fa0af240)) * Ignore compression of blocks after msg.len in sha256_var (https://github.com/noir-lang/noir/pull/6206) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * L1 request intervals ([#8997](https://github.com/AztecProtocol/aztec-packages/issues/8997)) ([780fd62](https://github.com/AztecProtocol/aztec-packages/commit/780fd6210d0b1f8fc386135082ef443b449b3cdf)) * Nightly-kind-test.yml ([#8899](https://github.com/AztecProtocol/aztec-packages/issues/8899)) ([2bb9ca6](https://github.com/AztecProtocol/aztec-packages/commit/2bb9ca6f4ef43e2e405934c748831dc5e81a58c8)) * Pass radix directly to the blackbox (https://github.com/noir-lang/noir/pull/6164) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * **public:** Stack trace short term hack ([#9024](https://github.com/AztecProtocol/aztec-packages/issues/9024)) ([f2ea42c](https://github.com/AztecProtocol/aztec-packages/commit/f2ea42cbdb1a1f57f407874f8598129886c88494)) * Reenable CI reruns on master ([#8907](https://github.com/AztecProtocol/aztec-packages/issues/8907)) ([124307d](https://github.com/AztecProtocol/aztec-packages/commit/124307df3b8252913bcafed897050e2dbb00c331)) * Remove extra `crate::` ([#8909](https://github.com/AztecProtocol/aztec-packages/issues/8909)) ([fd0e945](https://github.com/AztecProtocol/aztec-packages/commit/fd0e9455ac667366f060a3b9d955b075adb8c5da)) * Rerun.yml ([#8913](https://github.com/AztecProtocol/aztec-packages/issues/8913)) ([b363738](https://github.com/AztecProtocol/aztec-packages/commit/b363738bfa040a8381b754bdf6a8754280532ea2)) * Setup publish action ([#8992](https://github.com/AztecProtocol/aztec-packages/issues/8992)) ([65f7e9f](https://github.com/AztecProtocol/aztec-packages/commit/65f7e9f84c28e49cbf2eff29a0b6090974509145)) * Spartan kubernetes cluster IaC ([#8893](https://github.com/AztecProtocol/aztec-packages/issues/8893)) ([7f5ff5e](https://github.com/AztecProtocol/aztec-packages/commit/7f5ff5e629f708a73a9d78f45c8fa195c6fca6dd)) * Specify correct env var in prover node helm ([#8916](https://github.com/AztecProtocol/aztec-packages/issues/8916)) ([6e855a4](https://github.com/AztecProtocol/aztec-packages/commit/6e855a47f900a207fdb015d322d5e4e61116df15)) * **ssa:** Check if result of array set is used in value of another array set (https://github.com/noir-lang/noir/pull/6197) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Temporarily disable problematic test ([#9051](https://github.com/AztecProtocol/aztec-packages/issues/9051)) ([7ee7f55](https://github.com/AztecProtocol/aztec-packages/commit/7ee7f55b23982f44b9c86b622eacc7ed820900c5)) * Type variables by default should have Any kind (https://github.com/noir-lang/noir/pull/6203) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Use different rust toolchain for foundry builds ([#8869](https://github.com/AztecProtocol/aztec-packages/issues/8869)) ([096a0b2](https://github.com/AztecProtocol/aztec-packages/commit/096a0b265f25c843cb7268c0dff25848ae0dabb9)) * Use properly sized p2p id ([#9040](https://github.com/AztecProtocol/aztec-packages/issues/9040)) ([9fe7436](https://github.com/AztecProtocol/aztec-packages/commit/9fe74367d05d3d6fc9006ed4341a39cbe1327c54)) * Use tree calculator in world state synchronizer ([#8902](https://github.com/AztecProtocol/aztec-packages/issues/8902)) ([2fd4be9](https://github.com/AztecProtocol/aztec-packages/commit/2fd4be918dd6be82c140250bb5b2479e201813b4)) ### Miscellaneous * Add comments to log oracles ([#8981](https://github.com/AztecProtocol/aztec-packages/issues/8981)) ([8efa7ac](https://github.com/AztecProtocol/aztec-packages/commit/8efa7ac9d30d84f76e61b5915e25d6b4619d46a9)) * Add memoize decorator ([#8976](https://github.com/AztecProtocol/aztec-packages/issues/8976)) ([1d9711b](https://github.com/AztecProtocol/aztec-packages/commit/1d9711b0a145f47bfe6d4d64b6837873e2725d2f)) * Archiver identifies prune ([#8666](https://github.com/AztecProtocol/aztec-packages/issues/8666)) ([4cf0f70](https://github.com/AztecProtocol/aztec-packages/commit/4cf0f70681d05e258bcc368e4f6b0880ab86dbe4)) * Autumn cleaning ([#8818](https://github.com/AztecProtocol/aztec-packages/issues/8818)) ([c1a9c6b](https://github.com/AztecProtocol/aztec-packages/commit/c1a9c6b05c1825a1d6276eaa398de4497b76f76f)) * **avm:** Make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) ([39b9e78](https://github.com/AztecProtocol/aztec-packages/commit/39b9e78d008b0a3d8be89f4bc6837ac4e3c28b4f)) * **avm:** Remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) ([ec9dfdf](https://github.com/AztecProtocol/aztec-packages/commit/ec9dfdf9ba36d9bb2e3829a8cdd5b0ed94cbc3fb)) * **avm:** Remove mem accounting from gas ([#8904](https://github.com/AztecProtocol/aztec-packages/issues/8904)) ([38b485e](https://github.com/AztecProtocol/aztec-packages/commit/38b485e4e8bf75453491d41a590f92afa25d4831)) * **bb.js:** Strip wasm-threads again ([#8833](https://github.com/AztecProtocol/aztec-packages/issues/8833)) ([68ba5d4](https://github.com/AztecProtocol/aztec-packages/commit/68ba5d443a79c06d972019abe39faaf851bb3247)) * Big synching case + stability ([#9022](https://github.com/AztecProtocol/aztec-packages/issues/9022)) ([931c59b](https://github.com/AztecProtocol/aztec-packages/commit/931c59b639577e755ccff0f9c9b9e2a3c88f558c)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * **ci:** Another earthly corruption retry case ([#8799](https://github.com/AztecProtocol/aztec-packages/issues/8799)) ([c78b2cb](https://github.com/AztecProtocol/aztec-packages/commit/c78b2cb8d1d70c946a8ebeeed6c6618e98f9f542)) * **ci:** Finally isolate bb-native-tests ([#9039](https://github.com/AztecProtocol/aztec-packages/issues/9039)) ([9c9c385](https://github.com/AztecProtocol/aztec-packages/commit/9c9c385b2d8d3d8284d981a7393500a04fd78d38)) * **ci:** Increase timeout for ARM build ([#9041](https://github.com/AztecProtocol/aztec-packages/issues/9041)) ([c505b02](https://github.com/AztecProtocol/aztec-packages/commit/c505b02d10cdf52230b5af0e3c88642a8a3316e8)) * **ci:** Turn on S3 caching for all PRs ([#8898](https://github.com/AztecProtocol/aztec-packages/issues/8898)) ([c68a5ef](https://github.com/AztecProtocol/aztec-packages/commit/c68a5eff1f438860f2aa85d59c48ba9f85fc3d0d)) * **ci:** Update gates diff action to not post Brillig sizes report with no changes (https://github.com/noir-lang/noir/pull/6157) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Cleanup of `Aztec.nr` encryption code ([#8780](https://github.com/AztecProtocol/aztec-packages/issues/8780)) ([0bfcbba](https://github.com/AztecProtocol/aztec-packages/commit/0bfcbbaa74ae8a80d9586bd5049ec9fbe0480a7d)) * Delay proof quote collection ([#8967](https://github.com/AztecProtocol/aztec-packages/issues/8967)) ([640b661](https://github.com/AztecProtocol/aztec-packages/commit/640b66103eb111b5f2c5a4245a66559f9f5e0f84)) * **deploy:** Use docker run instead of helm test, metrics dashboard scripts ([#8926](https://github.com/AztecProtocol/aztec-packages/issues/8926)) ([797d0ca](https://github.com/AztecProtocol/aztec-packages/commit/797d0ca4abb396b6325a8159ca3be248c16c6b97)) * Deprecate various items in stdlib (https://github.com/noir-lang/noir/pull/6156) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Disable block building e2e ([#8895](https://github.com/AztecProtocol/aztec-packages/issues/8895)) ([ada6220](https://github.com/AztecProtocol/aztec-packages/commit/ada62205b127c61c2ca81ee74310d089ec560ccb)) * Disable e2e-fees-failure ([#8784](https://github.com/AztecProtocol/aztec-packages/issues/8784)) ([10b87d1](https://github.com/AztecProtocol/aztec-packages/commit/10b87d109e0b02f0b879df91456ffdc95d9a5fe6)) * Do not start prover node in e2e tests if not needed ([#9008](https://github.com/AztecProtocol/aztec-packages/issues/9008)) ([a2d3f8a](https://github.com/AztecProtocol/aztec-packages/commit/a2d3f8a2bf559b7a024e181a61ed3c1bbc6ff02b)) * **docs:** Add link to more info about proving backend to Solidity verifier page (https://github.com/noir-lang/noir/pull/5754) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Enable tests on aztec-nr and contracts (https://github.com/noir-lang/noir/pull/6162) ([6bd5b7e](https://github.com/AztecProtocol/aztec-packages/commit/6bd5b7e2491ed0b20f1ba1cf8f1b6b7504cca085)) * Event encryption funcs working as note ones ([#8819](https://github.com/AztecProtocol/aztec-packages/issues/8819)) ([77636f0](https://github.com/AztecProtocol/aztec-packages/commit/77636f053526a8690016f9a47b5a3f625aff5fcf)) * Final partial notes related cleanup ([#8987](https://github.com/AztecProtocol/aztec-packages/issues/8987)) ([880c45f](https://github.com/AztecProtocol/aztec-packages/commit/880c45f4a73e54c60ba8d887ae5f3515e6efd5ad)), closes [#8238](https://github.com/AztecProtocol/aztec-packages/issues/8238) * Fix flakey e2e fees failures test ([#8807](https://github.com/AztecProtocol/aztec-packages/issues/8807)) ([99bac95](https://github.com/AztecProtocol/aztec-packages/commit/99bac950f3c057ee1c25ea61fa6fe4834b348e24)) * Fix some more imports ([#8804](https://github.com/AztecProtocol/aztec-packages/issues/8804)) ([ffe70ec](https://github.com/AztecProtocol/aztec-packages/commit/ffe70ecac593a4b9e2cbb61bc9db4a280c6d917e)) * Fix the transfer test we run in kind clusters ([#8796](https://github.com/AztecProtocol/aztec-packages/issues/8796)) ([7c42ef0](https://github.com/AztecProtocol/aztec-packages/commit/7c42ef09bfc006c1d9725ac89e315d9a84c430fc)) * Fix typo in code snippet (https://github.com/noir-lang/noir/pull/6211) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Have prover-node self-mint L1 fee juice ([#9007](https://github.com/AztecProtocol/aztec-packages/issues/9007)) ([9f1e73a](https://github.com/AztecProtocol/aztec-packages/commit/9f1e73a3a1b746678215f04ea3f5496d6e90be97)) * Increase timeout of AVM full tests job to 75 minutes ([#8883](https://github.com/AztecProtocol/aztec-packages/issues/8883)) ([b70a728](https://github.com/AztecProtocol/aztec-packages/commit/b70a728a8adee13a6b572bb2594d933498bfb70c)) * Keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ([670af8a](https://github.com/AztecProtocol/aztec-packages/commit/670af8a158633d106a3f1df82dbd28ef9a9e4ceb)) * Minor archiver refactor ([#8715](https://github.com/AztecProtocol/aztec-packages/issues/8715)) ([b0d1bab](https://github.com/AztecProtocol/aztec-packages/commit/b0d1bab1f02819e7efbe0db73c3c805b5927b66a)) * Misc unsafe improvements ([#8803](https://github.com/AztecProtocol/aztec-packages/issues/8803)) ([cfe907c](https://github.com/AztecProtocol/aztec-packages/commit/cfe907cc3279a138c8db97b19f359740e0470f9b)) * Move governance out of core ([#8823](https://github.com/AztecProtocol/aztec-packages/issues/8823)) ([7411acc](https://github.com/AztecProtocol/aztec-packages/commit/7411acc0f79c4100d0311555bbcf6bacd072024f)) * Nuking `encode_and_encrypt_note(...)` ([#8815](https://github.com/AztecProtocol/aztec-packages/issues/8815)) ([2da9695](https://github.com/AztecProtocol/aztec-packages/commit/2da9695224e799abe317069af443f0b55ef2e007)) * Nuking `log_traits.nr` ([#8797](https://github.com/AztecProtocol/aztec-packages/issues/8797)) ([5d4accf](https://github.com/AztecProtocol/aztec-packages/commit/5d4accf47cdcd5e760616689c859a4d99824b530)) * Nuking encryption oracles ([#8817](https://github.com/AztecProtocol/aztec-packages/issues/8817)) ([8c98757](https://github.com/AztecProtocol/aztec-packages/commit/8c9875712e0b935947e753836148026fad7508fa)) * Nuking L2Block.fromFields ([#8882](https://github.com/AztecProtocol/aztec-packages/issues/8882)) ([b6551a9](https://github.com/AztecProtocol/aztec-packages/commit/b6551a96cabfb9c511fc60bb9aca2fe57afe7237)) * Optimise l1 to l2 message fetching ([#8672](https://github.com/AztecProtocol/aztec-packages/issues/8672)) ([7b1fb45](https://github.com/AztecProtocol/aztec-packages/commit/7b1fb457023fc60f55d6f9b91f513138082d98bd)) * Partial notes macros ([#8993](https://github.com/AztecProtocol/aztec-packages/issues/8993)) ([567e9a8](https://github.com/AztecProtocol/aztec-packages/commit/567e9a8ecc3666dc5140c3868b21f7a856a34f68)) * Protogalaxy only instantiated with Mega ([#8949](https://github.com/AztecProtocol/aztec-packages/issues/8949)) ([b8d87f1](https://github.com/AztecProtocol/aztec-packages/commit/b8d87f12224ac7e1c4e0bf0e353ddc902bf82fd4)) * Prove_then_verify_ultra_honk on all existing acir tests ([#9042](https://github.com/AztecProtocol/aztec-packages/issues/9042)) ([62f6b8a](https://github.com/AztecProtocol/aztec-packages/commit/62f6b8aeb92bfb266a0df647a0dd33cfdb021f5f)) * Publish bb.js in github action ([#8959](https://github.com/AztecProtocol/aztec-packages/issues/8959)) ([a21ab89](https://github.com/AztecProtocol/aztec-packages/commit/a21ab8915937b3c3f98551fb078c9874f2ed1547)) * Push proof splitting helpers into bb.js ([#8795](https://github.com/AztecProtocol/aztec-packages/issues/8795)) ([951ce6d](https://github.com/AztecProtocol/aztec-packages/commit/951ce6d974504f0453ad2816d10c358d8ef02ce5)) * Rebuild fixtures ([#8995](https://github.com/AztecProtocol/aztec-packages/issues/8995)) ([96b6cfc](https://github.com/AztecProtocol/aztec-packages/commit/96b6cfcc084da7a3012d2125daa067a33edfed16)) * Redo typo PR by bravesasha ([#9003](https://github.com/AztecProtocol/aztec-packages/issues/9003)) ([b516d3a](https://github.com/AztecProtocol/aztec-packages/commit/b516d3a07c53f431a0554657780343a25715409a)) * Redo typo PR by sfyll ([#9002](https://github.com/AztecProtocol/aztec-packages/issues/9002)) ([c970ced](https://github.com/AztecProtocol/aztec-packages/commit/c970ced462fff400afbbcafdcd9cb795891de339)) * Redo typo PR by skaunov ([#8933](https://github.com/AztecProtocol/aztec-packages/issues/8933)) ([7ef1643](https://github.com/AztecProtocol/aztec-packages/commit/7ef1643218356d22d09601269f346927694e22d7)) * Reduce number of gates in stdlib/sha256 hash function ([#8905](https://github.com/AztecProtocol/aztec-packages/issues/8905)) ([dd3a27e](https://github.com/AztecProtocol/aztec-packages/commit/dd3a27e5dc66fc47c34c077ca8124efe6fbea900)) * Reexport `CrateName` through `nargo` (https://github.com/noir-lang/noir/pull/6177) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * **refactor:** Array set optimization context struct for analysis (https://github.com/noir-lang/noir/pull/6204) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Release from Github Actions ([#8820](https://github.com/AztecProtocol/aztec-packages/issues/8820)) ([0354706](https://github.com/AztecProtocol/aztec-packages/commit/03547062bf79f1940275393d6e9080e92f83a768)) * Release Noir(0.35.0) (https://github.com/noir-lang/noir/pull/6030) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove `DefCollectorErrorKind::MacroError` (https://github.com/noir-lang/noir/pull/6174) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Remove copy from `compute_row_evaluations` ([#8875](https://github.com/AztecProtocol/aztec-packages/issues/8875)) ([9cd450e](https://github.com/AztecProtocol/aztec-packages/commit/9cd450e79870e00fb7c4c574a1e7f55de2e7b8ff)) * Remove macros_api module (https://github.com/noir-lang/noir/pull/6190) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Remove mock proof commitment escrow ([#9011](https://github.com/AztecProtocol/aztec-packages/issues/9011)) ([4873c7b](https://github.com/AztecProtocol/aztec-packages/commit/4873c7bc850092e2962fcaf747ec60f19e89ba92)) * Remove single block proving ([#8856](https://github.com/AztecProtocol/aztec-packages/issues/8856)) ([aadd9d5](https://github.com/AztecProtocol/aztec-packages/commit/aadd9d5029ace4097a7af51fdfcb5437737b28c5)) * Remove unused header in public executor ([#8990](https://github.com/AztecProtocol/aztec-packages/issues/8990)) ([8e35125](https://github.com/AztecProtocol/aztec-packages/commit/8e35125e45c8e882b388f70bc4c30208a9fbb866)) * Remove unused import ([#8835](https://github.com/AztecProtocol/aztec-packages/issues/8835)) ([dbf2c13](https://github.com/AztecProtocol/aztec-packages/commit/dbf2c13bdbfbe2957eb8a6e2716d9feab6e0ea6d)) * Remove unused methods and small state cleanup ([#8968](https://github.com/AztecProtocol/aztec-packages/issues/8968)) ([9b66a3e](https://github.com/AztecProtocol/aztec-packages/commit/9b66a3e3d1a38b31cdad29f9fd9aee05738b066c)) * Removing hack commitment from eccvm ([#8825](https://github.com/AztecProtocol/aztec-packages/issues/8825)) ([5e4cfa7](https://github.com/AztecProtocol/aztec-packages/commit/5e4cfa7b0159f66e59365f14c02fe8bbf4a73935)) * Rename `DefinitionKind::GenericType` (https://github.com/noir-lang/noir/pull/6182) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Replace relative paths to noir-protocol-circuits ([e062c5b](https://github.com/AztecProtocol/aztec-packages/commit/e062c5be333f6429e19fba92a8e97ba498936ab2)) * Replace relative paths to noir-protocol-circuits ([a0ce8cc](https://github.com/AztecProtocol/aztec-packages/commit/a0ce8cc923c3f7e431781990c5f3119777370254)) * Replace relative paths to noir-protocol-circuits ([240f408](https://github.com/AztecProtocol/aztec-packages/commit/240f408750da2ff6d8cb8095872d1869c78cc377)) * Replace relative paths to noir-protocol-circuits ([4589b79](https://github.com/AztecProtocol/aztec-packages/commit/4589b79b57711e015bbd0fb98e998048b04b3b63)) * Replace relative paths to noir-protocol-circuits ([42d4dde](https://github.com/AztecProtocol/aztec-packages/commit/42d4dde927a4ca9da556cdd7efd5d21d7900c70e)) * Replace relative paths to noir-protocol-circuits ([8cd9eee](https://github.com/AztecProtocol/aztec-packages/commit/8cd9eee5e72a1444170113ae5248c8334560c9d8)) * Replace relative paths to noir-protocol-circuits ([a79bbdd](https://github.com/AztecProtocol/aztec-packages/commit/a79bbdd9fef9f13d084fc875f520629439ba2407)) * Replace relative paths to noir-protocol-circuits ([fd693fe](https://github.com/AztecProtocol/aztec-packages/commit/fd693fee62486ff698e78cc6bb82aa11c2fa38af)) * Replace relative paths to noir-protocol-circuits ([c93bb8f](https://github.com/AztecProtocol/aztec-packages/commit/c93bb8f9ad1cc7f17d66ca9ff7298bb6d8ab6d44)) * Revert "feat: partial notes log encoding ([#8538](https://github.com/AztecProtocol/aztec-packages/issues/8538))" ([#8712](https://github.com/AztecProtocol/aztec-packages/issues/8712)) ([ef1a41e](https://github.com/AztecProtocol/aztec-packages/commit/ef1a41eb838b7bdb108b0218a5e51929bfcf8acc)) * Revert "fix: assign one_idx in the same place as zero_idx in `UltraCircuitBuilder`" ([#9049](https://github.com/AztecProtocol/aztec-packages/issues/9049)) ([ebb6a2d](https://github.com/AztecProtocol/aztec-packages/commit/ebb6a2da62c9d99f448b0da9cf1d14fd64a59b9f)) * Revert mistaken stack size change (https://github.com/noir-lang/noir/pull/6212) ([0d5b116](https://github.com/AztecProtocol/aztec-packages/commit/0d5b116bf988a018cf9da4fed36c283b254a9a2b)) * Set assume proven in e2e ([#8830](https://github.com/AztecProtocol/aztec-packages/issues/8830)) ([f4453ce](https://github.com/AztecProtocol/aztec-packages/commit/f4453cec8a4e8060950c35d26cb09330c03ec08c)) * Shared mutable slots use poseidon2 with separator ([#8919](https://github.com/AztecProtocol/aztec-packages/issues/8919)) ([36431d7](https://github.com/AztecProtocol/aztec-packages/commit/36431d78a811294856f011dbf37ac3b36bcdc3c2)) * Small cleanup ([#8965](https://github.com/AztecProtocol/aztec-packages/issues/8965)) ([8031ef4](https://github.com/AztecProtocol/aztec-packages/commit/8031ef45fc02f8897336729e7c41925ecae7c2e2)) * Spartan kubernetes documentation ([#9012](https://github.com/AztecProtocol/aztec-packages/issues/9012)) ([75efafc](https://github.com/AztecProtocol/aztec-packages/commit/75efafc9ff25c2ce2480547c97dc59fb87a168a5)) * Split `test_program`s into modules (https://github.com/noir-lang/noir/pull/6101) ([2e6340b](https://github.com/AztecProtocol/aztec-packages/commit/2e6340b09b46052d64bd2be239b0d512f59cdfb7)) * Untangled TS encryption functionality ([#8827](https://github.com/AztecProtocol/aztec-packages/issues/8827)) ([048a848](https://github.com/AztecProtocol/aztec-packages/commit/048a8480ea81d669f730cc604b5b85b2a3c84325)) * Update migration notes with version # ([#9045](https://github.com/AztecProtocol/aztec-packages/issues/9045)) ([02a0bc1](https://github.com/AztecProtocol/aztec-packages/commit/02a0bc1449202a7dbe9ad5d6fea7b6e1a4025e4f)) * Use Noir implementation of pedersen in public (uses MSM instead of pedersen BBs) ([#8798](https://github.com/AztecProtocol/aztec-packages/issues/8798)) ([02821d0](https://github.com/AztecProtocol/aztec-packages/commit/02821d0fb3000537aa8001a00d93c74af3003cc2)) * Use require(predicate, custom_error) ([#8859](https://github.com/AztecProtocol/aztec-packages/issues/8859)) ([84e5e0c](https://github.com/AztecProtocol/aztec-packages/commit/84e5e0ccda7766d205803ca35e0a307a262a96b5)) </details> <details><summary>barretenberg: 0.57.0</summary> ## [0.57.0](https://github.com/AztecProtocol/aztec-packages/compare/barretenberg-v0.56.0...barretenberg-v0.57.0) (2024-10-07) ### ⚠ BREAKING CHANGES * **avm:** remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) * **avm:** make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) * keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ### Features * Add support for unlimited width in ACIR ([#8960](https://github.com/AztecProtocol/aztec-packages/issues/8960)) ([3e05e22](https://github.com/AztecProtocol/aztec-packages/commit/3e05e22d8d9fc73c1225570342392dda5661403f)) * **avm:** Integrate public inputs in AVM recursive verifier ([#8846](https://github.com/AztecProtocol/aztec-packages/issues/8846)) ([4354ae0](https://github.com/AztecProtocol/aztec-packages/commit/4354ae030b5b7e365ff0361e88cd74cd95d71e04)), closes [#8714](https://github.com/AztecProtocol/aztec-packages/issues/8714) * **avm:** Skip gas accounting for fake rows ([#8944](https://github.com/AztecProtocol/aztec-packages/issues/8944)) ([818325a](https://github.com/AztecProtocol/aztec-packages/commit/818325ae35ce0260d88e097261d173f4dc326cbe)), closes [#8903](https://github.com/AztecProtocol/aztec-packages/issues/8903) * CI/local S3 build cache ([#8802](https://github.com/AztecProtocol/aztec-packages/issues/8802)) ([06be26e](https://github.com/AztecProtocol/aztec-packages/commit/06be26e2b5dfd4b1fa35f57231e15ebffbe410a7)) * Connect the public inputs but not the proof in ivc recursion constraints ([#8973](https://github.com/AztecProtocol/aztec-packages/issues/8973)) ([4f1af9a](https://github.com/AztecProtocol/aztec-packages/commit/4f1af9a0baf9e342d0de41ebd58fed24a0c4f615)) * Faster CIV benching with mocked VKs ([#8843](https://github.com/AztecProtocol/aztec-packages/issues/8843)) ([fad3d6e](https://github.com/AztecProtocol/aztec-packages/commit/fad3d6e41765c774696ecc98d45a27851c7c4442)) * Handle consecutive kernels in IVC ([#8924](https://github.com/AztecProtocol/aztec-packages/issues/8924)) ([0be9f25](https://github.com/AztecProtocol/aztec-packages/commit/0be9f253238cc1453d07385ece565f946d4212a3)) * Lazy commitment key allocation for better memory ([#9017](https://github.com/AztecProtocol/aztec-packages/issues/9017)) ([527d820](https://github.com/AztecProtocol/aztec-packages/commit/527d820fcadc24105e43b819da1ad9d848b755ca)) * Make shplemini proof constant ([#8826](https://github.com/AztecProtocol/aztec-packages/issues/8826)) ([c8cbc33](https://github.com/AztecProtocol/aztec-packages/commit/c8cbc3388c2bbe9a0ba8a95717e1b71c602d58e3)) * New Tracy Time preset and more efficient univariate extension ([#8789](https://github.com/AztecProtocol/aztec-packages/issues/8789)) ([ead4649](https://github.com/AztecProtocol/aztec-packages/commit/ead4649b0c21a98534c36e7755edac68052b3c26)) * Origin Tags part 1 ([#8787](https://github.com/AztecProtocol/aztec-packages/issues/8787)) ([ed1e23e](https://github.com/AztecProtocol/aztec-packages/commit/ed1e23edff04ea026a94ffc22b29b6ef520cdf55)) * Origin Tags Part 2 ([#8936](https://github.com/AztecProtocol/aztec-packages/issues/8936)) ([77c05f5](https://github.com/AztecProtocol/aztec-packages/commit/77c05f5469bad85e1394c05e1878791bac084559)) * **sol:** Add shplemini transcript ([#8865](https://github.com/AztecProtocol/aztec-packages/issues/8865)) ([089dbad](https://github.com/AztecProtocol/aztec-packages/commit/089dbadd9e9ca304004c38e01d3703d923b257ec)) * **sol:** Shplemini verification ([#8866](https://github.com/AztecProtocol/aztec-packages/issues/8866)) ([989eb08](https://github.com/AztecProtocol/aztec-packages/commit/989eb08256db49e65e2d5e8a91790f941761d08f)) * Ultra honk on Shplemini ([#8886](https://github.com/AztecProtocol/aztec-packages/issues/8886)) ([d8d04f6](https://github.com/AztecProtocol/aztec-packages/commit/d8d04f6f0b9ca0aa36008dc53dde2562dc3afa63)) * Use structured polys to reduce prover memory ([#8587](https://github.com/AztecProtocol/aztec-packages/issues/8587)) ([59e3dd9](https://github.com/AztecProtocol/aztec-packages/commit/59e3dd93a70398e828269dbf13d8c4b9b38227ea)) ### Bug Fixes * Assign one_idx in the same place as zero_idx in `UltraCircuitBuilder` ([#9029](https://github.com/AztecProtocol/aztec-packages/issues/9029)) ([fe11d9a](https://github.com/AztecProtocol/aztec-packages/commit/fe11d9a3a1b96454999ae627c902d8b362805172)) * **avm:** Kernel out full proving fix ([#8873](https://github.com/AztecProtocol/aztec-packages/issues/8873)) ([784d483](https://github.com/AztecProtocol/aztec-packages/commit/784d483b592cb80da143634c07d330ba2f2c9ab7)) * Bb.js acir tests ([#8862](https://github.com/AztecProtocol/aztec-packages/issues/8862)) ([d8d0541](https://github.com/AztecProtocol/aztec-packages/commit/d8d0541bde1d98d6b7ae3c3bb2a38068383f802b)) ### Miscellaneous * **avm:** Make indirects big enough for relative addressing ([#9000](https://github.com/AztecProtocol/aztec-packages/issues/9000)) ([39b9e78](https://github.com/AztecProtocol/aztec-packages/commit/39b9e78d008b0a3d8be89f4bc6837ac4e3c28b4f)) * **avm:** Remove CMOV opcode ([#9030](https://github.com/AztecProtocol/aztec-packages/issues/9030)) ([ec9dfdf](https://github.com/AztecProtocol/aztec-packages/commit/ec9dfdf9ba36d9bb2e3829a8cdd5b0ed94cbc3fb)) * **bb.js:** Strip wasm-threads again ([#8833](https://github.com/AztecProtocol/aztec-packages/issues/8833)) ([68ba5d4](https://github.com/AztecProtocol/aztec-packages/commit/68ba5d443a79c06d972019abe39faaf851bb3247)) * Bump foundry ([#8868](https://github.com/AztecProtocol/aztec-packages/issues/8868)) ([bfd0b8e](https://github.com/AztecProtocol/aztec-packages/commit/bfd0b8e6932c2b2fdf6e1c35c3c324edec92118a)) * **ci:** Finally isolate bb-native-tests ([#9039](https://github.com/AztecProtocol/aztec-packages/issues/9039)) ([9c9c385](https://github.com/AztecProtocol/aztec-packages/commit/9c9c385b2d8d3d8284d981a7393500a04fd78d38)) * Keccak_ultra -> ultra_keccak ([#8878](https://github.com/AztecProtocol/aztec-packages/issues/8878)) ([670af8a](https://github.com/AztecProtocol/aztec-packages/commit/670af8a158633d106a3f1df82dbd28ef9a9e4ceb)) * Protogalaxy only instantiated with Mega ([#8949](https://github.com/AztecProtocol/aztec-packages/issues/8949)) ([b8d87f1](https://github.com/AztecProtocol/aztec-packages/commit/b8d87f12224ac7e1c4e0bf0e353ddc902bf82fd4)) * Prove_then_verify_ultra_honk on all existing acir tests ([#9042](https://github.com/AztecProtocol/aztec-packages/issues/9042)) ([62f6b8a](https://github.com/AztecProtocol/aztec-packages/commit/62f6b8aeb92bfb266a0df647a0dd33cfdb021f5f)) * Reduce number of gates in stdlib/sha256 hash function ([#8905](https://github.com/AztecProtocol/aztec-packages/issues/8905)) ([dd3a27e](https://github.com/AztecProtocol/aztec-packages/commit/dd3a27e5dc66fc47c34c077ca8124efe6fbea900)) * Remove copy from `compute_row_evaluations` ([#8875](https://github.com/AztecProtocol/aztec-packages/issues/8875)) ([9cd450e](https://github.com/AztecProtocol/aztec-packages/commit/9cd450e79870e00fb7c4c574a1e7f55de2e7b8ff)) * Remove unused methods and small state cleanup ([#8968](https://github.com/AztecProtocol/aztec-packages/issues/8968)) ([9b66a3e](https://github.com/AztecProtocol/aztec-packages/commit/9b66a3e3d1a38b31cdad29f9fd9aee05738b066c)) * Removing hack commitment from eccvm ([#8825](https://github.com/AztecProtocol/aztec-packages/issues/8825)) ([5e4cfa7](https://github.com/AztecProtocol/aztec-packages/commit/5e4cfa7b0159f66e59365f14c02fe8bbf4a73935)) * Revert "fix: assign one_idx in the same place as zero_idx in `UltraCircuitBuilder`" ([#9049](https://github.com/AztecProtocol/aztec-packages/issues/9049)) ([ebb6a2d](https://github.com/AztecProtocol/aztec-packages/commit/ebb6a2da62c9d99f448b0da9cf1d14fd64a59b9f)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

changed the location of the allocation of the polynomials to where th…

ff435f3

…ey get populated instead of all at once in the proving key

lucasxia01 force-pushed the lx/structurize-prover-polys branch from 7b449f9 to ff435f3 Compare September 17, 2024 03:38

Merge branch 'master' into lx/structurize-prover-polys

b184022

lucasxia01 self-assigned this Sep 17, 2024

lucasxia01 marked this pull request as ready for review September 17, 2024 03:39

lucasxia01 added 19 commits September 17, 2024 03:57

fix build

9942d6e

set to_be_shifted polys to start_idx=1 and some poly initializations …

aa6db5c

…to decider proving key constructor

undo unnecessary shiftable call... which somehow fixes everything

1362cb4

fix a couple stray tests

da06f55

Merge branch 'master' into lx/structurize-prover-polys

125d47c

structurized lagrange polys and selectors

e906410

add expand class that allows for the unstructured

f01b646

fix tests and allow for polynomials over different active ranges to a…

e1e949b

…dd_scaled/add/subtract

fix mega test

9f5b8bb

adjust memory for ecc_op wires and selector

b045e61

fix floating point issue with main.ts

3cb43fb

fix commit_sparse to handle non-power-of-two sizes and add new tests

c689569

reduce databus poly memory

f95c018

updated 4 table and 2 read_count polys

313c491

fix noir-packages-test

f22f7ef

Merge remote-tracking branch 'origin/master' into lx/structurize-prov…

fe91327

…er-polys

remove accidental extra copy

8277038

made inverse polys structured

d7e7530

Delete barretenberg/acir_tests/crs/grumpkin_size

7e75ce6

lucasxia01 commented Sep 19, 2024

View reviewed changes

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp Outdated Show resolved Hide resolved

lucasxia01 commented Sep 19, 2024

View reviewed changes

barretenberg/cpp/src/barretenberg/execution_trace/execution_trace.cpp Outdated Show resolved Hide resolved

lucasxia01 commented Sep 19, 2024

View reviewed changes

barretenberg/cpp/src/barretenberg/polynomials/polynomial.cpp Outdated Show resolved Hide resolved

lucasxia01 commented Sep 19, 2024

View reviewed changes

lucasxia01 added 12 commits September 23, 2024 23:38

tracy debugging

e770973

Merge remote-tracking branch 'origin/master' into lx/structurize-prov…

1773af7

…er-polys

update Crs size

648c014

fix formatting

765b074

make gate selectors and ecc_op_wires based on the fixed_size rather t…

7c193e6

…han size

big refactor to allocate all polys in one place and also base sizes o…

0b03bca

…n pre-runtime constants to avoid reallocation

revert full()

4162a8c

fix tests and small changes

006da13

revert poly tests and disable Expand test

7d44083

poly test fix

3a190d8

put public inputs stuff back for plonk

de71b76

Merge branch 'master' into lx/structurize-prover-polys

33d65cb

lucasxia01 commented Sep 26, 2024

View reviewed changes

codygunton approved these changes Sep 26, 2024

View reviewed changes

clean up for merge

8254e6a

lucasxia01 enabled auto-merge (squash) September 26, 2024 21:57

lucasxia01 merged commit 59e3dd9 into master Sep 26, 2024
51 checks passed

lucasxia01 deleted the lx/structurize-prover-polys branch September 26, 2024 22:41

AztecBot mentioned this pull request Sep 26, 2024

chore(master): Release 0.57.0 #8788

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Use structured polys to reduce prover memory #8587

feat: Use structured polys to reduce prover memory #8587

lucasxia01 commented Sep 17, 2024 •

edited

Loading

lucasxia01 Sep 19, 2024

lucasxia01 Sep 19, 2024

lucasxia01 Sep 19, 2024

ledwards2225 Sep 20, 2024

lucasxia01 Sep 19, 2024

lucasxia01 Sep 26, 2024

lucasxia01 Sep 26, 2024

lucasxia01 Sep 26, 2024

lucasxia01 Sep 26, 2024

lucasxia01 Sep 26, 2024

lucasxia01 Sep 26, 2024

codygunton left a comment

codygunton Sep 26, 2024

codygunton Sep 26, 2024

codygunton Sep 26, 2024

lucasxia01 Sep 26, 2024

github-actions bot commented Sep 26, 2024

feat: Use structured polys to reduce prover memory #8587

feat: Use structured polys to reduce prover memory #8587

Conversation

lucasxia01 commented Sep 17, 2024 • edited Loading

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

codygunton left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

github-actions bot commented Sep 26, 2024

Changes to circuit sizes

🧾 Summary (100% most significant diffs)

lucasxia01 commented Sep 17, 2024 •

edited

Loading