|
purify
C++ Purify implementation with native circuit and BPP support
|
Inputs required to produce a standalone BPPP norm argument. 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 |
| std::vector<ScalarBytes> purify::bppp::NormArgInputs::c_vec |
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().
| std::vector<PointBytes> purify::bppp::NormArgInputs::generators |
Definition at line 99 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().
| std::vector<ScalarBytes> purify::bppp::NormArgInputs::l_vec |
Definition at line 101 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().
| std::vector<ScalarBytes> purify::bppp::NormArgInputs::n_vec |
Definition at line 100 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().
| ScalarBytes purify::bppp::NormArgInputs::rho {} |
Definition at line 98 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().