Skip to content

Commit

Permalink
name update
Browse files Browse the repository at this point in the history
  • Loading branch information
ledwards2225 committed Nov 30, 2023
1 parent 407e298 commit d3aef26
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ template <typename BuilderType> class GoblinRecursiveVerifierTest : public testi
using VerificationKey = typename RecursiveVerifier::VerificationKey;

// Helper for getting composer for prover/verifier of recursive (outer) circuit
template <typename BuilderT> static auto get_composer()
template <typename BuilderT> static auto get_outer_composer()
{
if constexpr (IsGoblinBuilder<BuilderT>) {
return GoblinUltraComposer();
Expand Down Expand Up @@ -211,7 +211,7 @@ template <typename BuilderType> class GoblinRecursiveVerifierTest : public testi

// Check 3: Construct and verify a proof of the recursive verifier circuit
{
auto composer = get_composer<OuterBuilder>();
auto composer = get_outer_composer<OuterBuilder>();
auto instance = composer.create_instance(outer_circuit);
auto prover = composer.create_prover(instance);
auto verifier = composer.create_verifier(instance);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ template <typename BuilderType> class RecursiveVerifierTest : public testing::Te
using VerificationKey = typename RecursiveVerifier::VerificationKey;

// Helper for getting composer for prover/verifier of recursive (outer) circuit
template <typename BuilderT> static auto get_composer()
template <typename BuilderT> static auto get_outer_composer()
{
if constexpr (IsGoblinBuilder<BuilderT>) {
return GoblinUltraComposer();
Expand Down Expand Up @@ -195,7 +195,7 @@ template <typename BuilderType> class RecursiveVerifierTest : public testing::Te

// Check 3: Construct and verify a proof of the recursive verifier circuit
{
auto composer = get_composer<OuterBuilder>();
auto composer = get_outer_composer<OuterBuilder>();
auto instance = composer.create_instance(outer_circuit);
auto prover = composer.create_prover(instance);
auto verifier = composer.create_verifier(instance);
Expand Down

0 comments on commit d3aef26

Please sign in to comment.