purify::bppp::ExperimentalCircuitZkNormArgProof Struct Reference

Experimental masked circuit proof that hides the reduced witness before the final BPPP argument. More...

#include <bppp.hpp>

Data Fields
PointBytes	a_commitment {}
	Witness-only outer A commitment; verifiers re-anchor it to the public statement.
PointBytes	s_commitment {}
ScalarBytes	t2 {}
Bytes	proof

Detailed Description

Definition at line 257 of file bppp.hpp.

Field Documentation

a_commitment

PointBytes purify::bppp::ExperimentalCircuitZkNormArgProof::a_commitment {}

Definition at line 259 of file bppp.hpp.

Referenced by purify::puresign_plusplus::NonceProof::serialize(), and purify::bppp::verify_experimental_circuit_zk_norm_arg_impl().

proof

Bytes purify::bppp::ExperimentalCircuitZkNormArgProof::proof

Definition at line 262 of file bppp.hpp.

Referenced by purify::puresign_plusplus::NonceProof::serialize(), and purify::bppp::verify_experimental_circuit_zk_norm_arg_impl().

s_commitment

PointBytes purify::bppp::ExperimentalCircuitZkNormArgProof::s_commitment {}

Definition at line 260 of file bppp.hpp.

Referenced by purify::puresign_plusplus::NonceProof::serialize(), and purify::bppp::verify_experimental_circuit_zk_norm_arg_impl().

t2

ScalarBytes purify::bppp::ExperimentalCircuitZkNormArgProof::t2 {}

Definition at line 261 of file bppp.hpp.

Referenced by purify::puresign_plusplus::NonceProof::serialize(), and purify::bppp::verify_experimental_circuit_zk_norm_arg_impl().

---

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

• include/purify/bppp.hpp