crates.io
TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Apache-2.013. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#zero-knowledge
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.
47 Einträge
Go · npm
shingrus/1time.io
Zero-knowledge one-time secret sharing. End-to-end encrypted, self-hosted, open source.
MIT13. Sept. 2026 · Metriken 2.10.0
Go · npm
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
AGPL-3.012. Sept. 2026 · Metriken 2.10.0
crates.io
Lightprotocol/light-poseidon
Poseidon hash implementation in Rust
Apache-2.010. Okt. 2026 · Metriken 2.10.0
crates.io
Cybersecurity-LINKS/zkryptium
Rust crypto library for zero-knowledge proofs
Apache-2.02. Okt. 2026 · Metriken 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT13. Sept. 2026 · Metriken 2.10.0
crates.io
mimblewimble/rust-secp256k1-zkp
ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc
CC0-1.010. Okt. 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
Go
ciphera-net/tessera-go
Go server SDK for Tessera — OPAQUE asymmetric PAKE authentication
Apache-2.012. Sept. 2026 · Metriken 2.10.0
crates.io
Teycir/ZkPatternMatcher
Pattern-based vulnerability detection for Zero-Knowledge proof circuits. Scan ZK code against YAML patterns to find security issues.
MIT24. Aug. 2026 · Metriken 2.10.0
crates.io
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Apache-2.012. Sept. 2026 · Metriken 2.10.0
crates.io
renegade-fi/ark-mpc
A framework for SPDZ-style maliciously-secure MPC.
Apache-2.019. Okt. 2026 · Metriken 2.10.0
npm · Go · crates.io
reclaimprotocol/zk-symmetric-crypto
A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
Keine Lizenz2. Okt. 2026 · Metriken 2.10.0
crates.io
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
GPL-3.020. Sept. 2026 · Metriken 2.10.0
crates.io · npm
tangle-network/protocol-substrate
Webb protocol implementation in Substrate.
Apache-2.08. Okt. 2026 · Metriken 2.10.0
npm
vLannaAi/noy-db
Zero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access control
MIT8. Sept. 2026 · Metriken 2.10.0
crates.io
zkcrypto/merlin
Composable proof transcripts for public-coin arguments of knowledge
MIT23. Sept. 2026 · Metriken 2.10.0