Docs
Reference documentation.
Per-circuit deep-dives, grounded in the actual Noir implementation. Each page covers the claim, the construction, the trust boundary, and what the proof carries versus what it withholds. For the full pitch, framing, and regulatory mapping, see the whitepaper.
Circuits
Circuit 1 — Build provenance
Binds every release to a binary digest produced by an approved build pipeline, without exposing the pipeline.
Circuit 2 — Developer authorisation
Proves the commit was signed by an authorised developer without revealing which one.
Circuit 3 — SBOM dependency non-membership
Proves no component carries an unpatched CVE above the buyer’s thresholds, without exposing the SBOM.
Circuit 4 — Incident notification SLA
Proves DKIM-signed customer notifications were sent within the SLA, without exposing the customer list.
Circuit 5 — Policy composition
Recursive wrapper that lets one proving run satisfy any number of buyer-committed policies.