compliance_predicate.hpp File Reference

#include <memory>
#include <set>
#include <nil/crypto3/zk/snark/relations/constraint_satisfaction_problems/r1cs.hpp>

Include dependency graph for compliance_predicate.hpp:

Go to the source code of this file.

Classes
class	nil::crypto3::zk::snark::r1cs_pcd_compliance_predicate< FieldType >
struct	nil::crypto3::zk::snark::r1cs_pcd_local_data< FieldType >
struct	nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >

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

Typedefs
template<typename FieldType >
using	nil::crypto3::zk::snark::r1cs_pcd_witness = std::vector< typename FieldType::value_type >