#include <extended_proof.hpp>
Public Member Functions | |
| extended_proof (typename snarkT::proof &&in_proof, libsnark::r1cs_primary_input< libff::Fr< ppT >> &&in_primary_inputs) | |
| const snarkT::proof & | get_proof () const |
| const libsnark::r1cs_primary_input< libff::Fr< ppT > > & | get_primary_inputs () const |
| std::ostream & | write_json (std::ostream &) const |
Detailed Description
template<typename ppT, typename snarkT>
class libzeth::extended_proof< ppT, snarkT >
An extended_proof is a data structure containing a proof and the corresponding primary inputs It corresponds to the data needed for the verifier to be able to run the verifying algorithm.
Definition at line 17 of file extended_proof.hpp.
Constructor & Destructor Documentation
◆ extended_proof()
template<typename ppT , typename snarkT >
| libzeth::extended_proof< ppT, snarkT >::extended_proof | ( | typename snarkT::proof && | in_proof, |
| libsnark::r1cs_primary_input< libff::Fr< ppT >> && | in_primary_inputs | ||
| ) |
Member Function Documentation
◆ get_primary_inputs()
template<typename ppT , typename snarkT >
| const libsnark::r1cs_primary_input<libff::Fr<ppT> >& libzeth::extended_proof< ppT, snarkT >::get_primary_inputs | ( | ) | const |
Here is the caller graph for this function:
◆ get_proof()
template<typename ppT , typename snarkT >
| const snarkT::proof& libzeth::extended_proof< ppT, snarkT >::get_proof | ( | ) | const |
Here is the caller graph for this function:
◆ write_json()
template<typename ppT , typename snarkT >
| std::ostream& libzeth::extended_proof< ppT, snarkT >::write_json | ( | std::ostream & | ) | const |
Here is the caller graph for this function:
The documentation for this class was generated from the following file:
- /home/runner/work/zeth/zeth/libzeth/core/extended_proof.hpp
