auth.ccm File Reference

Authenticated computation with explicit prover and verifier databases. More...

#include <array>
#include <concepts>
#include <compare>
#include <cstdint>
#include <exception>
#include <span>
#include <type_traits>
#include <utility>
#include <vector>
import auth.serialization;
import auth.hash;
import auth.error;

Include dependency graph for auth.ccm:

Go to the source code of this file.

Classes
struct	auth::prover
	Records serialized openings in an owned proof buffer. More...
class	auth::prover::sealed< T >
	A resident value and its digest; copyability follows T. More...
struct	auth::verifier
	Reconstructs and verifies openings from a borrowed proof buffer. More...
class	auth::verifier::sealed< T >
	A copyable digest commitment with no resident payload. More...

Concepts
concept	auth::db
	A database with associated sealed types and seal/unseal operations. D is the database type, optionally reference-qualified.

Typedefs
template<db DB, class T>
using	auth::sealed = typename std::remove_cvref_t<DB>::template sealed<T>
	Selects a database's associated sealed type.

Detailed Description

Authenticated computation with explicit prover and verifier databases.

Definition in file auth.ccm.

Typedef Documentation

sealed

template<db DB, class T>

using auth::sealed = typename std::remove_cvref_t<DB>::template sealed<T>

export

Selects a database's associated sealed type.

Template Parameters

DB	Type satisfying db; reference qualifiers are removed for lookup.
T	Payload type.

Definition at line 196 of file auth.ccm.