purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
purify::puresign::NonceProof Struct Reference

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 )
staticnodiscard

Definition at line 141 of file legacy.cpp.

References purify::BackendRejectedInput, purify::BindingMismatch, purify::ExperimentalBulletproofProof::deserialize(), purify::InvalidFixedSize, nonce, proof, PURIFY_ASSIGN_OR_RETURN, purify::detail::read_u32_le(), purify::unexpected_error(), and purify::puresign::Nonce::xonly.

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

◆ serialize()

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

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::unexpected_error(), and purify::UnexpectedSize.

Field Documentation

◆ nonce

Nonce purify::puresign::NonceProof::nonce

Definition at line 222 of file legacy.hpp.

Referenced by deserialize(), 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 deserialize(), and serialize().

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