ppzkpcd_compliance_predicate.hpp File Reference
#include <nil/crypto3/zk/snark/schemes/pcd/r1cs_pcd/compliance_predicate.hpp>
Include dependency graph for ppzkpcd_compliance_predicate.hpp:
Go to the source code of this file.
Namespaces | |
nil | |
nil::crypto3 | |
nil::crypto3::zk | |
nil::crypto3::zk::snark | |
Typedefs | |
template<typename PCD_ppT > | |
using | nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_compliance_predicate = r1cs_pcd_compliance_predicate< algebra::Fr< typename PCD_ppT::curve_A_pp > > |
template<typename PCD_ppT > | |
using | nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_local_data = r1cs_pcd_local_data< algebra::Fr< typename PCD_ppT::curve_A_pp > > |
template<typename PCD_ppT > | |
using | nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_message = r1cs_pcd_message< algebra::Fr< typename PCD_ppT::curve_A_pp > > |
template<typename PCD_ppT > | |
using | nil::crypto3::zk::snark::r1cs_mp_ppzkpcd_variable_assignment = r1cs_variable_assignment< algebra::Fr< typename PCD_ppT::curve_A_pp > > |