Free DSSE Attestation Online Decoder Tool
-
Updated
May 23, 2026 - JavaScript
Free DSSE Attestation Online Decoder Tool
GitHub Actions and GitLab CI integration for cilock — wrap any command or downstream action and emit a signed in-toto attestation.
Modular attestation monorepo for cilock — 30+ attestors, 9 signers, the rookery builder for custom binaries. The source of the cilock CLI.
SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)
Double-signed receipts for tool invocations by AI agents — DSSE + JCS + Ed25519, verifiable offline.
SZL Holdings organization profile and community files.
Live Lean v4.13.0 kernel for the Lutar Invariant — Λ uniqueness as Conjecture 1. 749/14/163, source-mirrored from HF Space SZLHOLDINGS/lean-kernel. Doctrine v11 LOCKED · Apache-2.0.
Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276
Operator console — human-facing UI for verdicts and the live receipt stream. Wire C live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276
DOI-pinned thesis substrate for the bounded-loop runtime implementing the Λ aggregator. Doctrine v11 · DOI 10.5281/zenodo.20434276
SZL Holdings unified documentation — math-grounded, Quechua-rooted governed-AI docs (VitePress). Doctrine v11 LOCKED (749/14/163). docs.szlholdings.com
BFT 3-of-4 multi-party-witnessed agreement — each witness signs an action hash with its own ECDSA P-256 cosign key over DSSE. The category SZL invents: multi-party-witnessed AI. Doctrine v11 LOCKED (749/14/163).
This implementation was created for a Cryptography course project-Dynamic Searchable Symmetric Encryption (DSSE) with Forward Privacy
Minimal end-to-end demo of SLSA Build L3 provenance: a 12-line Go binary that signs its own provenance on every tag, plus a verifier walkthrough.
Policy immune system — deny by default, allow with proof. Eight gates evaluate every action; verdict signed, traced, chained. Wire B live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276
Cryptographic attestation framework for LLM supply-chain security, tamper-evident provenance for prompts, training data, evaluations, routing, and SLOs with Sigstore keyless signing, OCI distribution, and OPA policy enforcement
Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308
UDS cross-component span schemas + DSSE governance receipts onto the Khipu Merkle DAG. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276
Add a description, image, and links to the dsse topic page so that developers can more easily learn about it.
To associate your repository with the dsse topic, visit your repo's landing page and select "manage topics."