auth/

Details

Path	Synopsis
arcset Package arcset defines interfaces for arc set views.	Package arcset defines interfaces for arc set views.
commitment 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.
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.
semantic 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.
mapping Package mapping defines the public keyed-map semantic for MALT.	Package mapping defines the public keyed-map semantic for MALT.
verifier Package verifier contains verifier-critical helpers for auth proof artifacts.	Package verifier contains verifier-critical helpers for auth proof artifacts.