Directories
¶
| Path | Synopsis |
|---|---|
|
Package arcset defines interfaces for arc set views.
|
Package arcset defines interfaces for arc set views. |
|
materializer
Package materializer defines the minimal untrusted ArcSet loading and materialization capabilities consumed by MALT execution algorithms.
|
Package materializer defines the minimal untrusted ArcSet loading and materialization capabilities consumed by MALT execution algorithms. |
|
materializer/memory
Package memory provides an in-memory ArcSet materializer for SDK examples, conformance vectors, and tests.
|
Package memory provides an in-memory ArcSet materializer for SDK examples, conformance vectors, and tests. |
|
Package commitment defines cryptographic commitment interfaces.
|
Package commitment defines cryptographic commitment interfaces. |
|
ipa
Package ipa provides an IPA (Inner Product Argument) commitment backend.
|
Package ipa provides an IPA (Inner Product Argument) commitment backend. |
|
kzg
Package kzg provides a KZG polynomial commitment backend.
|
Package kzg provides a KZG polynomial commitment backend. |
|
Package observation provides request-scoped, optional execution phase observations.
|
Package observation provides request-scoped, optional execution phase observations. |
|
proof
|
|
|
evidence
Package evidence defines the Evidence interface and its implementations.
|
Package evidence defines the Evidence interface and its implementations. |
|
prooflist
Package prooflist defines the verifier-facing read proof transcript shape.
|
Package prooflist defines the verifier-facing read proof transcript shape. |
|
Package structure defines the public structural semantics layer for MALT.
|
Package structure defines the public structural semantics layer for MALT. |
|
list
Package list defines the public stable-indexed list semantic for MALT.
|
Package list defines the public stable-indexed list semantic for MALT. |
|
list/tree
Package tree implements the stable-indexed list semantic using a tree-shaped fixed-slot layout.
|
Package tree implements the stable-indexed list semantic using a tree-shaped fixed-slot layout. |
|
mapping
Package mapping defines the public keyed-map semantic for MALT.
|
Package mapping defines the public keyed-map semantic for MALT. |
|
mapping/radix
Package radix implements a digest-keyed radix-map semantic above the primitive index commitment backends.
|
Package radix implements a digest-keyed radix-map semantic above the primitive index commitment backends. |
|
nodegeometry
Package nodegeometry defines the backend-sized physical node geometry shared by semantic producers and storage-free verifiers.
|
Package nodegeometry defines the backend-sized physical node geometry shared by semantic producers and storage-free verifiers. |
|
Package verifier contains verifier-critical helpers for ProofList evidence.
|
Package verifier contains verifier-critical helpers for ProofList evidence. |
Click to show internal directories.
Click to hide internal directories.