Splitting turbo composer (AztecProtocol/barretenberg#266)

* Turbo Circuit Constructor working * Turbo!! And also fixed some of the fuzzer compilation issues * Luke: Addressing my own comments and adding minor TODOs where necessary --------- Co-authored-by: ledwards2225 <[email protected]>
AztecProtocol · Mar 29, 2023 · 1cea2e2 · 1cea2e2
1 parent 8049dd7
commit 1cea2e2
Show file tree

Hide file tree

Showing 25 changed files with 4,184 additions and 133 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/honk/circuit_constructors/circuit_constructor_base.cpp b/barretenberg/cpp/src/barretenberg/honk/circuit_constructors/circuit_constructor_base.cpp
@@ -42,4 +42,5 @@ void CircuitConstructorBase<program_width_>::assert_equal(const uint32_t a_varia
 }
 // Standard honk/ plonk instantiation
 template class CircuitConstructorBase<3>;
+template class CircuitConstructorBase<4>;
 } // namespace bonk
diff --git a/barretenberg/cpp/src/barretenberg/honk/circuit_constructors/standard_circuit_constructor.hpp b/barretenberg/cpp/src/barretenberg/honk/circuit_constructors/standard_circuit_constructor.hpp
@@ -11,7 +11,7 @@ inline std::vector<std::string> standard_selector_names()
     return result;
 }
 
-class StandardCircuitConstructor : public CircuitConstructorBase<STANDARD_HONK_WIDTH> {
+class StandardCircuitConstructor : public CircuitConstructorBase<STANDARD_WIDTH> {
   public:
     // TODO(#216)(Kesha): replace this with Honk enums after we have a verifier and no longer depend on plonk
     // prover/verifier