feat: Update the core of SMT Circuit class #5096

Sarkoxed · 2024-03-08T17:10:42Z

This pr massively updates the Circuit class and does a little refactoring to corresponding c++ files

circuit_schema

Moved CircuitSchema structure and the corresponding function to the separate file

Fixed the read_from_file function.

subcircuits

These files will contain calls to the circuitbuilder to get the basic constraints for native operations(like +, ^ for uints). They will be used to relax the constraint system when working with Integers or BitVectors

Circuit and standard circuit builder

New member of CircuitSchema and Circuit: real_variable_index. Previously all the variables(even copied ones) were passed into solver and it lead to unreliable results. Won't happen anymore.
New member of Circuit: variable_names_inverse. Helps to identify existing named variables
add_gates() method now renamed to prepare_gates() and behaves differently. Going to include optimizations from subcircuits.
New function unique_witness
Previous unique_witness was renamed to unique_witness_ext since it's the extended version of the new one. It has more flexible inputs.

… integers/bitvectors

- New member of CircuitSchema: real_variable_index - New member of Circuit class: variable_names_inverse - Changed add_gates method to prepare_gates which works a little bit different - Added new function unique_witness and renamed old unique_witness

Rumata888 · 2024-03-08T18:58:15Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit.cpp

    CircuitSchema& circuit_info,
    Solver* s,
    const std::vector<std::string>& equal = {},
    const std::vector<std::string>& not_equal = {},
    const std::vector<std::string>& equal_at_the_same_time = {},
    const std::vector<std::string>& not_eqaul_at_the_same_time = {});

+/**
+ * @brief Check your circuit for witness uniqness


Typo. uniqueness

Rumata888 · 2024-03-08T19:01:49Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/subcircuits.hpp

+using namespace smt_circuit_schema;
+
+CircuitSchema get_standard_range_constraint_circuit(size_t n);
+CircuitSchema get_standard_logic_circuit(size_t n, bool is_xor);


What is the purpose of these functions?

They will be used in further constraint system relaxation

Rumata888 · 2024-03-08T19:02:28Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_schema.hpp

+
+namespace smt_circuit_schema {
+
+struct CircuitSchema {


Would be nice if there was a description of what this is used for

Rumata888 · 2024-03-08T19:02:46Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_schema.cpp

+
+/**
+ * @brief Translates the schema to python format
+ * @details Returns the conetents of the .py file


Typo "contents"

Rumata888 · 2024-03-08T19:03:16Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_schema.cpp

+
+/**
+ * @brief Get the CircuitSchema object
+ * @details Initialize the CircuitSchmea from the binary file


Typo (CircuitSchema)

Rumata888 · 2024-03-08T19:03:56Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit_schema.cpp

+    fin.seekg(0, std::ios_base::beg);
+
+    CircuitSchema cir;
+    char* encoded_data = (char*)aligned_alloc(64, static_cast<size_t>(fsize));


This will fail if filesize is not a multiple of 64

Rumata888 · 2024-03-08T19:07:18Z

barretenberg/cpp/src/barretenberg/smt_verification/circuit/circuit.hpp

-CircuitSchema unpack_from_buffer(const msgpack::sbuffer& buf);
-CircuitSchema unpack_from_file(const std::string& fname);
+template <typename FF>
+std::pair<Circuit<FF>, Circuit<FF>> unique_witness_ext(CircuitSchema& circuit_info,


A description would really help here

Should I move it from .cpp file here?

If it's in cpp file, it's ok. I must have missed it

AztecBot · 2024-03-08T19:25:36Z

Benchmark results

Metrics with a significant change:

note_successful_decrypting_time_in_ms (8): 213 (+50%)

Detailed results

All benchmarks are run on txs on the Benchmarking contract on the repository. Each tx consists of a batch call to create_note and increment_balance, which guarantees that each tx has a private call, a nested private call, a public call, and a nested public call, as well as an emitted private note, an unencrypted log, and public storage read and write.

This benchmark source data is available in JSON format on S3 here.

Values are compared against data from master at commit 26d26437 and shown if the difference exceeds 1%.

L2 block published to L1

Each column represents the number of txs on an L2 block published to L1.

Metric	8 txs	32 txs	64 txs
l1_rollup_calldata_size_in_bytes	5,700	18,884	36,452
l1_rollup_calldata_gas	66,540	239,144	470,300
l1_rollup_execution_gas	674,003	979,965	1,389,074
l2_block_processing_time_in_ms	1,405 (+1%)	5,056 (+4%)	9,063 (+1%)
note_successful_decrypting_time_in_ms	⚠️ 213 (+50%)	516 (-9%)	974 (-2%)
note_trial_decrypting_time_in_ms	18.4 (-61%)	36.2 (-57%)	102 (-14%)
l2_block_building_time_in_ms	12,009 (-1%)	47,625 (-1%)	95,762
l2_block_rollup_simulation_time_in_ms	7,314 (-1%)	29,191	59,093
l2_block_public_tx_process_time_in_ms	4,665 (-1%)	18,367 (-1%)	36,555 (-1%)

L2 chain processing

Each column represents the number of blocks on the L2 chain where each block has 16 txs.

Metric	5 blocks	10 blocks
node_history_sync_time_in_ms	14,533 (+3%)	27,881 (+2%)
note_history_successful_decrypting_time_in_ms	1,289 (+9%)	2,512 (+2%)
note_history_trial_decrypting_time_in_ms	102 (+32%)	205 (+26%)
node_database_size_in_bytes	18,870,352	35,332,176 (-1%)
pxe_database_size_in_bytes	29,923	59,478

Circuits stats

Stats on running time and I/O sizes collected for every circuit run across all benchmarks.

Circuit	circuit_simulation_time_in_ms	circuit_input_size_in_bytes	circuit_output_size_in_bytes
private-kernel-init	253 (-2%)	44,736	28,001
private-kernel-ordering	194 (-4%)	52,625	14,627
base-rollup	660	177,932	997
root-rollup	69.1	4,320	825
private-kernel-inner	321 (-3%)	73,715	28,001
public-kernel-app-logic	166 (+1%)	34,920	27,972
public-kernel-tail	82.9 (+1%)	34,507	27,972
merge-rollup	8.58 (+1%)	2,840	997

Tree insertion stats

The duration to insert a fixed batch of leaves into each tree type.

Metric	1 leaves	2 leaves	8 leaves	16 leaves	32 leaves	64 leaves	128 leaves	512 leaves	1024 leaves	2048 leaves	4096 leaves
batch_insert_into_append_only_tree_16_depth_ms	9.92 (+2%)	10.4 (+3%)	12.2 (-2%)	16.4 (+2%)	22.1 (-1%)	43.3 (+22%)	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_16_depth_hash_count	16.9	17.5	23.0	31.6	47.0	79.0	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_16_depth_hash_ms	0.576 (+2%)	0.577 (+2%)	0.518 (-2%)	0.505 (+2%)	0.463 (-1%)	0.540 (+22%)	N/A	N/A	N/A	N/A	N/A
batch_insert_into_append_only_tree_32_depth_ms	N/A	N/A	N/A	N/A	N/A	46.4 (+2%)	72.0 (+1%)	230	451 (+2%)	868	1,718 (-1%)
batch_insert_into_append_only_tree_32_depth_hash_count	N/A	N/A	N/A	N/A	N/A	96.0	159	543	1,055	2,079	4,127
batch_insert_into_append_only_tree_32_depth_hash_ms	N/A	N/A	N/A	N/A	N/A	0.476 (+1%)	0.444	0.420 (-1%)	0.421 (+2%)	0.413	0.412 (-1%)
batch_insert_into_indexed_tree_20_depth_ms	N/A	N/A	N/A	N/A	N/A	55.1 (+3%)	107 (+1%)	334 (-1%)	672 (+3%)	1,312	2,615
batch_insert_into_indexed_tree_20_depth_hash_count	N/A	N/A	N/A	N/A	N/A	104	207	691	1,363	2,707	5,395
batch_insert_into_indexed_tree_20_depth_hash_ms	N/A	N/A	N/A	N/A	N/A	0.491 (+3%)	0.482	0.456	0.462 (+2%)	0.455	0.454 (-1%)
batch_insert_into_indexed_tree_40_depth_ms	N/A	N/A	N/A	N/A	61.7 (+1%)	N/A	N/A	N/A	N/A	N/A	N/A
batch_insert_into_indexed_tree_40_depth_hash_count	N/A	N/A	N/A	N/A	109	N/A	N/A	N/A	N/A	N/A	N/A
batch_insert_into_indexed_tree_40_depth_hash_ms	N/A	N/A	N/A	N/A	0.539 (+1%)	N/A	N/A	N/A	N/A	N/A	N/A

Miscellaneous

Transaction sizes based on how many contracts are deployed in the tx.

Metric	0 deployed contracts
tx_size_in_bytes	19,650

Transaction processing duration by data writes.

Metric	0 new note hashes	1 new note hashes
tx_pxe_processing_time_ms	2,743	1,381 (-2%)

Metric	0 public data writes	1 public data writes
tx_sequencer_processing_time_ms	7.74 (+1%)	579 (+1%)

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.27.0</summary> ## [0.27.0](aztec-package-v0.26.6...aztec-package-v0.27.0) (2024-03-12) ### Features * Add api for inclusion proof of outgoing message in block [#4562](#4562) ([#4899](#4899)) ([26d2643](26d2643)) ### Miscellaneous * Pin foundry ([#5151](#5151)) ([69bd7dd](69bd7dd)) * Remove old contract deployment flow ([#4970](#4970)) ([6d15947](6d15947)) </details> <details><summary>barretenberg.js: 0.27.0</summary> ## [0.27.0](barretenberg.js-v0.26.6...barretenberg.js-v0.27.0) (2024-03-12) ### Miscellaneous * Move alpine containers to ubuntu ([#5026](#5026)) ([d483e67](d483e67)), closes [#4708](#4708) </details> <details><summary>aztec-cli: 0.27.0</summary> ## [0.27.0](aztec-cli-v0.26.6...aztec-cli-v0.27.0) (2024-03-12) ### Miscellaneous * Remove old contract deployment flow ([#4970](#4970)) ([6d15947](6d15947)) </details> <details><summary>aztec-packages: 0.27.0</summary> ## [0.27.0](aztec-packages-v0.26.6...aztec-packages-v0.27.0) (2024-03-12) ### ⚠ BREAKING CHANGES * Remove open keyword from Noir ([#4967](#4967)) ### Features * Add api for inclusion proof of outgoing message in block [#4562](#4562) ([#4899](#4899)) ([26d2643](26d2643)) * **avm-simulator:** External calls + integration ([#5051](#5051)) ([dde33f4](dde33f4)) * **avm-simulator:** External static calls + integration ([#5089](#5089)) ([428d950](428d950)) * **avm:** Equivalence check between Main trace and Mem trace ([#5032](#5032)) ([7f216eb](7f216eb)), closes [#4955](#4955) * **avm:** Fix some Brillig problems ([#5091](#5091)) ([07dd821](07dd821)) * Initial integration avm prover ([#4878](#4878)) ([2e2554e](2e2554e)) * Noir pull action ([#5062](#5062)) ([b2d7d14](b2d7d14)) * Restore contract inclusion proofs ([#5141](#5141)) ([a39cd61](a39cd61)) * Update the core of SMT Circuit class ([#5096](#5096)) ([1519d3b](1519d3b)) * Updating archiver with new inbox ([#5025](#5025)) ([f6d17c9](f6d17c9)), closes [#4828](#4828) ### Bug Fixes * Duplicate factory code temporarily to unblock ([#5099](#5099)) ([8b10600](8b10600)) * Remove hard coded canonical gas address ([#5106](#5106)) ([dc2fd9e](dc2fd9e)) ### Miscellaneous * **avm-simulator:** Enable compressed strings unencrypted log test ([#5083](#5083)) ([8f7519b](8f7519b)) * **avm-simulator:** Formatting and fixes ([#5092](#5092)) ([b3fa084](b3fa084)) * **AVM:** Negative unit tests for inter table relations ([#5143](#5143)) ([a74dccb](a74dccb)), closes [#5033](#5033) * Aztec-macros refactor ([#5127](#5127)) ([2195441](2195441)) * **ci:** Fail on clippy warnings in noir ([#5101](#5101)) ([54af648](54af648)) * Extract bb binary in bs fast ([#5128](#5128)) ([9ca41ef](9ca41ef)) * Increase bytecode size limit ([#5098](#5098)) ([53b2381](53b2381)) * Increase permitted bytecode size ([#5136](#5136)) ([6865c34](6865c34)) * Join-split example Part 2 ([#5016](#5016)) ([0718320](0718320)) * Move alpine containers to ubuntu ([#5026](#5026)) ([d483e67](d483e67)), closes [#4708](#4708) * Nicer snapshots ([#5133](#5133)) ([9a737eb](9a737eb)) * Pin foundry ([#5151](#5151)) ([69bd7dd](69bd7dd)) * Remove old contract deployment flow ([#4970](#4970)) ([6d15947](6d15947)) * Remove open keyword from Noir ([#4967](#4967)) ([401557e](401557e)) * Run nargo fmt on each nargo project ([#5102](#5102)) ([b327254](b327254)) * Use context interface in mark-as-initialized ([#5142](#5142)) ([932c1d5](932c1d5)) </details> <details><summary>barretenberg: 0.27.0</summary> ## [0.27.0](barretenberg-v0.26.6...barretenberg-v0.27.0) (2024-03-12) ### Features * **avm:** Equivalence check between Main trace and Mem trace ([#5032](#5032)) ([7f216eb](7f216eb)), closes [#4955](#4955) * Initial integration avm prover ([#4878](#4878)) ([2e2554e](2e2554e)) * Update the core of SMT Circuit class ([#5096](#5096)) ([1519d3b](1519d3b)) ### Miscellaneous * **AVM:** Negative unit tests for inter table relations ([#5143](#5143)) ([a74dccb](a74dccb)), closes [#5033](#5033) * Extract bb binary in bs fast ([#5128](#5128)) ([9ca41ef](9ca41ef)) * Join-split example Part 2 ([#5016](#5016)) ([0718320](0718320)) * Move alpine containers to ubuntu ([#5026](#5026)) ([d483e67](d483e67)), closes [#4708](#4708) * Pin foundry ([#5151](#5151)) ([69bd7dd](69bd7dd)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

🤖 I have created a release *beep* *boop* --- <details><summary>aztec-package: 0.27.0</summary> ## [0.27.0](AztecProtocol/aztec-packages@aztec-package-v0.26.6...aztec-package-v0.27.0) (2024-03-12) ### Features * Add api for inclusion proof of outgoing message in block [#4562](AztecProtocol/aztec-packages#4562) ([#4899](AztecProtocol/aztec-packages#4899)) ([26d2643](AztecProtocol/aztec-packages@26d2643)) ### Miscellaneous * Pin foundry ([#5151](AztecProtocol/aztec-packages#5151)) ([69bd7dd](AztecProtocol/aztec-packages@69bd7dd)) * Remove old contract deployment flow ([#4970](AztecProtocol/aztec-packages#4970)) ([6d15947](AztecProtocol/aztec-packages@6d15947)) </details> <details><summary>barretenberg.js: 0.27.0</summary> ## [0.27.0](AztecProtocol/aztec-packages@barretenberg.js-v0.26.6...barretenberg.js-v0.27.0) (2024-03-12) ### Miscellaneous * Move alpine containers to ubuntu ([#5026](AztecProtocol/aztec-packages#5026)) ([d483e67](AztecProtocol/aztec-packages@d483e67)), closes [#4708](AztecProtocol/aztec-packages#4708) </details> <details><summary>aztec-cli: 0.27.0</summary> ## [0.27.0](AztecProtocol/aztec-packages@aztec-cli-v0.26.6...aztec-cli-v0.27.0) (2024-03-12) ### Miscellaneous * Remove old contract deployment flow ([#4970](AztecProtocol/aztec-packages#4970)) ([6d15947](AztecProtocol/aztec-packages@6d15947)) </details> <details><summary>aztec-packages: 0.27.0</summary> ## [0.27.0](AztecProtocol/aztec-packages@aztec-packages-v0.26.6...aztec-packages-v0.27.0) (2024-03-12) ### ⚠ BREAKING CHANGES * Remove open keyword from Noir ([#4967](AztecProtocol/aztec-packages#4967)) ### Features * Add api for inclusion proof of outgoing message in block [#4562](AztecProtocol/aztec-packages#4562) ([#4899](AztecProtocol/aztec-packages#4899)) ([26d2643](AztecProtocol/aztec-packages@26d2643)) * **avm-simulator:** External calls + integration ([#5051](AztecProtocol/aztec-packages#5051)) ([dde33f4](AztecProtocol/aztec-packages@dde33f4)) * **avm-simulator:** External static calls + integration ([#5089](AztecProtocol/aztec-packages#5089)) ([428d950](AztecProtocol/aztec-packages@428d950)) * **avm:** Equivalence check between Main trace and Mem trace ([#5032](AztecProtocol/aztec-packages#5032)) ([7f216eb](AztecProtocol/aztec-packages@7f216eb)), closes [#4955](AztecProtocol/aztec-packages#4955) * **avm:** Fix some Brillig problems ([#5091](AztecProtocol/aztec-packages#5091)) ([07dd821](AztecProtocol/aztec-packages@07dd821)) * Initial integration avm prover ([#4878](AztecProtocol/aztec-packages#4878)) ([2e2554e](AztecProtocol/aztec-packages@2e2554e)) * Noir pull action ([#5062](AztecProtocol/aztec-packages#5062)) ([b2d7d14](AztecProtocol/aztec-packages@b2d7d14)) * Restore contract inclusion proofs ([#5141](AztecProtocol/aztec-packages#5141)) ([a39cd61](AztecProtocol/aztec-packages@a39cd61)) * Update the core of SMT Circuit class ([#5096](AztecProtocol/aztec-packages#5096)) ([1519d3b](AztecProtocol/aztec-packages@1519d3b)) * Updating archiver with new inbox ([#5025](AztecProtocol/aztec-packages#5025)) ([f6d17c9](AztecProtocol/aztec-packages@f6d17c9)), closes [#4828](AztecProtocol/aztec-packages#4828) ### Bug Fixes * Duplicate factory code temporarily to unblock ([#5099](AztecProtocol/aztec-packages#5099)) ([8b10600](AztecProtocol/aztec-packages@8b10600)) * Remove hard coded canonical gas address ([#5106](AztecProtocol/aztec-packages#5106)) ([dc2fd9e](AztecProtocol/aztec-packages@dc2fd9e)) ### Miscellaneous * **avm-simulator:** Enable compressed strings unencrypted log test ([#5083](AztecProtocol/aztec-packages#5083)) ([8f7519b](AztecProtocol/aztec-packages@8f7519b)) * **avm-simulator:** Formatting and fixes ([#5092](AztecProtocol/aztec-packages#5092)) ([b3fa084](AztecProtocol/aztec-packages@b3fa084)) * **AVM:** Negative unit tests for inter table relations ([#5143](AztecProtocol/aztec-packages#5143)) ([a74dccb](AztecProtocol/aztec-packages@a74dccb)), closes [#5033](AztecProtocol/aztec-packages#5033) * Aztec-macros refactor ([#5127](AztecProtocol/aztec-packages#5127)) ([2195441](AztecProtocol/aztec-packages@2195441)) * **ci:** Fail on clippy warnings in noir ([#5101](AztecProtocol/aztec-packages#5101)) ([54af648](AztecProtocol/aztec-packages@54af648)) * Extract bb binary in bs fast ([#5128](AztecProtocol/aztec-packages#5128)) ([9ca41ef](AztecProtocol/aztec-packages@9ca41ef)) * Increase bytecode size limit ([#5098](AztecProtocol/aztec-packages#5098)) ([53b2381](AztecProtocol/aztec-packages@53b2381)) * Increase permitted bytecode size ([#5136](AztecProtocol/aztec-packages#5136)) ([6865c34](AztecProtocol/aztec-packages@6865c34)) * Join-split example Part 2 ([#5016](AztecProtocol/aztec-packages#5016)) ([0718320](AztecProtocol/aztec-packages@0718320)) * Move alpine containers to ubuntu ([#5026](AztecProtocol/aztec-packages#5026)) ([d483e67](AztecProtocol/aztec-packages@d483e67)), closes [#4708](AztecProtocol/aztec-packages#4708) * Nicer snapshots ([#5133](AztecProtocol/aztec-packages#5133)) ([9a737eb](AztecProtocol/aztec-packages@9a737eb)) * Pin foundry ([#5151](AztecProtocol/aztec-packages#5151)) ([69bd7dd](AztecProtocol/aztec-packages@69bd7dd)) * Remove old contract deployment flow ([#4970](AztecProtocol/aztec-packages#4970)) ([6d15947](AztecProtocol/aztec-packages@6d15947)) * Remove open keyword from Noir ([#4967](AztecProtocol/aztec-packages#4967)) ([401557e](AztecProtocol/aztec-packages@401557e)) * Run nargo fmt on each nargo project ([#5102](AztecProtocol/aztec-packages#5102)) ([b327254](AztecProtocol/aztec-packages@b327254)) * Use context interface in mark-as-initialized ([#5142](AztecProtocol/aztec-packages#5142)) ([932c1d5](AztecProtocol/aztec-packages@932c1d5)) </details> <details><summary>barretenberg: 0.27.0</summary> ## [0.27.0](AztecProtocol/aztec-packages@barretenberg-v0.26.6...barretenberg-v0.27.0) (2024-03-12) ### Features * **avm:** Equivalence check between Main trace and Mem trace ([#5032](AztecProtocol/aztec-packages#5032)) ([7f216eb](AztecProtocol/aztec-packages@7f216eb)), closes [#4955](AztecProtocol/aztec-packages#4955) * Initial integration avm prover ([#4878](AztecProtocol/aztec-packages#4878)) ([2e2554e](AztecProtocol/aztec-packages@2e2554e)) * Update the core of SMT Circuit class ([#5096](AztecProtocol/aztec-packages#5096)) ([1519d3b](AztecProtocol/aztec-packages@1519d3b)) ### Miscellaneous * **AVM:** Negative unit tests for inter table relations ([#5143](AztecProtocol/aztec-packages#5143)) ([a74dccb](AztecProtocol/aztec-packages@a74dccb)), closes [#5033](AztecProtocol/aztec-packages#5033) * Extract bb binary in bs fast ([#5128](AztecProtocol/aztec-packages#5128)) ([9ca41ef](AztecProtocol/aztec-packages@9ca41ef)) * Join-split example Part 2 ([#5016](AztecProtocol/aztec-packages#5016)) ([0718320](AztecProtocol/aztec-packages@0718320)) * Move alpine containers to ubuntu ([#5026](AztecProtocol/aztec-packages#5026)) ([d483e67](AztecProtocol/aztec-packages@d483e67)), closes [#4708](AztecProtocol/aztec-packages#4708) * Pin foundry ([#5151](AztecProtocol/aztec-packages#5151)) ([69bd7dd](AztecProtocol/aztec-packages@69bd7dd)) </details> --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).

Sarkoxed added 3 commits March 8, 2024 15:46

Separated CircuitSchema object and relevant functions from circuit

e5b8183

Subcircuits that will be removed from the full circuit when work with…

1cf6e29

… integers/bitvectors

Updated Circuit class

5cd9256

- New member of CircuitSchema: real_variable_index - New member of Circuit class: variable_names_inverse - Changed add_gates method to prepare_gates which works a little bit different - Added new function unique_witness and renamed old unique_witness

Sarkoxed requested a review from Rumata888 March 8, 2024 17:10

Sarkoxed added crypto cryptography product-security PRs extending our security mechanisms labels Mar 8, 2024

Rename the unique_witness function

465d70b

Rumata888 marked this pull request as ready for review March 8, 2024 18:56

Merge branch 'master' into as/smt-update-circuit

34ba74e

Rumata888 reviewed Mar 8, 2024

View reviewed changes

Sarkoxed and others added 6 commits March 8, 2024 21:08

Typos, documentation and new readfile

44547d8

formatting

66f49ee

Merge branch 'master' into as/smt-update-circuit

04f2b5e

Another typo

8740206

Readfile fix

e48cdec

Merge branch 'master' into as/smt-update-circuit

fe8c059

Rumata888 approved these changes Mar 11, 2024

View reviewed changes

Sarkoxed merged commit 1519d3b into master Mar 11, 2024
97 checks passed

Sarkoxed deleted the as/smt-update-circuit branch March 11, 2024 13:18

AztecBot mentioned this pull request Mar 11, 2024

chore(master): Release 0.27.0 #5100

Merged

Rumata888 assigned Sarkoxed Mar 11, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Update the core of SMT Circuit class #5096

feat: Update the core of SMT Circuit class #5096

Sarkoxed commented Mar 8, 2024 •

edited

Loading

Rumata888 Mar 8, 2024

Rumata888 Mar 8, 2024

Sarkoxed Mar 8, 2024 •

edited

Loading

Rumata888 Mar 8, 2024

Rumata888 Mar 8, 2024

Rumata888 Mar 8, 2024

Rumata888 Mar 8, 2024

Rumata888 Mar 8, 2024

Sarkoxed Mar 8, 2024

Rumata888 Mar 9, 2024

AztecBot commented Mar 8, 2024 •

edited

Loading

L2 block published to L1

L2 chain processing

Circuits stats

Tree insertion stats

Miscellaneous

feat: Update the core of SMT Circuit class #5096

feat: Update the core of SMT Circuit class #5096

Conversation

Sarkoxed commented Mar 8, 2024 • edited Loading

circuit_schema

subcircuits

Circuit and standard circuit builder

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Sarkoxed Mar 8, 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

AztecBot commented Mar 8, 2024 • edited Loading

Benchmark results

L2 block published to L1

L2 chain processing

Circuits stats

Tree insertion stats

Miscellaneous

Sarkoxed commented Mar 8, 2024 •

edited

Loading

Sarkoxed Mar 8, 2024 •

edited

Loading

AztecBot commented Mar 8, 2024 •

edited

Loading