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.