|
purify
C++ Purify implementation with native circuit and BPP support
|
#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) |