uscs.hpp File Reference
#include <cstdlib>
#include <vector>
#include <nil/crypto3/zk/snark/relations/variable.hpp>
+ Include dependency graph for uscs.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::uscs_constraint_system< FieldType >
 

Namespaces

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

Typedefs

template<typename FieldType >
using nil::crypto3::zk::snark::uscs_auxiliary_input = std::vector< typename FieldType::value_type >
 
template<typename FieldType >
using nil::crypto3::zk::snark::uscs_constraint = linear_combination< FieldType >
 
template<typename FieldType >
using nil::crypto3::zk::snark::uscs_primary_input = std::vector< typename FieldType::value_type >
 
template<typename FieldType >
using nil::crypto3::zk::snark::uscs_variable_assignment = std::vector< typename FieldType::value_type >