Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
libsnark
zk_proof_systems
ppzksnark
uscs_ppzksnark
uscs_ppzksnark_params.hpp
Go to the documentation of this file.
1
12
#ifndef USCS_PPZKSNARK_PARAMS_HPP_
13
#define USCS_PPZKSNARK_PARAMS_HPP_
14
15
#include <libff/algebra/curves/public_params.hpp>
16
#include <
libsnark/relations/constraint_satisfaction_problems/uscs/uscs.hpp
>
17
18
namespace
libsnark
19
{
20
25
template
<
typename
ppT>
26
using
uscs_ppzksnark_constraint_system
=
uscs_constraint_system<libff::Fr<ppT>
>;
27
28
template
<
typename
ppT>
29
using
uscs_ppzksnark_primary_input
=
uscs_primary_input<libff::Fr<ppT>
>;
30
31
template
<
typename
ppT>
32
using
uscs_ppzksnark_auxiliary_input
=
uscs_auxiliary_input<libff::Fr<ppT>
>;
33
34
}
// namespace libsnark
35
36
#endif // USCS_PPZKSNARK_PARAMS_HPP_
libsnark
Definition:
accumulation_vector.hpp:18
libsnark::uscs_ppzksnark_primary_input
uscs_primary_input< libff::Fr< ppT > > uscs_ppzksnark_primary_input
Definition:
uscs_ppzksnark_params.hpp:29
libsnark::uscs_constraint_system
Definition:
uscs.hpp:57
uscs.hpp
libsnark::uscs_primary_input
std::vector< FieldT > uscs_primary_input
Definition:
uscs.hpp:49
libsnark::uscs_ppzksnark_auxiliary_input
uscs_auxiliary_input< libff::Fr< ppT > > uscs_ppzksnark_auxiliary_input
Definition:
uscs_ppzksnark_params.hpp:32
libsnark::uscs_auxiliary_input
std::vector< FieldT > uscs_auxiliary_input
Definition:
uscs.hpp:51
Generated on Wed Jan 25 2023 11:05:58 for Clearmatics Libsnark by
1.8.17