nil::crypto3::zk::snark::reductions::bacs_to_r1cs< FieldType > Struct Template Reference

#include <bacs_to_r1cs.hpp>

Collaboration diagram for nil::crypto3::zk::snark::reductions::bacs_to_r1cs< FieldType >:

Public Types
typedef FieldType	field_type

Static Public Member Functions
static r1cs_constraint_system< FieldType >	instance_map (const bacs_circuit< FieldType > &circuit)
static r1cs_variable_assignment< FieldType >	witness_map (const bacs_circuit< FieldType > &circuit, const bacs_primary_input< FieldType > &primary_input, const bacs_auxiliary_input< FieldType > &auxiliary_input)

Member Typedef Documentation

field_type

template<typename FieldType >

typedef FieldType nil::crypto3::zk::snark::reductions::bacs_to_r1cs< FieldType >::field_type

Member Function Documentation

instance_map()

template<typename FieldType >

static r1cs_constraint_system<FieldType> nil::crypto3::zk::snark::reductions::bacs_to_r1cs< FieldType >::instance_map ( const bacs_circuit< FieldType > &  circuit )

inlinestatic

Instance map for the BACS-to-R1CS reduction.

witness_map()

template<typename FieldType >

static r1cs_variable_assignment<FieldType> nil::crypto3::zk::snark::reductions::bacs_to_r1cs< FieldType >::witness_map ( const bacs_circuit< FieldType > &  circuit, const bacs_primary_input< FieldType > &  primary_input, const bacs_auxiliary_input< FieldType > &  auxiliary_input  )

inlinestatic

Witness map for the BACS-to-R1CS reduction.

---

The documentation for this struct was generated from the following file:

• bacs_to_r1cs.hpp