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

#include <verifier.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >:

Public Types

typedef policy_type::auxiliary_input_type auxiliary_input_type
 
typedef policy_type::circuit_type circuit_type
 
typedef policy_type::keypair_type keypair_type
 
typedef policy_type::primary_input_type primary_input_type
 
typedef policy_type::processed_verification_key_type processed_verification_key_type
 
typedef policy_type::proof_type proof_type
 
typedef policy_type::proving_key_type proving_key_type
 
typedef policy_type::verification_key_type verification_key_type
 

Static Public Member Functions

static bool process (const processed_verification_key_type &processed_verification_key, const primary_input_type &primary_input, const proof_type &proof)
 
static bool process (const verification_key_type &verification_key, const primary_input_type &primary_input, const proof_type &proof)
 

Member Typedef Documentation

◆ auxiliary_input_type

template<typename CurveType >
typedef policy_type::auxiliary_input_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::auxiliary_input_type

◆ circuit_type

template<typename CurveType >
typedef policy_type::circuit_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::circuit_type

◆ keypair_type

template<typename CurveType >
typedef policy_type::keypair_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::keypair_type

◆ primary_input_type

template<typename CurveType >
typedef policy_type::primary_input_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::primary_input_type

◆ processed_verification_key_type

template<typename CurveType >
typedef policy_type::processed_verification_key_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::processed_verification_key_type

◆ proof_type

template<typename CurveType >
typedef policy_type::proof_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::proof_type

◆ proving_key_type

template<typename CurveType >
typedef policy_type::proving_key_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::proving_key_type

◆ verification_key_type

template<typename CurveType >
typedef policy_type::verification_key_type nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::verification_key_type

Member Function Documentation

◆ process() [1/2]

template<typename CurveType >
static bool nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::process ( const processed_verification_key_type &  processed_verification_key,
const primary_input_type &  primary_input,
const proof_type &  proof 
)
inlinestatic

A verifier algorithm for the BACS ppzkSNARK that: (1) accepts a processed verification key, and (2) has weak input consistency.

◆ process() [2/2]

template<typename CurveType >
static bool nil::crypto3::zk::snark::bacs_ppzksnark_verifier_weak_input_consistency< CurveType >::process ( const verification_key_type &  verification_key,
const primary_input_type &  primary_input,
const proof_type &  proof 
)
inlinestatic

A verifier algorithm for the BACS ppzkSNARK that: (1) accepts a non-processed verification key, and (2) has weak input consistency.

The documentation for this class was generated from the following file: