|
purify
C++ Purify implementation with native circuit and BPP support
|
#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 |
|
static |
Definition at line 144 of file bppp.cpp.
References purify::BackendRejectedInput, purify::BindingMismatch, purify::InvalidFixedSize, kSerializationVersion, PURIFY_ASSIGN_OR_RETURN, purify_bip340_validate_xonly_pubkey(), PURIFY_RETURN_IF_ERROR, purify::detail::read_u32_le(), purify::require_secp_context(), and purify::unexpected_error().
Referenced by purify::puresign_plusplus::ProvenSignature::deserialize().
| Result< Bytes > purify::puresign_plusplus::NonceProof::serialize | ( | purify_secp_context * | secp_context | ) | const |
Definition at line 117 of file bppp.cpp.
References purify::bppp::ExperimentalCircuitZkNormArgProof::a_commitment, purify::detail::append_u32_le(), purify::BindingMismatch, purify::checked_add_size(), commitment_point, kSerializationVersion, nonce, purify::Overflow, purify::bppp::ExperimentalCircuitZkNormArgProof::proof, proof, PURIFY_ASSIGN_OR_RETURN, purify::bppp::ExperimentalCircuitZkNormArgProof::s_commitment, purify::bppp::ExperimentalCircuitZkNormArgProof::t2, purify::unexpected_error(), purify::UnexpectedSize, and purify::puresign_plusplus::Nonce::xonly.
Referenced by purify::puresign_plusplus::ProvenSignature::serialize().
| bppp::PointBytes purify::puresign_plusplus::NonceProof::commitment_point {} |
Definition at line 259 of file bppp.hpp.
Referenced by serialize().
|
staticconstexpr |
Definition at line 256 of file bppp.hpp.
Referenced by deserialize(), and serialize().
| Nonce purify::puresign_plusplus::NonceProof::nonce |
Definition at line 258 of file bppp.hpp.
Referenced by 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().
| bppp::ExperimentalCircuitZkNormArgProof purify::puresign_plusplus::NonceProof::proof |
Definition at line 260 of file bppp.hpp.
Referenced by serialize().