Free DSSE Attestation Online Decoder Tool
-
Updated
May 23, 2026 - JavaScript
#
dsse
Here are 24 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
May 30, 2026 - Go
SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v7
typescript monorepo compliance formal-verification governance receipts human-in-the-loop audit-trail ouroboros series-a dsse ai-governance enterprise-ai agentic-ai policy-gates proof-chain governed-runtime szl-holdings dual-witness doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
Double-signed receipts for tool invocations by AI agents — DSSE + JCS + Ed25519, verifiable offline.
-
Updated
Apr 27, 2026 - TypeScript
PAC-Bayes governance trajectory forecasts + DSSE receipt chains. Doctrine v7 · DOI 10.5281/zenodo.20434276
agi forecasting modelling scenarios decision-support governance ai-policy dsse ai-governance agentic-ai szl-holdings lutar-invariant receipt-attested doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
Lean 4 + Mathlib formalization of the Λ aggregator — 749 declarations, 14 unique axioms, 168 tracked sorries. Backs the SZL governance gate. Doctrine v7 · DOI 10.5281/zenodo.20434308
formal-verification mathlib ouroboros lean4 dsse ai-governance agentic-ai machine-checked-proofs szl-holdings lutar-invariant audit-fiber lambda-gate doctrine-v7
-
Updated
Jun 1, 2026 - Lean
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
May 27, 2026 - Go
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
May 30, 2026 - Go
Operator console — human-facing UI for verdicts and the live receipt stream. Wire C live. Doctrine v7 · DOI 10.5281/zenodo.20434276
css orchestration governance receipts hash-chain dsse agentic-ai szl-holdings canonical-encoding doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
Policy immune system — deny by default, allow with proof. Eight gates evaluate every action; verdict signed, traced, chained. Wire B live. Doctrine v7 · DOI 10.5281/zenodo.20434276
incident-response telemetry sensors threat-modeling observability governance anomaly-detection sentra drift-detection series-a cyber-resilience dsse ai-governance agentic-ai governed-ai szl-holdings posture-drift doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v7 · DOI 10.5281/zenodo.20434276
governance attestation anchoring series-a amaru dsse append-only-log ai-governance agentic-ai proof-chain szl-holdings data-convergence governed-ingest doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
DOI-pinned thesis substrate for the bounded-loop runtime implementing the Λ aggregator. Doctrine v7 · DOI 10.5281/zenodo.20434276
paper doi formal-methods research-paper zenodo ai-safety cc-by-4 ouroboros dsse ai-governance agentic-ai bounded-recursion szl-holdings convergence-traces audit-fiber lambda-gate dpi-bound doctrine-v7
-
Updated
Jun 1, 2026 - TeX
Policy + receipt substrate — every action signed, every decision gated, every receipt verifiable. 46 policy gate modules · 11 MCP tools · Doctrine v7 · DOI 10.5281/zenodo.20434276
typescript policy knowledge-graph measurement governance ai-alignment series-a qec dsse ai-governance agentic-ai policy-gates agent-fabric governed-ai proof-chain szl-holdings a11oy agentic-execution doctrine-v7
-
Updated
Jun 1, 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
UDS-deployable governed-AI bundle — Zarf packaging, Pepr fail-CLOSED admission, cosign signing. Doctrine v7 · DOI 10.5281/zenodo.20434276
governance maritime vessels series-a fleet-intelligence dsse dark-vessel ai-governance sanctions-screening agentic-ai trade-compliance szl-holdings doctrine-v7
-
Updated
Jun 1, 2026 - TypeScript
UDS cross-component span schemas + DSSE governance receipts onto the Khipu Merkle DAG. Doctrine v7 · DOI 10.5281/zenodo.20434276
infrastructure typescript protobuf grpc service-mesh observability governance audit-trail spans otel opentelemetry dsse agentic-ai szl-holdings decision-fabric doctrine-v7
-
Updated
Jun 1, 2026 - Python
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."