Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
libsnark
zk_proof_systems
ppzksnark
r1cs_gg_ppzksnark
r1cs_gg_ppzksnark_params.hpp
Go to the documentation of this file.
1
12
#ifndef R1CS_GG_PPZKSNARK_PARAMS_HPP_
13
#define R1CS_GG_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_gg_ppzksnark_constraint_system
=
27
r1cs_constraint_system<libff::Fr<ppT>
>;
28
29
template
<
typename
ppT>
30
using
r1cs_gg_ppzksnark_primary_input
=
r1cs_primary_input<libff::Fr<ppT>
>;
31
32
template
<
typename
ppT>
33
using
r1cs_gg_ppzksnark_auxiliary_input
=
r1cs_auxiliary_input<libff::Fr<ppT>
>;
34
35
}
// namespace libsnark
36
37
#endif // R1CS_GG_PPZKSNARK_PARAMS_HPP_
libsnark::r1cs_gg_ppzksnark_auxiliary_input
r1cs_auxiliary_input< libff::Fr< ppT > > r1cs_gg_ppzksnark_auxiliary_input
Definition:
r1cs_gg_ppzksnark_params.hpp:33
libsnark
Definition:
accumulation_vector.hpp:18
libsnark::r1cs_gg_ppzksnark_primary_input
r1cs_primary_input< libff::Fr< ppT > > r1cs_gg_ppzksnark_primary_input
Definition:
r1cs_gg_ppzksnark_params.hpp:30
libsnark::r1cs_gg_ppzksnark_constraint_system
r1cs_constraint_system< libff::Fr< ppT > > r1cs_gg_ppzksnark_constraint_system
Definition:
r1cs_gg_ppzksnark_params.hpp:27
libsnark::r1cs_auxiliary_input
std::vector< FieldT > r1cs_auxiliary_input
Definition:
r1cs.hpp:84
libsnark::r1cs_constraint_system
Definition:
protoboard.hpp:25
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