purify::bppp::NormArgInputs Struct Reference

Inputs for norm commitment computation and standalone BPPP proofs. Proving requires power-of-two vector lengths with n_vec.size() >= l_vec.size(). Commitment computation alone does not establish the proof relation. More...

#include <bppp.hpp>

Data Fields
ScalarBytes	rho {}
std::vector< PointBytes >	generators
std::vector< ScalarBytes >	n_vec
std::vector< ScalarBytes >	l_vec
std::vector< ScalarBytes >	c_vec

Detailed Description

Definition at line 101 of file bppp.hpp.

Field Documentation

c_vec

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

Definition at line 106 of file bppp.hpp.

Referenced by purify::bppp::commit_norm_arg_with_cache(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::prove_norm_arg_to_commitment_with_cache().

generators

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

Definition at line 103 of file bppp.hpp.

Referenced by purify::bppp::commit_norm_arg_with_cache(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::prove_norm_arg_to_commitment_with_cache().

l_vec

std::vector<ScalarBytes> purify::bppp::NormArgInputs::l_vec

Definition at line 105 of file bppp.hpp.

Referenced by purify::bppp::commit_norm_arg_with_cache(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::prove_norm_arg_to_commitment_with_cache().

n_vec

std::vector<ScalarBytes> purify::bppp::NormArgInputs::n_vec

Definition at line 104 of file bppp.hpp.

Referenced by purify::bppp::commit_norm_arg_with_cache(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::prove_norm_arg_to_commitment_with_cache().

rho

ScalarBytes purify::bppp::NormArgInputs::rho {}

Definition at line 102 of file bppp.hpp.

Referenced by purify::bppp::commit_norm_arg_with_cache(), purify::bppp::prove_experimental_circuit_zk_norm_arg_impl(), and purify::bppp::prove_norm_arg_to_commitment_with_cache().

---

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

• include/purify/bppp.hpp