Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <libff/algebra/curves/public_params.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
Go to the source code of this file.
Namespaces | |
libsnark | |
Typedefs | |
template<typename ppT > | |
using | libsnark::r1cs_se_ppzksnark_constraint_system = r1cs_constraint_system< libff::Fr< ppT > > |
template<typename ppT > | |
using | libsnark::r1cs_se_ppzksnark_primary_input = r1cs_primary_input< libff::Fr< ppT > > |
template<typename ppT > | |
using | libsnark::r1cs_se_ppzksnark_auxiliary_input = r1cs_auxiliary_input< libff::Fr< ppT > > |
Declaration of public-parameter selector for the R1CS SEppzkSNARK.
Definition in file r1cs_se_ppzksnark_params.hpp.