purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
purify::bppp::ExperimentalCircuitNormArgProof Struct Reference

Experimental transparent circuit proof backed by the standalone BPPP norm argument. More...

#include <bppp.hpp>

Data Fields

PointBytes witness_commitment {}
 
Bytes proof
 

Detailed Description

Definition at line 251 of file bppp.hpp.

Field Documentation

◆ proof

Bytes purify::bppp::ExperimentalCircuitNormArgProof::proof

Definition at line 253 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg().

◆ witness_commitment

PointBytes purify::bppp::ExperimentalCircuitNormArgProof::witness_commitment {}

Definition at line 252 of file bppp.hpp.

Referenced by purify::bppp::verify_experimental_circuit_norm_arg().


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