tally_cp.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/cp_handler.hpp>
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/examples/tally_cp.tcc>

Include dependency graph for tally_cp.hpp:

Go to the source code of this file.

Classes
class	libsnark::tally_pcd_message< FieldT >
class	libsnark::tally_pcd_local_data< FieldT >
class	libsnark::tally_cp_handler< FieldT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for the tally compliance predicate.

The tally compliance predicate has two purposes: (1) it exemplifies the use of interfaces declared in cp_handler.hpp, and (2) it enables us to test r1cs_pcd functionalities.

See

• libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/examples/run_r1cs_sp_ppzkpcd.hpp

• libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/examples/run_r1cs_mp_ppzkpcd.hpp for code that uses the tally compliance predicate.

  Author

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

  Copyright

  MIT license (see LICENSE file)

Definition in file tally_cp.hpp.