rfc9162

Here are 5 public repositories matching this topic...

alexar76 / histor

HISTOR — public transparency log of MCP tool definitions: reads what remote MCP endpoints in the official registry advertise (never calls a tool), signs it as MTL/1 labels, appends them to an RFC 9162 Merkle log, and answers /check: is what a client received what was observed? Never calls a server safe.

mcp merkle-tree verifiable-credentials transparency-log model-context-protocol mcp-security tool-poisoning aimarket aicom rfc9162

Updated Oct 23, 2026
Python

defconder / pruefer

Star

Offener Prüfer für manipulationssichere Protokolle: Beweise, Zeugen, Aussagen über das Protokoll. Open verifier for tamper-evident logs.

cryptography verification ed25519 merkle-tree audit-log evidence digital-sovereignty c2sp transparency-log rfc9162

Updated Oct 11, 2026
JavaScript

nradawg / prefix-extension-proof

Star

Verify a newer signed log head extends an older one, with proof shape derived from the two sizes

typescript merkle-tree consistency-proof zero-dependencies transparency-log rfc9162

Updated Aug 15, 2026
TypeScript

thevilledev / ocaml-merkle

Sponsor

Star

RFC 6962/9162 Merkle trees: inclusion and consistency proofs for OCaml

ocaml certificate-transparency merkle-tree rfc6962 supply-chain-security transparency-log inclusion-proof rfc9162 pure-ocaml

Updated Sep 26, 2026
Lean

faustbrian / go-merkle-tree

Star

Storage-independent ordered Merkle trees with inclusion, consistency, and RFC 9162 proofs for Go.

go golang cryptography data-structures certificate-transparency merkle-tree merkle-proof rfc9162

Updated Oct 22, 2026
Go

Add this topic to your repo

To associate your repository with the rfc9162 topic, visit your repo's landing page and select "manage topics."

Learn more