purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
bulletproof_internal.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  purify
 

Functions

Result< Bytespurify::experimental_circuit_binding_digest (const NativeBulletproofCircuit &circuit, std::span< const unsigned char > statement_binding)
 
Result< Bytespurify::experimental_circuit_binding_digest (const NativeBulletproofCircuit::PackedWithSlack &circuit, std::span< const unsigned char > statement_binding)
 
Result< ExperimentalBulletproofProofpurify::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)