compliance_predicate.hpp File Reference

#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
#include <memory>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.tcc>

Include dependency graph for compliance_predicate.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::r1cs_pcd_message< FieldT >
class	libsnark::r1cs_pcd_local_data< FieldT >
class	libsnark::r1cs_pcd_compliance_predicate< FieldT >
class	libsnark::r1cs_pcd_compliance_predicate< FieldT >

Namespaces
	libsnark

Typedefs
template<typename FieldT >
using	libsnark::r1cs_pcd_witness = std::vector< FieldT >

Functions
template<typename FieldT >
std::ostream &	libsnark::operator<< (std::ostream &out, const r1cs_pcd_compliance_predicate< FieldT > &cp)
template<typename FieldT >
std::istream &	libsnark::operator>> (std::istream &in, r1cs_pcd_compliance_predicate< FieldT > &cp)

Detailed Description

Declaration of interfaces for a compliance predicate for R1CS PCD.

A compliance predicate specifies a local invariant to be enforced, by PCD, throughout a dynamic distributed computation. A compliance predicate receives input messages, local data, and an output message (and perhaps some other auxiliary information), and then either accepts or rejects.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file compliance_predicate.hpp.