Expand description
§QSSM Local Prover — Layer 4
Consumes entropy and produces a complete ZK proof artifact.
This crate owns:
- The deterministic prove pipeline (predicates → MS → truth binding → LE).
- Core proof types (
Proof,ProofContext). - The error type (
ZkError). - The versioned wire format (
ProofBundle,WireFormatError).
Re-exports§
pub use context::Proof;pub use context::ProofContext;pub use error::ZkError;pub use wire::ProofBundle;pub use wire::WireFormatError;pub use wire::PROTOCOL_VERSION;
Modules§
- context
- Core types: verification/proving context and proof artifact bundle.
- error
- SDK error types.
- wire
- Versioned wire-format types for
ProofBundle.
Constants§
- MS_
CONTEXT_ TAG - MS context tag shared between prove and verify pipelines.
Functions§
- prove
- Produce a complete ZK proof artifact.