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

#include <bppp.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
bppp::PointBytes commitment_point {}
bppp::ExperimentalCircuitZkNormArgProof proof

Static Public Attributes

static constexpr unsigned char kSerializationVersion = 1

Detailed Description

Definition at line 255 of file bppp.hpp.

Member Function Documentation

◆ deserialize()

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

Definition at line 144 of file bppp.cpp.

References purify::bppp::ExperimentalCircuitZkNormArgProof::a_commitment, purify::BackendRejectedInput, purify::BindingMismatch, commitment_point, purify::InvalidFixedSize, kSerializationVersion, nonce, purify::bppp::ExperimentalCircuitZkNormArgProof::proof, proof, PURIFY_ASSIGN_OR_RETURN, purify_bip340_validate_xonly_pubkey(), PURIFY_RETURN_IF_ERROR, purify::detail::read_u32_le(), purify::require_secp_context(), purify::bppp::ExperimentalCircuitZkNormArgProof::s_commitment, purify::bppp::ExperimentalCircuitZkNormArgProof::t2, purify::unexpected_error(), and purify::puresign_plusplus::Nonce::xonly.

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

◆ serialize()

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

Definition at line 117 of file bppp.cpp.

References purify::detail::append_u32_le(), purify::BindingMismatch, purify::checked_add_size(), commitment_point, kSerializationVersion, nonce, purify::Overflow, proof, PURIFY_ASSIGN_OR_RETURN, purify::unexpected_error(), and purify::UnexpectedSize.

Field Documentation

◆ commitment_point

bppp::PointBytes purify::puresign_plusplus::NonceProof::commitment_point {}

Definition at line 259 of file bppp.hpp.

Referenced by deserialize(), and serialize().

◆ kSerializationVersion

unsigned char purify::puresign_plusplus::NonceProof::kSerializationVersion = 1
staticconstexpr

Definition at line 256 of file bppp.hpp.

Referenced by deserialize(), and serialize().

◆ nonce

Nonce purify::puresign_plusplus::NonceProof::nonce

Definition at line 258 of file bppp.hpp.

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

◆ proof

bppp::ExperimentalCircuitZkNormArgProof purify::puresign_plusplus::NonceProof::proof

Definition at line 260 of file bppp.hpp.

Referenced by deserialize(), and serialize().

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