purify::detail Namespace Reference

Data Structures
struct	BigUIntCBridge
struct	SecureUInt512Deleter
class	UInt128

Functions
std::size_t	bit_length_u64 (std::uint64_t value)
	PURIFY_DEFINE_BIGUINT_C_BRIDGE (4, 256)
	PURIFY_DEFINE_BIGUINT_C_BRIDGE (5, 320)
	PURIFY_DEFINE_BIGUINT_C_BRIDGE (8, 512)
void	secure_clear_bytes (void *data, std::size_t size) noexcept
Bytes	copy_bytes (std::span< const unsigned char > input)
Bytes	tagged_eval_input (std::string_view tag, std::span< const unsigned char > input)
void	append_u32_le (Bytes &out, std::uint32_t value)
std::optional< std::uint32_t >	read_u32_le (std::span< const unsigned char > bytes, std::size_t offset)
std::size_t	circuit_n_gates (const NativeBulletproofCircuit &circuit)
std::size_t	circuit_n_gates (const NativeBulletproofCircuit::PackedWithSlack &circuit)
std::size_t	circuit_n_commitments (const NativeBulletproofCircuit &circuit)
std::size_t	circuit_n_commitments (const NativeBulletproofCircuit::PackedWithSlack &circuit)
template<typename CircuitLike >
Status	validate_proof_cache_circuit (const CircuitLike &circuit, const char *context)
template<typename CacheLike >
Status	validate_message_proof_cache (const CacheLike &cache, std::string_view nonce_tag)
template<typename CacheLike >
Status	validate_topic_proof_cache (const CacheLike &cache, std::string_view nonce_tag)

Function Documentation

append_u32_le()

void purify::detail::append_u32_le ( Bytes &  out, std::uint32_t  value  )

inline

Definition at line 29 of file common.hpp.

Referenced by purify::puresign_plusplus::NonceProof::serialize(), purify::puresign_plusplus::ProvenSignature::serialize(), purify::puresign::NonceProof::serialize(), and purify::puresign::ProvenSignature::serialize().

bit_length_u64()

std::size_t purify::detail::bit_length_u64 ( std::uint64_t  value )

inline

Definition at line 133 of file numeric.hpp.

Referenced by purify::BigUInt< Words >::bit_length().

circuit_n_commitments() [1/2]

std::size_t purify::detail::circuit_n_commitments ( const NativeBulletproofCircuit &  circuit )

inline

Definition at line 55 of file common.hpp.

References purify::NativeBulletproofCircuit::n_commitments.

Referenced by validate_proof_cache_circuit().

circuit_n_commitments() [2/2]

std::size_t purify::detail::circuit_n_commitments ( const NativeBulletproofCircuit::PackedWithSlack &  circuit )

inline

Definition at line 59 of file common.hpp.

References purify::NativeBulletproofCircuit::PackedWithSlack::n_commitments().

circuit_n_gates() [1/2]

std::size_t purify::detail::circuit_n_gates ( const NativeBulletproofCircuit &  circuit )

inline

Definition at line 47 of file common.hpp.

References purify::NativeBulletproofCircuit::n_gates.

Referenced by validate_proof_cache_circuit().

circuit_n_gates() [2/2]

std::size_t purify::detail::circuit_n_gates ( const NativeBulletproofCircuit::PackedWithSlack &  circuit )

inline

Definition at line 51 of file common.hpp.

References purify::NativeBulletproofCircuit::PackedWithSlack::n_gates().

copy_bytes()

Bytes purify::detail::copy_bytes ( std::span< const unsigned char >  input )

inline

Definition at line 17 of file common.hpp.

Referenced by purify::puresign_plusplus::MessageProofCache::build(), and purify::puresign_plusplus::TopicProofCache::build().

PURIFY_DEFINE_BIGUINT_C_BRIDGE() [1/3]

purify::detail::PURIFY_DEFINE_BIGUINT_C_BRIDGE	(	4	,
		256
	)

PURIFY_DEFINE_BIGUINT_C_BRIDGE() [2/3]

purify::detail::PURIFY_DEFINE_BIGUINT_C_BRIDGE	(	5	,
		320
	)

PURIFY_DEFINE_BIGUINT_C_BRIDGE() [3/3]

purify::detail::PURIFY_DEFINE_BIGUINT_C_BRIDGE	(	8	,
		512
	)

read_u32_le()

std::optional< std::uint32_t > purify::detail::read_u32_le ( std::span< const unsigned char >  bytes, std::size_t  offset  )

inline

Definition at line 35 of file common.hpp.

Referenced by purify::puresign_plusplus::NonceProof::deserialize(), purify::puresign_plusplus::ProvenSignature::deserialize(), purify::puresign::NonceProof::deserialize(), and purify::puresign::ProvenSignature::deserialize().

secure_clear_bytes()

void purify::detail::secure_clear_bytes ( void *  data, std::size_t  size  )

inlinenoexcept

Definition at line 22 of file secret.hpp.

Referenced by purify::capi_detail::clear_bip340_key(), purify::capi_detail::clear_generated_key(), purify::derive_bip340_key(), purify::derive_key(), purify::eval(), purify::detail::SecureUInt512Deleter::operator()(), and purify_derive_bip340_key().

tagged_eval_input()

Bytes purify::detail::tagged_eval_input ( std::string_view  tag, std::span< const unsigned char >  input  )

inline

Definition at line 21 of file common.hpp.

References purify::best_effort_reserve_add().

Referenced by purify::puresign_plusplus::MessageProofCache::build(), purify::puresign_plusplus::TopicProofCache::build(), validate_message_proof_cache(), validate_topic_proof_cache(), purify::puresign_plusplus::api_impl::verify_message_nonce_proof(), and purify::puresign_plusplus::api_impl::verify_topic_nonce_proof().

validate_message_proof_cache()

template<typename CacheLike >

Status purify::detail::validate_message_proof_cache ( const CacheLike &  cache, std::string_view  nonce_tag  )

inline

Definition at line 78 of file common.hpp.

References purify::BindingMismatch, PURIFY_ASSIGN_OR_RETURN, tagged_eval_input(), and purify::unexpected_error().

validate_proof_cache_circuit()

template<typename CircuitLike >

Status purify::detail::validate_proof_cache_circuit	(	const CircuitLike &	circuit,
		const char *	context
	)

Definition at line 64 of file common.hpp.

References circuit_n_commitments(), circuit_n_gates(), purify::InvalidDimensions, purify::is_power_of_two_size(), and purify::unexpected_error().

validate_topic_proof_cache()

template<typename CacheLike >

Status purify::detail::validate_topic_proof_cache ( const CacheLike &  cache, std::string_view  nonce_tag  )

inline

Definition at line 92 of file common.hpp.

References purify::BindingMismatch, purify::EmptyInput, PURIFY_ASSIGN_OR_RETURN, tagged_eval_input(), and purify::unexpected_error().