nil::crypto3::zk::snark::r1cs_ppzksnark_verifier_strong_input_consistency< CurveType > Class Template Reference

#include <verifier.hpp>

+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_ppzksnark_verifier_strong_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 &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

◆ primary_input_type

◆ processed_verification_key_type

◆ proof_type

◆ verification_key_type

Member Function Documentation

◆ process() [1/2]

template<typename CurveType >
static bool nil::crypto3::zk::snark::r1cs_ppzksnark_verifier_strong_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 R1CS ppzkSNARK that: (1) accepts a processed verification key, and (2) has strong input consistency.

◆ process() [2/2]

template<typename CurveType >
static bool nil::crypto3::zk::snark::r1cs_ppzksnark_verifier_strong_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 R1CS ppzkSNARK that: (1) accepts a non-processed verification key, and (2) has strong input consistency.


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