AI Dev Impact Lab JA
← Topics ranking · 2026-08
GITHUB TOPIC

#zk-proofs

GitHub repositories that have self-applied the topic "zk-proofs" — a creator-tagged metadata that surfaces how AI projects describe themselves.

1
tagged repos
0
top 1 stars
0
with tool sigs
1
shown

REPOS Repos for #zk-proofs (top 1 by stars)

ss1738/proof-carrying-ai

Proof-carrying compliance certificates for AI agent actions: machine-checked (Coq, axiom-free) + zero-knowledge proofs that an agent action obeyed a formal policy.

Python ★ 0 AI 100

RELATED Other topics · full topics ranking →

#claude-code

1,564

#ai-agents

1,160

#llm

1,071

#claude

943

#python

806

#ai

741

#developer-tools

728

#mcp

727

#codex

521

Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology