purify::ExperimentalBulletproofProof Struct Reference

Experimental single-proof wrapper over the imported legacy Bulletproof circuit backend. More...

#include <bulletproof.hpp>

Public Member Functions
Result< Bytes >	serialize () const

Static Public Member Functions
static Result< ExperimentalBulletproofProof >	deserialize (std::span< const unsigned char > bytes)

Data Fields
BulletproofPointBytes	commitment {}
Bytes	proof

Static Public Attributes
static constexpr unsigned char	kSerializationVersion = 2

Detailed Description

This artifact is wire-ready: when the circuit exposes one committed scalar it carries the exact compressed public point alongside the proof bytes. The proof transcript is always bound to a canonical digest of the native circuit and optional statement-binding bytes supplied to the prove/verify helpers below.

Definition at line 301 of file bulletproof.hpp.

Member Function Documentation

deserialize()

Result< ExperimentalBulletproofProof > purify::ExperimentalBulletproofProof::deserialize ( std::span< const unsigned char >  bytes )

static

Definition at line 1509 of file bulletproof.cpp.

References purify::BackendRejectedInput, commitment, purify::InvalidFixedSize, proof, and purify::unexpected_error().

Referenced by purify::puresign::NonceProof::deserialize().

serialize()

Result< Bytes > purify::ExperimentalBulletproofProof::serialize

(

)

const

Definition at line 1491 of file bulletproof.cpp.

References purify::checked_add_size(), purify::Overflow, purify::unexpected_error(), and purify::UnexpectedSize.

Referenced by purify::puresign::NonceProof::serialize().

Field Documentation

commitment

BulletproofPointBytes purify::ExperimentalBulletproofProof::commitment {}

Definition at line 304 of file bulletproof.hpp.

Referenced by deserialize(), purify::verify_experimental_circuit(), and purify::verify_experimental_circuit().

kSerializationVersion

constexpr unsigned char purify::ExperimentalBulletproofProof::kSerializationVersion = 2

staticconstexpr

Definition at line 302 of file bulletproof.hpp.

proof

Bytes purify::ExperimentalBulletproofProof::proof

Definition at line 305 of file bulletproof.hpp.

Referenced by deserialize(), purify::verify_experimental_circuit(), and purify::verify_experimental_circuit().

---

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

• include/purify/bulletproof.hpp
• src/protocol/bulletproof.cpp