Public Types | Static Public Member Functions | List of all members
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate > Class Template Reference

#include <prover.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >:

Public Types

typedef policy_type::auxiliary_input_type auxiliary_input_type
 
typedef policy_type::primary_input_type primary_input_type
 
typedef policy_type::proof_type proof_type
 
typedef policy_type::proving_key_type proving_key_type
 
typedef policy_type::proving_srs_type proving_srs_type
 

Static Public Member Functions

static basic_proof_type process (const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
 
template<typename Hash , typename InputTranscriptIncludeIterator , typename InputProofIterator >
static proof_type process (const proving_srs_type &srs, InputTranscriptIncludeIterator transcript_include_first, InputTranscriptIncludeIterator transcript_include_last, InputProofIterator proofs_first, InputProofIterator proofs_last)
 

Member Typedef Documentation

◆ auxiliary_input_type

template<typename CurveType >
typedef policy_type::auxiliary_input_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::auxiliary_input_type

◆ primary_input_type

template<typename CurveType >
typedef policy_type::primary_input_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::primary_input_type

◆ proof_type

template<typename CurveType >
typedef policy_type::proof_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::proof_type

◆ proving_key_type

template<typename CurveType >
typedef policy_type::proving_key_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::proving_key_type

◆ proving_srs_type

template<typename CurveType >
typedef policy_type::proving_srs_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::proving_srs_type

Member Function Documentation

◆ process() [1/2]

template<typename CurveType >
static basic_proof_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::process ( const proving_key_type &  pk,
const primary_input_type &  primary_input,
const auxiliary_input_type &  auxiliary_input 
)
inlinestatic

◆ process() [2/2]

template<typename CurveType >
template<typename Hash , typename InputTranscriptIncludeIterator , typename InputProofIterator >
static proof_type nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >::process ( const proving_srs_type &  srs,
InputTranscriptIncludeIterator  transcript_include_first,
InputTranscriptIncludeIterator  transcript_include_last,
InputProofIterator  proofs_first,
InputProofIterator  proofs_last 
)
inlinestatic
The documentation for this class was generated from the following file: