Skip to content

Commit

Permalink
Fix parameters just for debug #83
Browse files Browse the repository at this point in the history
  • Loading branch information
ETatuzova committed Apr 28, 2024
1 parent 92d1f64 commit 76ac318
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions bin/proof-generator/include/nil/proof-generator/prover.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,8 @@ namespace nil {
proof,
*table_description_,
*constraint_system_,
*lpc_scheme_
*lpc_scheme_,
0
);

if (verification_result) {
Expand Down Expand Up @@ -312,13 +313,14 @@ namespace nil {
nil::crypto3::marshalling::types::make_assignment_table<Endianness, AssignmentTable>(
*marshalled_table
);

public_inputs_ = assignment_table.public_inputs();
table_description_.emplace(table_description);

// Lambdas and grinding bits should be passed threw preprocessor directives
std::size_t table_rows_log = std::ceil(std::log2(table_description_->rows_amount));

fri_params_.emplace(FriParams(1, table_rows_log, lambda_, expand_factor_));
fri_params_.emplace(FriParams(1, table_rows_log, lambda_, 2));
// fri_params_.emplace(FriParams(1, table_rows_log, lambda_, expand_factor_));
lpc_scheme_.emplace(*fri_params_);

Expand Down

0 comments on commit 76ac318

Please sign in to comment.