Skip to content

Commit

Permalink
Splitting turbo composer (#266)
Browse files Browse the repository at this point in the history
* 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]>
  • Loading branch information
Rumata888 and ledwards2225 authored Mar 29, 2023
1 parent 561a229 commit c3d757a
Show file tree
Hide file tree
Showing 25 changed files with 4,184 additions and 133 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading

0 comments on commit c3d757a

Please sign in to comment.