Go
LFDT-Lineth/zkc
A port of the Corset tool into Go
Apache-2.012. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#zk
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
18 Einträge
npm · crates.io
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
GPL-3.027. Sept. 2026 · Metriken 2.10.0
npm
o1-labs/o1js
TypeScript framework for zk-SNARKs and zkApps
Apache-2.014. Sept. 2026 · Metriken 2.10.0
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.019. Okt. 2026 · Metriken 2.10.0
crates.io
TaceoLabs/circom-helpers
Keine Repository-Beschreibung veröffentlicht.
Apache-2.017. Sept. 2026 · Metriken 2.10.0
npm · crates.io
0xMiden/web-sdk
Miden network web-centric SDK
MIT15. Sept. 2026 · Metriken 2.10.0
Go
JupiterMetaLabs/jmdn
JMDT Decentralized Network codebase
Apache-2.011. Sept. 2026 · Metriken 2.10.0
npm · Maven
zkoss/zk
ZK is a highly productive Java framework for building amazing enterprise web and mobile applications
Keine Lizenz19. Okt. 2026 · Metriken 2.10.0
npm · crates.io
tetsuo-ai/agenc-protocol
Public protocol source of truth for AgenC: Anchor program, zkVM guest, migrations, and generated protocol artifacts
GPL-3.015. Sept. 2026 · Metriken 2.10.0
crates.io
philsippl/circom-witness-rs
Keine Repository-Beschreibung veröffentlicht.
MIT17. Sept. 2026 · Metriken 2.10.0
npm
starknet-io/types-js
Keine Repository-Beschreibung veröffentlicht.
MIT20. Okt. 2026 · Metriken 2.10.0
—
zk-org/zk-nvim
Neovim plugin for zk
GPL-3.016. Sept. 2026 · Metriken 2.10.0
Go
binance/zkmerkle-proof-of-solvency
This is proof of solvency tool for Centralized exchanges built by Binance. Please raise bugs and security issues to https://bugcrowd.com/binance
MIT20. Sept. 2026 · Metriken 2.10.0
crates.io
davxy/ark-vrf
Elliptic Curve VRFs
MIT18. Sept. 2026 · Metriken 2.10.0
npm
lemmaoracle/lemma
Give AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.
Eigene Lizenz14. Sept. 2026 · Metriken 2.10.0
npm · Go · crates.io
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
Eigene Lizenz19. Sept. 2026 · Metriken 2.10.0
npm
TaceoLabs/oprf-client-js
Keine Repository-Beschreibung veröffentlicht.
MIT15. Sept. 2026 · Metriken 2.10.0
Maven
dynamiatools/module-saas
DynamiaTools extension to create multi tenant apps or software as a service
Apache-2.019. Okt. 2026 · Metriken 2.10.0