Public nonce together with its experimental Purify statement proof. More...

#include <legacy.hpp>

Public Member Functions
Result< Bytes >	serialize (purify_secp_context *secp_context) const

Static Public Member Functions
static Result< NonceProof >	deserialize (std::span< const unsigned char > serialized, purify_secp_context *secp_context)

Data Fields
Nonce	nonce

ExperimentalBulletproofProof	proof

Detailed Description

The proved statement binds nonce to the unique Purify evaluation for the supplied (secret, scope, input). There is intentionally no public retry selector in this format: if the derived scalar is zero, preparation fails instead of allowing multiple valid public nonces for the same input. That failure occurs with negligible probability, about 2^-256.

Definition at line 221 of file legacy.hpp.

Member Function Documentation

◆ deserialize()

Result< NonceProof > purify::puresign::NonceProof::deserialize	(	std::span< const unsigned char >	serialized,
		purify_secp_context *	secp_context
	)

static

Definition at line 141 of file legacy.cpp.

References purify::BackendRejectedInput, purify::BindingMismatch, purify::ExperimentalBulletproofProof::deserialize(), purify::InvalidFixedSize, PURIFY_ASSIGN_OR_RETURN, purify::detail::read_u32_le(), and purify::unexpected_error().

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

◆ serialize()

Result< Bytes > purify::puresign::NonceProof::serialize ( purify_secp_context * secp_context ) const

Definition at line 117 of file legacy.cpp.

References purify::detail::append_u32_le(), purify::BindingMismatch, purify::checked_add_size(), nonce, purify::Overflow, proof, PURIFY_ASSIGN_OR_RETURN, purify::ExperimentalBulletproofProof::serialize(), purify::unexpected_error(), purify::UnexpectedSize, and purify::puresign::Nonce::xonly.

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

Field Documentation

◆ nonce

Nonce purify::puresign::NonceProof::nonce

Definition at line 222 of file legacy.hpp.

Referenced by serialize(), purify::puresign::PreparedNonceWithProof::sign_message(), purify::puresign::PreparedNonceWithProof::sign_topic_message(), purify::puresign::api_impl::verify_message_signature_with_proof(), purify::puresign::api_impl::verify_message_signature_with_proof(), purify::puresign::api_impl::verify_topic_signature_with_proof(), and purify::puresign::api_impl::verify_topic_signature_with_proof().

◆ proof

ExperimentalBulletproofProof purify::puresign::NonceProof::proof

Definition at line 223 of file legacy.hpp.

Referenced by serialize().

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

include/purify/puresign/legacy.hpp
src/puresign/codecs/legacy.cpp

Public Member Functions

Static Public Member Functions