nil::crypto3::zk::components::component_from_r1cs< FieldType > Class Template Reference

#include <component_from_r1cs.hpp>

Inheritance diagram for nil::crypto3::zk::components::component_from_r1cs< FieldType >:

Collaboration diagram for nil::crypto3::zk::components::component_from_r1cs< FieldType >:

Public Member Functions
	component_from_r1cs (blueprint< FieldType > &bp, const std::vector< blueprint_variable_vector< FieldType >> &vars, const snark::r1cs_constraint_system< FieldType > &cs)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness (const snark::r1cs_primary_input< FieldType > &primary_input, const snark::r1cs_auxiliary_input< FieldType > &auxiliary_input)

Protected Attributes
blueprint< FieldType > &	bp

Constructor & Destructor Documentation

component_from_r1cs()

template<typename FieldType >

nil::crypto3::zk::components::component_from_r1cs< FieldType >::component_from_r1cs ( blueprint< FieldType > &  bp, const std::vector< blueprint_variable_vector< FieldType >> &  vars, const snark::r1cs_constraint_system< FieldType > &  cs  )

inline

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldType >

void nil::crypto3::zk::components::component_from_r1cs< FieldType >::generate_r1cs_constraints ( )

inline

generate_r1cs_witness()

template<typename FieldType >

void nil::crypto3::zk::components::component_from_r1cs< FieldType >::generate_r1cs_witness ( const snark::r1cs_primary_input< FieldType > &  primary_input, const snark::r1cs_auxiliary_input< FieldType > &  auxiliary_input  )

inline

Member Data Documentation

bp

template<typename FieldType >

blueprint<FieldType>& nil::crypto3::zk::components::component< FieldType >::bp

protectedinherited

---

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

• component_from_r1cs.hpp