|
purify
C++ Purify implementation with native circuit and BPP support
|
Experimental transparent circuit proof backed by the standalone BPPP norm argument. More...
#include <bppp.hpp>
Data Fields | |
| PointBytes | witness_commitment {} |
| Bytes | proof |
| Bytes purify::bppp::ExperimentalCircuitNormArgProof::proof |
Definition at line 253 of file bppp.hpp.
Referenced by purify::bppp::verify_experimental_circuit_norm_arg().
| PointBytes purify::bppp::ExperimentalCircuitNormArgProof::witness_commitment {} |
Definition at line 252 of file bppp.hpp.
Referenced by purify::bppp::verify_experimental_circuit_norm_arg().