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 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#zero-knowledge
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
47 registros
Go · npm
shingrus/1time.io
Zero-knowledge one-time secret sharing. End-to-end encrypted, self-hosted, open source.
MIT13 sept 2026 · métricas 2.10.0
Go · npm
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
AGPL-3.012 sept 2026 · métricas 2.10.0
crates.io
Lightprotocol/light-poseidon
Poseidon hash implementation in Rust
Apache-2.010 oct 2026 · métricas 2.10.0
crates.io
Cybersecurity-LINKS/zkryptium
Rust crypto library for zero-knowledge proofs
Apache-2.02 oct 2026 · métricas 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT13 sept 2026 · métricas 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 oct 2026 · métricas 2.10.0
npm · Go · crates.io
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
Licencia propia19 sept 2026 · métricas 2.10.0
Go
ciphera-net/tessera-go
Go server SDK for Tessera — OPAQUE asymmetric PAKE authentication
Apache-2.012 sept 2026 · métricas 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 ago 2026 · métricas 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 · métricas 2.10.0
crates.io
renegade-fi/ark-mpc
A framework for SPDZ-style maliciously-secure MPC.
Apache-2.019 oct 2026 · métricas 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.
Sin licencia2 oct 2026 · métricas 2.10.0
crates.io
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
GPL-3.020 sept 2026 · métricas 2.10.0
crates.io · npm
tangle-network/protocol-substrate
Webb protocol implementation in Substrate.
Apache-2.08 oct 2026 · métricas 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 · métricas 2.10.0
crates.io
zkcrypto/merlin
Composable proof transcripts for public-coin arguments of knowledge
MIT23 sept 2026 · métricas 2.10.0