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

#include <tbcs_to_uscs.hpp>

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

Public Types
typedef FieldType	field_type

Static Public Member Functions
static uscs_constraint_system< FieldType >	instance_map (const tbcs_circuit &circuit)
static uscs_variable_assignment< FieldType >	witness_map (const tbcs_circuit &circuit, const tbcs_primary_input &primary_input, const tbcs_auxiliary_input &auxiliary_input)

Member Typedef Documentation

field_type

template<typename FieldType >

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

Member Function Documentation

instance_map()

template<typename FieldType >

static uscs_constraint_system<FieldType> nil::crypto3::zk::snark::reductions::tbcs_to_uscs< FieldType >::instance_map ( const tbcs_circuit &  circuit )

inlinestatic

Instance map for the TBCS-to-USCS reduction.

witness_map()

template<typename FieldType >

static uscs_variable_assignment<FieldType> nil::crypto3::zk::snark::reductions::tbcs_to_uscs< FieldType >::witness_map ( const tbcs_circuit &  circuit, const tbcs_primary_input &  primary_input, const tbcs_auxiliary_input &  auxiliary_input  )

inlinestatic

Witness map for the TBCS-to-USCS reduction.

---

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

• tbcs_to_uscs.hpp