|
purify
C++ Purify implementation with native circuit and BPP support
|
#include "purify/bulletproof.hpp"Go to the source code of this file.
Namespaces | |
| namespace | purify |
Functions | |
| Result< Bytes > | purify::experimental_circuit_binding_digest (const NativeBulletproofCircuit &circuit, std::span< const unsigned char > statement_binding) |
| Result< Bytes > | purify::experimental_circuit_binding_digest (const NativeBulletproofCircuit::PackedWithSlack &circuit, std::span< const unsigned char > statement_binding) |
| Result< ExperimentalBulletproofProof > | purify::prove_experimental_circuit_assume_valid (const NativeBulletproofCircuit::PackedWithSlack &circuit, const BulletproofAssignmentData &assignment, const BulletproofScalarBytes &nonce, const BulletproofGeneratorBytes &value_generator, purify_secp_context *secp_context, std::span< const unsigned char > statement_binding, std::optional< BulletproofScalarBytes > blind, ExperimentalBulletproofBackendCache *backend_cache) |