Struct ProgramTraceArtifact 

pub struct ProgramTraceArtifact { /* private fields */ }

Sequence of program updates with nested proofs.

Implementations

impl ProgramTraceArtifact

pub fn build( initial: &SparseDistanceMatrix, updates: &[SparseDistanceMatrix], params: &RipsParams, certificate_limits: CertificateLimits, ) -> Result<Self, ProgramTraceError>

Produce a trace from an initial graph and updated graphs.

pub fn initial_graph(&self) -> &SparseDistanceMatrix

Initial graph embedded in the trace.

pub fn initial_program(&self) -> &ProgramArtifact

Initial program artifact.

pub fn steps(&self) -> &[ProgramTraceStep]

Ordered update steps.

pub fn encode(&self) -> Result<Vec<u8>, ProgramTraceError>

Encode the canonical HOLOSDLT version 2 envelope.

pub fn decode( bytes: &[u8], limits: ProgramTraceDecodeLimits, certificate_limits: CertificateLimits, ) -> Result<Self, ProgramTraceError>

Decode and structurally validate a bounded program trace.

pub fn verify( &self, certificate_limits: CertificateLimits, ) -> Result<VerifiedProgramTrace, ProgramTraceError>

Verify every reused step and every checkpoint.

Trait Implementations

impl Clone for ProgramTraceArtifact

fn clone(&self) -> ProgramTraceArtifact

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProgramTraceArtifact

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.