purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
common.hpp File Reference
#include <cstddef>
#include <cstdint>
#include <optional>
#include <span>
#include <string_view>
#include "purify/puresign/legacy.hpp"

Go to the source code of this file.

Namespaces

namespace  purify
 
namespace  purify::detail
 

Functions

Bytes purify::detail::copy_bytes (std::span< const unsigned char > input)
 
Bytes purify::detail::tagged_eval_input (std::string_view tag, std::span< const unsigned char > input)
 
void purify::detail::append_u32_le (Bytes &out, std::uint32_t value)
 
std::optional< std::uint32_t > purify::detail::read_u32_le (std::span< const unsigned char > bytes, std::size_t offset)
 
std::size_t purify::detail::circuit_n_gates (const NativeBulletproofCircuit &circuit)
 
std::size_t purify::detail::circuit_n_gates (const NativeBulletproofCircuit::PackedWithSlack &circuit)
 
std::size_t purify::detail::circuit_n_commitments (const NativeBulletproofCircuit &circuit)
 
std::size_t purify::detail::circuit_n_commitments (const NativeBulletproofCircuit::PackedWithSlack &circuit)
 
template<typename CircuitLike >
Status purify::detail::validate_proof_cache_circuit (const CircuitLike &circuit, const char *context)
 
template<typename CacheLike >
Status purify::detail::validate_message_proof_cache (const CacheLike &cache, std::string_view nonce_tag)
 
template<typename CacheLike >
Status purify::detail::validate_topic_proof_cache (const CacheLike &cache, std::string_view nonce_tag)