Module proof_storage 

Proof fragment storage as IPLD

Provides content-addressed storage for proof fragments:

• Proof step encoding
• Link to premises
• Proof verification
• Proof assembly from fragments

Structs

CompressionStats

Compression statistics

ProofAssembler

Proof assembler - assembles complete proofs from fragments

ProofCompressor

Proof compression utilities

ProofFragment

A proof fragment that can be stored as IPLD

ProofFragmentRef

Reference to a stored proof fragment

ProofFragmentStore

Proof fragment store

ProofMetadata

Metadata about a proof fragment

RuleRef

Reference to a rule