cp_handler.hpp File Reference

#include <libsnark/gadgetlib1/gadget.hpp>
#include <libsnark/gadgetlib1/protoboard.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.hpp>
#include <numeric>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/cp_handler.tcc>

Include dependency graph for cp_handler.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_variable< FieldT >
class	libsnark::r1cs_pcd_local_data_variable< FieldT >
class	libsnark::compliance_predicate_handler< FieldT, protoboardT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for a compliance predicate handler.

A compliance predicate handler is a base class for creating compliance predicates. It relies on classes declared in gadgetlib1.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file cp_handler.hpp.