Free DSSE Attestation Online Decoder Tool
-
Updated
May 23, 2026 - JavaScript
#
dsse
Here are 31 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
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
Jun 17, 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 17, 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 16, 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
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 15, 2026 - Python
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 16, 2026 - TypeScript
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 13, 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 15, 2026 - HTML
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 16, 2026 - Lean
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 16, 2026 - JavaScript
SZL doctrine + org-wide governance workflows (secret health, etc.)
-
Updated
Jun 15, 2026
Artifact signing, verification & SLSA/in-toto provenance — DSSE envelopes with ed25519 or portable HMAC, no external crypto
cli finance crypto signing blockchain supply-chain cryptocurrency fintech quant attestation network-security in-toto slsa dsse cognis cognis-neural-suite
-
Updated
Jun 14, 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 16, 2026 - Shell
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 16, 2026 - Go
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."