Skip to content

Commit

Permalink
fix compilation
Browse files Browse the repository at this point in the history
  • Loading branch information
lucasxia01 committed May 6, 2024
1 parent cb9757b commit bd964d1
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions barretenberg/cpp/src/barretenberg/ultra_honk/ultra_prover.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ template <IsUltraFlavor Flavor> HonkProof UltraProver_<Flavor>::export_proof()
}
template <IsUltraFlavor Flavor> void UltraProver_<Flavor>::generate_gate_challenges()
{
std::vector<FF> gate_challenges(numeric::get_msb(instance->proving_key->circuit_size));
std::vector<FF> gate_challenges(numeric::get_msb(instance->proving_key.circuit_size));
for (size_t idx = 0; idx < gate_challenges.size(); idx++) {
gate_challenges[idx] = transcript->template get_challenge<FF>("Sumcheck:gate_challenge_" + std::to_string(idx));
}
Expand All @@ -48,12 +48,11 @@ template <IsUltraFlavor Flavor> void UltraProver_<Flavor>::generate_gate_challen

template <IsUltraFlavor Flavor> HonkProof UltraProver_<Flavor>::construct_proof()
{
OinkProver<GoblinUltraFlavor> oink_prover(instance->proving_key, transcript);
OinkProver<Flavor> oink_prover(instance->proving_key, transcript);
auto [proving_key, relation_params, alphas] = oink_prover.prove();
instance->proving_key = std::move(proving_key);
instance->relation_parameters = std::move(relation_params);
instance->alphas = alphas;
instance->prover_polynomials = ProverPolynomials(instance->proving_key);

generate_gate_challenges();

Expand Down

0 comments on commit bd964d1

Please sign in to comment.