auth 0.0.1
Authenticated computation with C++26 modules
Loading...
Searching...
No Matches
auth::prover Struct Referenceexport
module auth

Records serialized openings in an owned proof buffer. More...

Classes

class  sealed
 A resident value and its digest; copyability follows T. More...

Public Member Functions

template<class T>
sealed< T > seal (T value) const
 Hashes a value and retains it in a sealed value without changing the proof.
template<class T>
T unseal (sealed< T > p)
 Appends an opening to the proof and returns its resident value.

Public Attributes

bytes proof
 Concatenated openings, without external framing.

Detailed Description

Records serialized openings in an owned proof buffer.

Definition at line 27 of file auth.ccm.

Member Function Documentation

◆ seal()

template<class T>
sealed< T > auth::prover::seal ( T value) const
inline

Hashes a value and retains it in a sealed value without changing the proof.

Parameters
valuePayload copied from an lvalue or moved from an rvalue.
Returns
A sealed value owning the payload and its SHA-256 digest.
Note
Serialization, allocation, and payload construction exceptions propagate.

Definition at line 67 of file auth.ccm.

◆ unseal()

template<class T>
T auth::prover::unseal ( sealed< T > p)
inline

Appends an opening to the proof and returns its resident value.

Parameters
pSealed value copied from an lvalue when copyable, or moved from an rvalue.
Returns
The payload moved out of the local sealed value.
Note
Each call appends another opening. If returning the payload throws, the serialized opening has already been appended.

Definition at line 79 of file auth.ccm.


The documentation for this struct was generated from the following file: