diff --git a/.circleci/config.yml b/.circleci/config.yml index a7864fb23b5..2250b0d4bc6 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -236,16 +236,16 @@ jobs: command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 3 join_split_example_proofs_join_split_tests --gtest_filter=-*full_proof* - *save_logs - bb-bin-tests: - docker: - - image: aztecprotocol/alpine-build-image - resource_class: small - steps: - - *checkout - - *setup_env - - run: - name: "Test" - command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert + # bb-bin-tests: + # docker: + # - image: aztecprotocol/alpine-build-image + # resource_class: small + # steps: + # - *checkout + # - *setup_env + # - run: + # name: "Test" + # command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert barretenberg-benchmark-aggregator: docker: @@ -1008,7 +1008,7 @@ workflows: - barretenberg-stdlib-recursion-turbo-tests: *bb_test - barretenberg-stdlib-recursion-ultra-tests: *bb_test - barretenberg-join-split-tests: *bb_test - - bb-bin-tests: *bb_test + # - bb-bin-tests: *bb_test - barretenberg-benchmark-aggregator: requires: - barretenberg-tests diff --git a/circuits/cpp/barretenberg/.circleci/config.yml b/circuits/cpp/barretenberg/.circleci/config.yml index 2707d12eb52..ab6b49bfe0c 100644 --- a/circuits/cpp/barretenberg/.circleci/config.yml +++ b/circuits/cpp/barretenberg/.circleci/config.yml @@ -266,16 +266,16 @@ jobs: command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 3 join_split_example_proofs_join_split_tests --gtest_filter=-*full_proof* - *save_logs - bb-bin-tests: - docker: - - image: aztecprotocol/alpine-build-image - resource_class: small - steps: - - *checkout - - *setup_env - - run: - name: "Test" - command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert + # bb-bin-tests: + # docker: + # - image: aztecprotocol/alpine-build-image + # resource_class: small + # steps: + # - *checkout + # - *setup_env + # - run: + # name: "Test" + # command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert benchmark-aggregator: docker: @@ -439,7 +439,7 @@ workflows: - stdlib-recursion-turbo-tests: *bb_test - stdlib-recursion-ultra-tests: *bb_test - join-split-tests: *bb_test - - bb-bin-tests: *bb_test + # - bb-bin-tests: *bb_test - benchmark-aggregator: requires: - barretenberg-tests diff --git a/circuits/cpp/barretenberg/cpp/bin-test/target/main.json b/circuits/cpp/barretenberg/cpp/bin-test/target/main.json deleted file mode 100644 index 82e0528eb67..00000000000 --- a/circuits/cpp/barretenberg/cpp/bin-test/target/main.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"verification_key","type":{"kind":"array","length":114,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"},{"name":"public_inputs","type":{"kind":"array","length":1,"type":{"kind":"field"}},"visibility":"private"},{"name":"key_hash","type":{"kind":"field"},"visibility":"private"},{"name":"input_aggregation_object","type":{"kind":"array","length":16,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof_b","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"}],"param_witnesses":{"input_aggregation_object":[211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226],"key_hash":[210],"proof":[115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208],"proof_b":[227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320],"public_inputs":[209],"verification_key":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114]},"return_type":{"kind":"array","length":16,"type":{"kind":"field"}},"return_witnesses":[337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352]},"bytecode":"H4sIAAAAAAAA/+3V05ObbRjA4WytrW3bdrdr79bWZ6Ofbdu2jdq2+y/UtvmkuXZmp8c96ME+M7+5cieZzJtJ5r2nxEUixSKxEx5G4kNTC80XI7HXoxZnCZZkKZZmGZZlOZZnBcazIiuxMquwKquxOmuwJmuxNuuwLuuxPhuwIRuxMZuwKZuxOVuwJVuxNduwLduxPTuwIzuxM7uwK7uxO3uwJ3uxN/uwL/uxPwdwIAcxgYOZyCQmM4WpTGM6M5jJLGYzh7nMYz6HcCiHcThHcCRHcTTHcCzHcTwncCIncTKn8AbeyJt4M2/hrbyNt/MO3sm7eDfv4b28j/dzaqHrjJ4HzA/yIT7MR/goH+PjfIJP8ik+zWf4LJ/j83yBL/IlvsxX+Cpf4+t8g2/yLb7Nd/gu3+P7/IAf8iN+zE/4KT/j5/yCX/Irfs1v+C2/4/f8gT/yJ/7MX/grf+Pv/IN/8i/+zX/4L//j/5zG6ZzBmZzF2ZzDuZzH+VzAhVzExVzCpVzG5VzBlVzF1VzDtVzH9dzAjdzEzYzuoejZYt7KK4siegaHdySGkkLJoZRQaigtlB7KCGWGskLZoZxQbigvlB9XtPiKFl/MBBYtvpjX2+LbZt7OHdzJXdzNPdzLfdzPAzzIQzzMIzzKYzzOEzzJUzzNMzzLczzPCyzoEqM3oKhxLMbiLMGSLMXSLMOyLMfyrMB4VmQlVmYVVmU1VmcN1mQt1mYd1mU91mcDNmQjNmYTNmUzNmcLtmQrtmYbtmU7tmcHdmQndmYXdmU3dmcP9mQv9mYf9mU/9ucADuQgJhT8/pHYuXrxxRVefNEnEpnEZKYwlWlMZwYzmcVs5jCXecwv+KO4jiFhHhoaFhoeGhEaGRoVGh0aExobGhcaH5oQmhiaFJpc8C2v4eddBhwvtmjWDgAA","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/circuits/cpp/barretenberg/cpp/bin-test/target/witness.tr b/circuits/cpp/barretenberg/cpp/bin-test/target/witness.tr deleted file mode 100644 index 82e8cf3ff57..00000000000 Binary files a/circuits/cpp/barretenberg/cpp/bin-test/target/witness.tr and /dev/null differ diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp index 4acabafe597..b33c935590f 100644 --- a/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp +++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/acir_to_constraint_buf.hpp @@ -209,31 +209,6 @@ void handle_blackbox_func_call(Circuit::Opcode::BlackBoxFuncCall const& arg, aci arg.value.value); } -void handle_memory(Circuit::MemoryBlock const& mem_block, bool is_ram, acir_format& af) -{ - std::vector init; - std::vector trace; - auto len = mem_block.len; - for (size_t i = 0; i < len; ++i) { - init.push_back(serialize_arithmetic_gate(mem_block.trace[i].value)); - } - for (size_t i = len; i < mem_block.trace.size(); ++i) { - auto index = serialize_arithmetic_gate(mem_block.trace[i].index); - auto value = serialize_arithmetic_gate(mem_block.trace[i].value); - auto op = mem_block.trace[i].operation; - if (!(op.mul_terms.empty() && op.linear_combinations.empty())) { - throw_or_abort("Expected constant."); - } - bool access_type(uint256_t(op.q_c)); - trace.push_back(MemOp{ - .access_type = static_cast(access_type), - .index = index, - .value = value, - }); - } - af.block_constraints.push_back(BlockConstraint{ .init = init, .trace = trace, .type = (BlockType)is_ram }); -} - BlockConstraint handle_memory_init(Circuit::Opcode::MemoryInit const& mem_init) { BlockConstraint block{ .init = {}, .trace = {}, .type = BlockType::ROM }; @@ -256,10 +231,16 @@ BlockConstraint handle_memory_init(Circuit::Opcode::MemoryInit const& mem_init) return block; } +bool is_rom(Circuit::MemOp const& mem_op) +{ + return mem_op.operation.mul_terms.size() == 0 && mem_op.operation.linear_combinations.size() == 0 && + uint256_t(mem_op.operation.q_c) == 0; +} + void handle_memory_op(Circuit::Opcode::MemoryOp const& mem_op, BlockConstraint& block) { uint8_t access_type = 1; - if (mem_op.op.is_rom()) { + if (is_rom(mem_op.op)) { access_type = 0; } if (block.type == BlockType::ROM && access_type == 1) { @@ -289,10 +270,6 @@ acir_format circuit_buf_to_acir_format(std::vector const& buf) handle_arithmetic(arg, af); } else if constexpr (std::is_same_v) { handle_blackbox_func_call(arg, af); - } else if constexpr (std::is_same_v) { - handle_memory(arg.value, true, af); - } else if constexpr (std::is_same_v) { - handle_memory(arg.value, false, af); } else if constexpr (std::is_same_v) { auto block = handle_memory_init(arg); uint32_t block_id = arg.block_id.value; diff --git a/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/serde/acir.hpp b/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/serde/acir.hpp index 01aef1ef9ef..34e87c391da 100644 --- a/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/serde/acir.hpp +++ b/circuits/cpp/barretenberg/cpp/src/barretenberg/dsl/acir_format/serde/acir.hpp @@ -855,22 +855,6 @@ struct MemOp { friend bool operator==(const MemOp&, const MemOp&); std::vector bincodeSerialize() const; static MemOp bincodeDeserialize(std::vector); - - bool is_rom() const - { - return this->operation.mul_terms.size() == 0 && this->operation.linear_combinations.size() == 0 && - uint256_t(this->operation.q_c) == 0; - } -}; - -struct MemoryBlock { - Circuit::BlockId id; - uint32_t len; - std::vector trace; - - friend bool operator==(const MemoryBlock&, const MemoryBlock&); - std::vector bincodeSerialize() const; - static MemoryBlock bincodeDeserialize(std::vector); }; struct Opcode { @@ -899,30 +883,6 @@ struct Opcode { static Directive bincodeDeserialize(std::vector); }; - struct Block { - Circuit::MemoryBlock value; - - friend bool operator==(const Block&, const Block&); - std::vector bincodeSerialize() const; - static Block bincodeDeserialize(std::vector); - }; - - struct ROM { - Circuit::MemoryBlock value; - - friend bool operator==(const ROM&, const ROM&); - std::vector bincodeSerialize() const; - static ROM bincodeDeserialize(std::vector); - }; - - struct RAM { - Circuit::MemoryBlock value; - - friend bool operator==(const RAM&, const RAM&); - std::vector bincodeSerialize() const; - static RAM bincodeDeserialize(std::vector); - }; - struct Brillig { Circuit::Brillig value; @@ -949,7 +909,7 @@ struct Opcode { static MemoryInit bincodeDeserialize(std::vector); }; - std::variant value; + std::variant value; friend bool operator==(const Opcode&, const Opcode&); std::vector bincodeSerialize() const; @@ -967,6 +927,7 @@ struct PublicInputs { struct Circuit { uint32_t current_witness_index; std::vector opcodes; + std::vector private_parameters; PublicInputs public_parameters; PublicInputs return_values; @@ -4459,6 +4420,9 @@ inline bool operator==(const Circuit& lhs, const Circuit& rhs) if (!(lhs.opcodes == rhs.opcodes)) { return false; } + if (!(lhs.private_parameters == rhs.private_parameters)) { + return false; + } if (!(lhs.public_parameters == rhs.public_parameters)) { return false; } @@ -4494,6 +4458,7 @@ void serde::Serializable::serialize(const Circuit::Circuit& ob serializer.increase_container_depth(); serde::Serializable::serialize(obj.current_witness_index, serializer); serde::Serializable::serialize(obj.opcodes, serializer); + serde::Serializable::serialize(obj.private_parameters, serializer); serde::Serializable::serialize(obj.public_parameters, serializer); serde::Serializable::serialize(obj.return_values, serializer); serializer.decrease_container_depth(); @@ -4507,6 +4472,7 @@ Circuit::Circuit serde::Deserializable::deserialize(Deserializ Circuit::Circuit obj; obj.current_witness_index = serde::Deserializable::deserialize(deserializer); obj.opcodes = serde::Deserializable::deserialize(deserializer); + obj.private_parameters = serde::Deserializable::deserialize(deserializer); obj.public_parameters = serde::Deserializable::deserialize(deserializer); obj.return_values = serde::Deserializable::deserialize(deserializer); deserializer.decrease_container_depth(); @@ -5443,65 +5409,6 @@ Circuit::MemOp serde::Deserializable::deserialize(Deserializer& namespace Circuit { -inline bool operator==(const MemoryBlock& lhs, const MemoryBlock& rhs) -{ - if (!(lhs.id == rhs.id)) { - return false; - } - if (!(lhs.len == rhs.len)) { - return false; - } - if (!(lhs.trace == rhs.trace)) { - return false; - } - return true; -} - -inline std::vector MemoryBlock::bincodeSerialize() const -{ - auto serializer = serde::BincodeSerializer(); - serde::Serializable::serialize(*this, serializer); - return std::move(serializer).bytes(); -} - -inline MemoryBlock MemoryBlock::bincodeDeserialize(std::vector input) -{ - auto deserializer = serde::BincodeDeserializer(input); - auto value = serde::Deserializable::deserialize(deserializer); - if (deserializer.get_buffer_offset() < input.size()) { - throw_or_abort("Some input bytes were not read"); - } - return value; -} - -} // end of namespace Circuit - -template <> -template -void serde::Serializable::serialize(const Circuit::MemoryBlock& obj, Serializer& serializer) -{ - serializer.increase_container_depth(); - serde::Serializable::serialize(obj.id, serializer); - serde::Serializable::serialize(obj.len, serializer); - serde::Serializable::serialize(obj.trace, serializer); - serializer.decrease_container_depth(); -} - -template <> -template -Circuit::MemoryBlock serde::Deserializable::deserialize(Deserializer& deserializer) -{ - deserializer.increase_container_depth(); - Circuit::MemoryBlock obj; - obj.id = serde::Deserializable::deserialize(deserializer); - obj.len = serde::Deserializable::deserialize(deserializer); - obj.trace = serde::Deserializable::deserialize(deserializer); - deserializer.decrease_container_depth(); - return obj; -} - -namespace Circuit { - inline bool operator==(const Opcode& lhs, const Opcode& rhs) { if (!(lhs.value == rhs.value)) { @@ -5690,141 +5597,6 @@ Circuit::Opcode::Directive serde::Deserializable::de namespace Circuit { -inline bool operator==(const Opcode::Block& lhs, const Opcode::Block& rhs) -{ - if (!(lhs.value == rhs.value)) { - return false; - } - return true; -} - -inline std::vector Opcode::Block::bincodeSerialize() const -{ - auto serializer = serde::BincodeSerializer(); - serde::Serializable::serialize(*this, serializer); - return std::move(serializer).bytes(); -} - -inline Opcode::Block Opcode::Block::bincodeDeserialize(std::vector input) -{ - auto deserializer = serde::BincodeDeserializer(input); - auto value = serde::Deserializable::deserialize(deserializer); - if (deserializer.get_buffer_offset() < input.size()) { - throw_or_abort("Some input bytes were not read"); - } - return value; -} - -} // end of namespace Circuit - -template <> -template -void serde::Serializable::serialize(const Circuit::Opcode::Block& obj, Serializer& serializer) -{ - serde::Serializable::serialize(obj.value, serializer); -} - -template <> -template -Circuit::Opcode::Block serde::Deserializable::deserialize(Deserializer& deserializer) -{ - Circuit::Opcode::Block obj; - obj.value = serde::Deserializable::deserialize(deserializer); - return obj; -} - -namespace Circuit { - -inline bool operator==(const Opcode::ROM& lhs, const Opcode::ROM& rhs) -{ - if (!(lhs.value == rhs.value)) { - return false; - } - return true; -} - -inline std::vector Opcode::ROM::bincodeSerialize() const -{ - auto serializer = serde::BincodeSerializer(); - serde::Serializable::serialize(*this, serializer); - return std::move(serializer).bytes(); -} - -inline Opcode::ROM Opcode::ROM::bincodeDeserialize(std::vector input) -{ - auto deserializer = serde::BincodeDeserializer(input); - auto value = serde::Deserializable::deserialize(deserializer); - if (deserializer.get_buffer_offset() < input.size()) { - throw_or_abort("Some input bytes were not read"); - } - return value; -} - -} // end of namespace Circuit - -template <> -template -void serde::Serializable::serialize(const Circuit::Opcode::ROM& obj, Serializer& serializer) -{ - serde::Serializable::serialize(obj.value, serializer); -} - -template <> -template -Circuit::Opcode::ROM serde::Deserializable::deserialize(Deserializer& deserializer) -{ - Circuit::Opcode::ROM obj; - obj.value = serde::Deserializable::deserialize(deserializer); - return obj; -} - -namespace Circuit { - -inline bool operator==(const Opcode::RAM& lhs, const Opcode::RAM& rhs) -{ - if (!(lhs.value == rhs.value)) { - return false; - } - return true; -} - -inline std::vector Opcode::RAM::bincodeSerialize() const -{ - auto serializer = serde::BincodeSerializer(); - serde::Serializable::serialize(*this, serializer); - return std::move(serializer).bytes(); -} - -inline Opcode::RAM Opcode::RAM::bincodeDeserialize(std::vector input) -{ - auto deserializer = serde::BincodeDeserializer(input); - auto value = serde::Deserializable::deserialize(deserializer); - if (deserializer.get_buffer_offset() < input.size()) { - throw_or_abort("Some input bytes were not read"); - } - return value; -} - -} // end of namespace Circuit - -template <> -template -void serde::Serializable::serialize(const Circuit::Opcode::RAM& obj, Serializer& serializer) -{ - serde::Serializable::serialize(obj.value, serializer); -} - -template <> -template -Circuit::Opcode::RAM serde::Deserializable::deserialize(Deserializer& deserializer) -{ - Circuit::Opcode::RAM obj; - obj.value = serde::Deserializable::deserialize(deserializer); - return obj; -} - -namespace Circuit { - inline bool operator==(const Opcode::Brillig& lhs, const Opcode::Brillig& rhs) { if (!(lhs.value == rhs.value)) { @@ -6426,4 +6198,4 @@ Circuit::Witness serde::Deserializable::deserialize(Deserializ obj.value = serde::Deserializable::deserialize(deserializer); deserializer.decrease_container_depth(); return obj; -} \ No newline at end of file +} diff --git a/circuits/cpp/barretenberg/ts/bin-test/target/main.json b/circuits/cpp/barretenberg/ts/bin-test/target/main.json deleted file mode 100644 index e0c75229a30..00000000000 --- a/circuits/cpp/barretenberg/ts/bin-test/target/main.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"verification_key","type":{"kind":"array","length":114,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"},{"name":"public_inputs","type":{"kind":"array","length":1,"type":{"kind":"field"}},"visibility":"private"},{"name":"key_hash","type":{"kind":"field"},"visibility":"private"},{"name":"input_aggregation_object","type":{"kind":"array","length":16,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof_b","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"}],"param_witnesses":{"input_aggregation_object":[211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226],"key_hash":[210],"proof":[115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208],"proof_b":[227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320],"public_inputs":[209],"verification_key":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114]},"return_type":{"kind":"array","length":16,"type":{"kind":"field"}},"return_witnesses":[337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352]},"bytecode":"H4sIAAAAAAAA/+3V05ObbRjA4WytrW3bdrdr79bWZ6Ofbdu2jdq2+y/UtvmkuXZmp8c96ME+M7+5cieZzJtJ5r2nxEUixSKxEx5G4kNTC80XI7HXoxZnCZZkKZZmGZZlOZZnBcazIiuxMquwKquxOmuwJmuxNuuwLuuxPhuwIRuxMZuwKZuxOVuwJVuxNduwLduxPTuwIzuxM7uwK7uxO3uwJ3uxN/uwL/uxPwdwIAcxgYOZyCQmM4WpTGM6M5jJLGYzh7nMYz6HcCiHcThHcCRHcTTHcCzHcTwncCIncTKn8AbeyJt4M2/hrbyNt/MO3sm7eDfv4b28j/dzaqHrjJ4HzA/yIT7MR/goH+PjfIJP8ik+zWf4LJ/j83yBL/IlvsxX+Cpf4+t8g2/yLb7Nd/gu3+P7/IAf8iN+zE/4KT/j5/yCX/Irfs1v+C2/4/f8gT/yJ/7MX/grf+Pv/IN/8i/+zX/4L//j/5zG6ZzBmZzF2ZzDuZzH+VzAhVzExVzCpVzG5VzBlVzF1VzDtVzH9dzAjdzEzYzuoejZYt7KK4siegaHdySGkkLJoZRQaigtlB7KCGWGskLZoZxQbigvlB9XtPiKFl/MBBYtvpjX2+LbZt7OHdzJXdzNPdzLfdzPAzzIQzzMIzzKYzzOEzzJUzzNMzzLczzPCyzoEqM3oKhxLMbiLMGSLMXSLMOyLMfyrMB4VmQlVmYVVmU1VmcN1mQt1mYd1mU91mcDNmQjNmYTNmUzNmcLtmQrtmYbtmU7tmcHdmQndmYXdmU3dmcP9mQv9mYf9mU/9ucADuQgJhT8/pHYuXrxxRVefNEnEpnEZKYwlWlMZwYzmcVs5jCXecwv+KO4jiFhHhoaFhoeGhEaGRoVGh0aExobGhcaH5oQmhiaFJpc8C2v4eddBhwvtmjWDgAA","proving_key":null,"verification_key":null,"gates":505505} \ No newline at end of file diff --git a/circuits/cpp/barretenberg/ts/bin-test/target/witness.tr b/circuits/cpp/barretenberg/ts/bin-test/target/witness.tr deleted file mode 100644 index 82e8cf3ff57..00000000000 Binary files a/circuits/cpp/barretenberg/ts/bin-test/target/witness.tr and /dev/null differ