nil::crypto3::zk::snark::r1cs_se_ppzksnark_verifier_weak_input_consistency< CurveType > Class Template Reference
#include <verifier.hpp>
Collaboration diagram for nil::crypto3::zk::snark::r1cs_se_ppzksnark_verifier_weak_input_consistency< CurveType >:
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 &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::r1cs_se_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::r1cs_se_ppzksnark_verifier_weak_input_consistency< CurveType >::processed_verification_key_type |
◆ proof_type
template<typename CurveType >
typedef policy_type::proof_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verifier_weak_input_consistency< CurveType >::proof_type |
◆ verification_key_type
template<typename CurveType >
typedef policy_type::verification_key_type nil::crypto3::zk::snark::r1cs_se_ppzksnark_verifier_weak_input_consistency< CurveType >::verification_key_type |
Member Function Documentation
◆ process() [1/2]
template<typename CurveType >
|
inlinestatic |
A verifier algorithm for the R1CS ppzkSNARK that: (1) accepts a processed verification key, and (2) has weak input consistency.
e(A*G^{alpha}, B*H^{beta}) = e(G^{alpha}, H^{beta}) * e(G^{psi}, H^{gamma})
- e(C, H) where psi = \sum_{i=0}^l input_i processed_verification_key.query[i]
e(A, H^{gamma}) = e(G^{gamma}, B)
◆ process() [2/2]
template<typename CurveType >
|
inlinestatic |
A verifier algorithm for the R1CS SEppzkSNARK 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: