Cacheable message-bound nonce-proof template for the BPPP-backed PureSign++ proof(R) flow. More...

#include <bppp.hpp>

Static Public Member Functions
static Result< MessageProofCache >	build (std::span< const unsigned char > message)
	Builds a reusable verifier template for one exact message.

Data Fields
Bytes	message

Bytes	eval_input

NativeBulletproofCircuitTemplate	circuit_template

Bytes	template_digest

bppp::ExperimentalCircuitCache	backend_cache

Detailed Description

This bundles the exact message together with the public-key-agnostic circuit template needed for message-bound proof creation and verification. The mutable BPPP circuit cache can be reused across multiple signers for the same message.

Definition at line 218 of file bppp.hpp.

Member Function Documentation

◆ build()

Result< MessageProofCache > purify::puresign_plusplus::MessageProofCache::build ( std::span< const unsigned char > message )

static

Parameters

message The message that all later prepared nonces or proofs must bind to.

Returns: The reusable cache for that message.

Definition at line 271 of file bppp.cpp.

References circuit_template, purify::detail::copy_bytes(), eval_input, purify::NativeBulletproofCircuitTemplate::integrity_digest(), message, PURIFY_ASSIGN_OR_RETURN, purify::detail::tagged_eval_input(), template_digest, and purify::verifier_circuit_template().

Referenced by purify::puresign_plusplus::api_impl::build_message_proof_cache().

Field Documentation

◆ backend_cache

bppp::ExperimentalCircuitCache purify::puresign_plusplus::MessageProofCache::backend_cache

mutable

Definition at line 223 of file bppp.hpp.

Referenced by purify::puresign_plusplus::api_impl::prepare_message_nonce_with_proof(), and purify::puresign_plusplus::api_impl::verify_message_nonce_proof().

◆ circuit_template

NativeBulletproofCircuitTemplate purify::puresign_plusplus::MessageProofCache::circuit_template

Definition at line 221 of file bppp.hpp.

Referenced by build(), purify::puresign_plusplus::api_impl::prepare_message_nonce_with_proof(), and purify::puresign_plusplus::api_impl::verify_message_nonce_proof().

◆ eval_input

Bytes purify::puresign_plusplus::MessageProofCache::eval_input

Definition at line 220 of file bppp.hpp.

Referenced by build(), and purify::puresign_plusplus::api_impl::prepare_message_nonce_with_proof().

◆ message

Bytes purify::puresign_plusplus::MessageProofCache::message

Definition at line 219 of file bppp.hpp.

Referenced by build(), purify::puresign_plusplus::api_impl::prepare_message_nonce_with_proof(), purify::puresign_plusplus::KeyPair::sign_message_with_proof(), purify::puresign_plusplus::api_impl::sign_message_with_proof(), and purify::puresign_plusplus::api_impl::verify_message_signature_with_proof().

◆ template_digest

Bytes purify::puresign_plusplus::MessageProofCache::template_digest

Definition at line 222 of file bppp.hpp.

Referenced by build().

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

include/purify/puresign/bppp.hpp
src/puresign/bppp.cpp

Static Public Member Functions

Data Fields