Skip to content

Commit

Permalink
Revert "fix: add NUM_RESERVED_GATES before fetching subgroup size in …
Browse files Browse the repository at this point in the history
…composer (#539)"

This reverts commit fa11abf.
  • Loading branch information
vezenovm authored Jun 16, 2023
1 parent fa11abf commit cf0d121
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions cpp/src/barretenberg/dsl/acir_proofs/acir_composer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,7 @@ void AcirComposer::create_circuit(acir_format::acir_format& constraint_system)

exact_circuit_size_ = composer_.get_num_gates();
total_circuit_size_ = composer_.get_total_circuit_size();
circuit_subgroup_size_ =
composer_.get_circuit_subgroup_size(total_circuit_size_ + composer_.composer_helper.NUM_RESERVED_GATES);
circuit_subgroup_size_ = composer_.get_circuit_subgroup_size(total_circuit_size_);
size_hint_ = circuit_subgroup_size_;
}

Expand All @@ -45,8 +44,7 @@ void AcirComposer::init_proving_key(std::shared_ptr<barretenberg::srs::factories

exact_circuit_size_ = composer_.get_num_gates();
total_circuit_size_ = composer_.get_total_circuit_size();
circuit_subgroup_size_ =
composer_.get_circuit_subgroup_size(total_circuit_size_ + composer_.composer_helper.NUM_RESERVED_GATES);
circuit_subgroup_size_ = composer_.get_circuit_subgroup_size(total_circuit_size_);

info("computing proving key...");
proving_key_ = composer_.compute_proving_key();
Expand Down

0 comments on commit cf0d121

Please sign in to comment.