r1cs.hpp File Reference
#include <cstdlib>
#include <vector>
#include <nil/crypto3/zk/snark/relations/variable.hpp>
+ Include dependency graph for r1cs.hpp:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  nil::crypto3::zk::snark::r1cs_constraint< FieldType >
 
struct  nil::crypto3::zk::snark::r1cs_constraint_system< FieldType >
 

Namespaces

 nil
 
 nil::crypto3
 
 nil::crypto3::zk
 
 nil::crypto3::zk::snark
 

Typedefs

template<typename FieldType >
using nil::crypto3::zk::snark::r1cs_auxiliary_input = std::vector< typename FieldType::value_type >
 
template<typename FieldType >
using nil::crypto3::zk::snark::r1cs_primary_input = std::vector< typename FieldType::value_type >
 
template<typename FieldType >
using nil::crypto3::zk::snark::r1cs_variable_assignment = std::vector< typename FieldType::value_type >