Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
libsnark
zk_proof_systems
ppzksnark
r1cs_ppzksnark
r1cs_ppzksnark_params.hpp
Go to the documentation of this file.
1
12
#ifndef R1CS_PPZKSNARK_PARAMS_HPP_
13
#define R1CS_PPZKSNARK_PARAMS_HPP_
14
15
#include <libff/algebra/curves/public_params.hpp>
16
#include <
libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp
>
17
18
namespace
libsnark
19
{
20
25
template
<
typename
ppT>
26
using
r1cs_ppzksnark_constraint_system
=
r1cs_constraint_system<libff::Fr<ppT>
>;
27
28
template
<
typename
ppT>
29
using
r1cs_ppzksnark_primary_input
=
r1cs_primary_input<libff::Fr<ppT>
>;
30
31
template
<
typename
ppT>
32
using
r1cs_ppzksnark_auxiliary_input
=
r1cs_auxiliary_input<libff::Fr<ppT>
>;
33
34
}
// namespace libsnark
35
36
#endif // R1CS_PPZKSNARK_PARAMS_HPP_
libsnark
Definition:
accumulation_vector.hpp:18
libsnark::r1cs_ppzksnark_primary_input
r1cs_primary_input< libff::Fr< ppT > > r1cs_ppzksnark_primary_input
Definition:
r1cs_ppzksnark_params.hpp:29
libsnark::r1cs_ppzksnark_auxiliary_input
r1cs_auxiliary_input< libff::Fr< ppT > > r1cs_ppzksnark_auxiliary_input
Definition:
r1cs_ppzksnark_params.hpp:32
libsnark::r1cs_auxiliary_input
std::vector< FieldT > r1cs_auxiliary_input
Definition:
r1cs.hpp:84
libsnark::r1cs_constraint_system< libff::Fr< ppT > >
libsnark::r1cs_primary_input
std::vector< FieldT > r1cs_primary_input
Definition:
r1cs.hpp:82
r1cs.hpp
Generated on Wed Jan 25 2023 11:05:58 for Clearmatics Libsnark by
1.8.17