Free DSSE Attestation Online Decoder Tool
-
Updated
May 23, 2026 - JavaScript
#
dsse
Here are 29 public repositories matching this topic...
GitHub Actions and GitLab CI integration for cilock — wrap any command or downstream action and emit a signed in-toto attestation.
gitlab-ci ci-cd attestation devsecops github-actions in-toto slsa supply-chain-security sigstore dsse build-provenance
-
Updated
May 27, 2026 - Go
Modular attestation monorepo for cilock — 30+ attestors, 9 signers, the rookery builder for custom binaries. The source of the cilock CLI.
golang supply-chain ci-cd compliance attestation witness sarif devsecops sbom in-toto slsa supply-chain-security sigstore dsse build-provenance
-
Updated
Jun 4, 2026 - Go
Tamper-evident, cryptographically signed audit ledger for AI/LLM outputs. DSSE envelopes, RFC 6962 Merkle proofs, OPA policy-as-code, JWT multi-tenant auth. Go server + Python & TypeScript SDKs.
python go kubernetes cryptography typescript ai helm audit ledger opa compliance merkle-tree verifiable supply-chain-security transparency-log dsse llm
-
Updated
Jun 10, 2026 - Go
Double-signed receipts for tool invocations by AI agents — DSSE + JCS + Ed25519, verifiable offline.
-
Updated
Apr 27, 2026 - TypeScript
This implementation was created for a Cryptography course project-Dynamic Searchable Symmetric Encryption (DSSE) with Forward Privacy
-
Updated
Dec 9, 2025 - TeX
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.
golang security provenance attestation hands-on github-actions in-toto slsa supply-chain-security sigstore dsse slsa-verifier slsa-github-generator slsa-level-3
-
Updated
Apr 29, 2026 - Shell
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
compliance formal-verification governance mathlib ouroboros apache-license lean4 dsse ai-governance agentic-ai defense-tech machine-checked-proofs szl-holdings lutar-invariant audit-fiber lambda-gate doctrine-v11 lambda-conjecture-1 slsa-l1
-
Updated
Jun 10, 2026 - Lean
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).
ai consensus bft ecdsa compliance formal-verification governance multi-signature cosign sigstore dsse agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 9, 2026 - Python
Live UDS governance-receipt deployment (Warhacker 2026) — k3d + uds-cli + Pepr DSSE receipt policy, cosign-verified. Doctrine v11 LOCKED (749/14/163).
kubernetes ai deployment compliance airgap governance uds pepr k3d apache-license kyverno dsse uds-core agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 10, 2026 - Shell
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.
ai proof-assistant compliance formal-verification governance mathlib lean4 dsse agentic-ai defense-tech szl-holdings doctrine-v11 lambda-conjecture-1 slsa-l1
-
Updated
Jun 10, 2026 - Python
SZL Holdings organization profile and community files.
community profile ai organization compliance branding governance community-health security-policy dsse reusable-workflows agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1 slsa-l2-roadmap
-
Updated
Jun 10, 2026 - HTML
SZL doctrine + org-wide governance workflows (secret health, etc.)
-
Updated
Jun 10, 2026
Doctrine-pinned CRDT mesh layered on peat — BFT wiring, 3-of-4 Khipu quorum, seven inventions beyond UDS Fleet. Doctrine v11 LOCKED (749/14/163).
bft crdt compliance airgap governance khipu apache-license dsse agentic-ai defense-tech szl-holdings doctrine-v11 slsa-l1
-
Updated
Jun 9, 2026
SZL UDS Zarf bundles for the two products (a11oy + killinchu) and their capability services — airgap-deployable, cosign-signed, SLSA L1+L2. Doctrine v11 LOCKED (749/14/163) · Apache-2.0.
ai compliance airgap governance uds slsa apache-license cosign dsse uds-core zarf agentic-ai defense-tech szl-holdings doctrine-v11 zarf-bundles
-
Updated
Jun 10, 2026 - Python
SZL Holdings unified documentation — math-grounded, Quechua-rooted governed-AI docs (VitePress). Doctrine v11 LOCKED (749/14/163). docs.szlholdings.com
documentation ai compliance governance apache-license vitepress dsse agentic-ai defense-tech governed-ai szl-holdings doctrine-v11
-
Updated
Jun 10, 2026 - JavaScript
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
golang cryptography provenance oci attestation machine-learning-security ai-security open-policy-agent in-toto slsa supply-chain-security sigstore dsse llm
-
Updated
Jun 9, 2026 - Go
SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)
runtime monorepo compliance formal-verification governance receipts human-in-the-loop audit-trail ouroboros dsse enterprise-ai agentic-ai policy-gates proof-chain szl-holdings dual-witness doctrine-v11 slsa-l1
-
Updated
Jun 10, 2026 - TypeScript
Improve this page
Add a description, image, and links to the dsse topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dsse topic, visit your repo's landing page and select "manage topics."