purify::bppp::NormArgProof Struct Reference

Standalone BPPP norm-argument proof bundle with all verifier-side inputs. More...

#include <bppp.hpp>

Data Fields
ScalarBytes	rho {}
std::vector< PointBytes >	generators
std::vector< ScalarBytes >	c_vec
std::size_t	n_vec_len = 0
PointBytes	commitment {}
Bytes	proof

Detailed Description

Definition at line 109 of file bppp.hpp.

Field Documentation

c_vec

std::vector<ScalarBytes> purify::bppp::NormArgProof::c_vec

Definition at line 112 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

commitment

PointBytes purify::bppp::NormArgProof::commitment {}

Definition at line 114 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

generators

std::vector<PointBytes> purify::bppp::NormArgProof::generators

Definition at line 111 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

n_vec_len

std::size_t purify::bppp::NormArgProof::n_vec_len = 0

Definition at line 113 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

proof

Bytes purify::bppp::NormArgProof::proof

Definition at line 115 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

rho

ScalarBytes purify::bppp::NormArgProof::rho {}

Definition at line 110 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg(), purify::bppp::verify_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::verify_norm_arg_with_cache().

---

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

• include/purify/bppp.hpp