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

#include <verifier.hpp>

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

Public Types

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::verification_key_type verification_key_type
 

Static Public Member Functions

static bool process (const processed_verification_key_type &pvk, const primary_input_type &primary_input, const proof_type &proof)
 
static bool process (const verification_key_type &vk, const primary_input_type &primary_input, const proof_type &proof)
 

Member Typedef Documentation

◆ primary_input_type

template<typename CurveType >
typedef policy_type::primary_input_type nil::crypto3::zk::snark::uscs_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::uscs_ppzksnark_verifier_weak_input_consistency< CurveType >::processed_verification_key_type

◆ proof_type

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

◆ verification_key_type

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

Member Function Documentation

◆ process() [1/2]

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

A verifier algorithm for the USCS 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::uscs_ppzksnark_verifier_weak_input_consistency< CurveType >::process ( const verification_key_type &  vk,
const primary_input_type &  primary_input,
const proof_type &  proof 
)
inlinestatic

A verifier algorithm for the USCS 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: