Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
libsnark
zk_proof_systems
ppzksnark
bacs_ppzksnark
bacs_ppzksnark_params.hpp
Go to the documentation of this file.
1
12
#ifndef BACS_PPZKSNARK_PARAMS_HPP_
13
#define BACS_PPZKSNARK_PARAMS_HPP_
14
15
#include <libff/algebra/curves/public_params.hpp>
16
#include <
libsnark/relations/circuit_satisfaction_problems/bacs/bacs.hpp
>
17
18
namespace
libsnark
19
{
20
25
template
<
typename
ppT>
26
using
bacs_ppzksnark_circuit
=
bacs_circuit<libff::Fr<ppT>
>;
27
28
template
<
typename
ppT>
29
using
bacs_ppzksnark_primary_input
=
bacs_primary_input<libff::Fr<ppT>
>;
30
31
template
<
typename
ppT>
32
using
bacs_ppzksnark_auxiliary_input
=
bacs_auxiliary_input<libff::Fr<ppT>
>;
33
34
}
// namespace libsnark
35
36
#endif // BACS_PPZKSNARK_PARAMS_HPP_
libsnark::bacs_circuit
Definition:
bacs.hpp:89
libsnark
Definition:
accumulation_vector.hpp:18
bacs.hpp
libsnark::bacs_ppzksnark_auxiliary_input
bacs_auxiliary_input< libff::Fr< ppT > > bacs_ppzksnark_auxiliary_input
Definition:
bacs_ppzksnark_params.hpp:32
libsnark::bacs_ppzksnark_primary_input
bacs_primary_input< libff::Fr< ppT > > bacs_ppzksnark_primary_input
Definition:
bacs_ppzksnark_params.hpp:29
libsnark::bacs_auxiliary_input
bacs_variable_assignment< FieldT > bacs_auxiliary_input
Definition:
bacs.hpp:85
libsnark::bacs_primary_input
bacs_variable_assignment< FieldT > bacs_primary_input
Definition:
bacs.hpp:79
Generated on Wed Jan 25 2023 11:05:58 for Clearmatics Libsnark by
1.8.17