feat: Circuit simulator

circuits/cpp/src/aztec3/circuits/abis/.test.cpp

@@ -9,7 +9,7 @@
 
 namespace {
 // Builder
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 
 // Types
 using CT = aztec3::utils::types::CircuitTypes<Builder>;

circuits/cpp/src/aztec3/circuits/apps/.test.cpp

@@ -25,7 +25,7 @@
 
 namespace {
 // Builder
-using C = UltraCircuitBuilder;
+using C = CircuitSimulatorBN254;
 
 // Types
 using CT = aztec3::utils::types::CircuitTypes<C>;

circuits/cpp/src/aztec3/circuits/apps/test_apps/basic_contract_deployment/init.hpp

@@ -11,10 +11,13 @@
 #include "aztec3/utils/types/convert.hpp"
 #include "aztec3/utils/types/native_types.hpp"
 
+#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
+
 namespace aztec3::circuits::apps::test_apps::basic_contract_deployment {
 
 // Builder
-using C = UltraCircuitBuilder;
+
+using C = CircuitSimulatorBN254;
 
 // Native and circuit types
 using CT = aztec3::utils::types::CircuitTypes<C>;

circuits/cpp/src/aztec3/circuits/apps/test_apps/escrow/.test.cpp

@@ -58,7 +58,7 @@ TEST_F(escrow_tests, circuit_deposit)
     // info("variables: ", builder.variables);
     info("failed?: ", builder.failed());
     info("err: ", builder.err());
-    info("n: ", builder.num_gates);
+    // info("n: ", builder.num_gates);
 }
 
 TEST_F(escrow_tests, circuit_transfer)
@@ -83,7 +83,7 @@ TEST_F(escrow_tests, circuit_transfer)
     // info("variables: ", builder.variables);
     info("failed?: ", builder.failed());
     info("err: ", builder.err());
-    info("n: ", builder.num_gates);
+    // info("n: ", builder.num_gates);
 }
 
 TEST_F(escrow_tests, circuit_withdraw)
@@ -107,7 +107,7 @@ TEST_F(escrow_tests, circuit_withdraw)
     // info("variables: ", builder.variables);
     info("failed?: ", builder.failed());
     info("err: ", builder.err());
-    info("n: ", builder.num_gates);
+    // info("n: ", builder.num_gates);
 }
 
 }  // namespace aztec3::circuits::apps::test_apps::escrow

circuits/cpp/src/aztec3/circuits/apps/test_apps/escrow/init.hpp

@@ -11,10 +11,14 @@
 #include "aztec3/utils/types/convert.hpp"
 #include "aztec3/utils/types/native_types.hpp"
 
+#include "barretenberg/proof_system/circuit_builder/circuit_simulator.hpp"
+#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
+
 namespace aztec3::circuits::apps::test_apps::escrow {
 
 // Builder
-using C = UltraCircuitBuilder;
+// WORKTODO: this is coupled to the circuit builder in the private kernel.
+using C = CircuitSimulatorBN254;
 
 // Native and circuit types
 using CT = aztec3::utils::types::CircuitTypes<C>;

circuits/cpp/src/aztec3/circuits/apps/test_apps/private_to_private_function_call/.test.cpp

@@ -56,7 +56,8 @@ TEST(private_to_private_function_call_tests, circuit_private_to_private_function
     // info("variables: ", fn1_builder.variables);
     info("failed?: ", fn1_builder.failed());
     info("err: ", fn1_builder.err());
-    info("n: ", fn1_builder.num_gates);
+    // info("n: ", fn1_builder.num_gates);
+    // WORKTODO: this test leads to a failing composer, but there are no expectations in the test.
 }
 
 }  // namespace aztec3::circuits::apps::test_apps::private_to_private_function_call

circuits/cpp/src/aztec3/circuits/apps/test_apps/private_to_private_function_call/function_2_1.cpp

@@ -41,7 +41,7 @@ void function_2_1(FunctionExecutionContext& exec_ctx, std::vector<NT::fr> const&
 
     auto product = a * b * c;
 
-    CT::address const unique_person_who_may_initialise = 999999;
+    CT::address const unique_person_who_may_initialise = { msg_sender.context_, 999999 };
 
     unique_person_who_may_initialise.assert_equal(msg_sender);
 

circuits/cpp/src/aztec3/circuits/apps/test_apps/private_to_private_function_call/init.hpp

@@ -13,7 +13,7 @@
 namespace aztec3::circuits::apps::test_apps::private_to_private_function_call {
 
 // Builder
-using C = UltraCircuitBuilder;
+using C = CircuitSimulatorBN254;
 
 // Native and circuit types
 using CT = aztec3::utils::types::CircuitTypes<C>;

circuits/cpp/src/aztec3/circuits/kernel/private/c_bind.cpp

@@ -12,7 +12,7 @@
 #include <array>
 
 namespace {
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 using NT = aztec3::utils::types::NativeTypes;
 using DummyBuilder = aztec3::utils::DummyCircuitBuilder;
 using aztec3::circuits::abis::PreviousKernelData;

circuits/cpp/src/aztec3/circuits/kernel/private/init.hpp

@@ -7,9 +7,11 @@
 #include "aztec3/utils/types/convert.hpp"
 #include "aztec3/utils/types/native_types.hpp"
 
+#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
+
 namespace aztec3::circuits::kernel::private_kernel {
 
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 
 using Aggregator = aztec3::circuits::recursion::Aggregator;
 

circuits/cpp/src/aztec3/circuits/kernel/public/c_bind.cpp

@@ -12,7 +12,7 @@
 #include <barretenberg/barretenberg.hpp>
 
 namespace {
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 using NT = aztec3::utils::types::NativeTypes;
 using DummyBuilder = aztec3::utils::DummyCircuitBuilder;
 using aztec3::circuits::abis::KernelCircuitPublicInputs;

circuits/cpp/src/aztec3/circuits/kernel/public/init.hpp

@@ -10,7 +10,7 @@
 
 namespace aztec3::circuits::kernel::public_kernel {
 
-using Builder = proof_system::UltraCircuitBuilder;
+using Builder = proof_system::CircuitSimulatorBN254;
 
 using Aggregator = aztec3::circuits::recursion::Aggregator;
 

circuits/cpp/src/aztec3/circuits/recursion/aggregator.hpp

@@ -14,7 +14,7 @@ class Aggregator {
         const CT::AggregationObject& previous_aggregation_output = CT::AggregationObject())
     {
         CT::AggregationObject result =
-            verify_proof<plonk::flavor::Ultra>(builder, vk, proof, previous_aggregation_output);
+            plonk::stdlib::recursion::verify_proof<Flavor>(builder, vk, proof, previous_aggregation_output);
 
         return result;
     }

circuits/cpp/src/aztec3/circuits/recursion/init.hpp

@@ -3,19 +3,21 @@
 #include "aztec3/utils/types/convert.hpp"
 #include "aztec3/utils/types/native_types.hpp"
 
+#include "barretenberg/plonk/flavor/flavor.hpp"
 #include <barretenberg/barretenberg.hpp>
 
 namespace aztec3::circuits::recursion {
 // Builder
-using Builder = UltraCircuitBuilder;
+using Flavor = proof_system::plonk::flavor::SimulatorBN254;
+// using Flavor = proof_system::plonk::flavor::Ultra;
+using Builder = typename Flavor::CircuitBuilder;
 
 // Generic types:
 using CT = aztec3::utils::types::CircuitTypes<Builder>;
 using NT = aztec3::utils::types::NativeTypes;
 using aztec3::utils::types::to_ct;
 
 // Recursion types and methods
-using plonk::stdlib::recursion::verify_proof;
 using transcript::Manifest;
 
 }  // namespace aztec3::circuits::recursion

circuits/cpp/src/aztec3/circuits/rollup/base/c_bind.cpp

@@ -11,7 +11,7 @@
 #include <barretenberg/barretenberg.hpp>
 
 namespace {
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 using NT = aztec3::utils::types::NativeTypes;
 using DummyBuilder = aztec3::utils::DummyCircuitBuilder;
 using aztec3::circuits::abis::BaseOrMergeRollupPublicInputs;

circuits/cpp/src/aztec3/circuits/rollup/root/c_bind.cpp

@@ -9,7 +9,7 @@
 #include <barretenberg/barretenberg.hpp>
 
 namespace {
-using Builder = UltraCircuitBuilder;
+using Builder = CircuitSimulatorBN254;
 using NT = aztec3::utils::types::NativeTypes;
 using DummyBuilder = aztec3::utils::DummyCircuitBuilder;
 using aztec3::circuits::rollup::native_root_rollup::root_rollup_circuit;