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.02026年9月13日 · 指标 2.10.0
全部标签
目录标签
#zero-knowledge
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
47 条记录
Go · npm
shingrus/1time.io
Zero-knowledge one-time secret sharing. End-to-end encrypted, self-hosted, open source.
MIT2026年9月13日 · 指标 2.10.0
Go · npm
vineethkrishnan/vaultctl
Zero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.
AGPL-3.02026年9月12日 · 指标 2.10.0
crates.io
Lightprotocol/light-poseidon
Poseidon hash implementation in Rust
Apache-2.02026年10月10日 · 指标 2.10.0
crates.io
Cybersecurity-LINKS/zkryptium
Rust crypto library for zero-knowledge proofs
Apache-2.02026年10月2日 · 指标 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT2026年9月13日 · 指标 2.10.0
crates.io
mimblewimble/rust-secp256k1-zkp
ZKP fork for rust-secp256k1, adds wrappers for range proofs, pedersen commitments, etc
CC0-1.02026年10月10日 · 指标 2.10.0
npm · Go · crates.io
anna-stolbovskaja/CasperProver
Verifiable proof layer for AI agent computations on Casper Network
自定义许可证2026年9月19日 · 指标 2.10.0
Go
ciphera-net/tessera-go
Go server SDK for Tessera — OPAQUE asymmetric PAKE authentication
Apache-2.02026年9月12日 · 指标 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.
MIT2026年8月24日 · 指标 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.02026年9月12日 · 指标 2.10.0
crates.io
renegade-fi/ark-mpc
A framework for SPDZ-style maliciously-secure MPC.
Apache-2.02026年10月19日 · 指标 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.
无许可证2026年10月2日 · 指标 2.10.0
crates.io
ZenGo-X/zk-paillier
A collection of Paillier cryptosystem zero knowledge proofs
GPL-3.02026年9月20日 · 指标 2.10.0
crates.io · npm
tangle-network/protocol-substrate
Webb protocol implementation in Substrate.
Apache-2.02026年10月8日 · 指标 2.10.0
npm
vLannaAi/noy-db
Zero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access control
MIT2026年9月8日 · 指标 2.10.0
crates.io
zkcrypto/merlin
Composable proof transcripts for public-coin arguments of knowledge
MIT2026年9月23日 · 指标 2.10.0