Skip to content

Commit

Permalink
Changing plonk_variable template type.
Browse files Browse the repository at this point in the history
  • Loading branch information
martun authored and nkaskov committed Jul 26, 2023
1 parent 72247a7 commit 91650cb
Showing 1 changed file with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ namespace nil {
this->rotated_constant = false;
this->rotated_selector = false;

using variable_type = nil::crypto3::zk::snark::plonk_variable<FieldType>;
using variable_type = nil::crypto3::zk::snark::plonk_variable<typename FieldType::value_type>;
std::size_t offset = 0x80;

// compute needed and rotated vars
Expand Down Expand Up @@ -269,7 +269,7 @@ namespace nil {
static inline columns_rotations_type columns_rotations(
ArithmetizationType &constraint_system, const TableDescriptionType &table_description
) {
using variable_type = nil::crypto3::zk::snark::plonk_variable<FieldType>;
using variable_type = nil::crypto3::zk::snark::plonk_variable<typename FieldType::value_type>;

columns_rotations_type result;
for (const auto& gate: constraint_system.gates()) {
Expand Down Expand Up @@ -311,10 +311,10 @@ namespace nil {

static std::string generate_variable(
const profiling_params_type &profiling_params,
const nil::crypto3::zk::snark::plonk_variable<FieldType> &var,
const nil::crypto3::zk::snark::plonk_variable<typename FieldType::value_type> &var,
columns_rotations_type &columns_rotations
) {
using variable_type = nil::crypto3::zk::snark::plonk_variable<FieldType>;
using variable_type = nil::crypto3::zk::snark::plonk_variable<typename FieldType::value_type>;

std::stringstream res;
std::size_t index = var.index;
Expand Down Expand Up @@ -425,7 +425,7 @@ namespace nil {
const typename nil::crypto3::zk::snark::plonk_constraint<FieldType> &constraint,
columns_rotations_type &columns_rotations
) {
using variable_type = nil::crypto3::zk::snark::plonk_variable<FieldType>;
using variable_type = nil::crypto3::zk::snark::plonk_variable<typename FieldType::value_type>;

std::stringstream res;
res << "\t\t\tmstore(add(local_vars, CONSTRAINT_EVAL_OFFSET), 0)" << std::endl;
Expand Down

0 comments on commit 91650cb

Please sign in to comment.