Module proof 

Zero-knowledge proof structures and operations

Structs

ComplianceProof

Zero-knowledge proof of compliance check execution

JournalOutput

The complete output committed to the journal by the guest

Enums

ComplianceResult

Result of a compliance check