crates.io
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache-2.020. Okt. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#zkp
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.
15 Einträge
crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.09. Sept. 2026 · Metriken 2.10.0
Go
Consensys-Incorporated/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems
Apache-2.021. Okt. 2026 · Metriken 2.10.0
crates.io
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Apache-2.020. Sept. 2026 · Metriken 2.10.0
crates.io
MystenLabs/fastcrypto
Common cryptographic library used in software at Mysten Labs.
Apache-2.020. Sept. 2026 · Metriken 2.10.0
—
firoorg/firo
The privacy-focused cryptocurrency
MIT11. Sept. 2026 · Metriken 2.10.0
crates.io · PyPI
starkware-libs/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Apache-2.02. Okt. 2026 · Metriken 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.012. Sept. 2026 · Metriken 2.10.0
npm · PyPI
bolyra/bolyra
Mutual ZKP authentication for humans and AI agents
Apache-2.026. Sept. 2026 · Metriken 2.10.0
crates.io
zcash/halo2
The Halo2 zero-knowledge proving system
Eigene Lizenz12. Sept. 2026 · Metriken 2.10.0
crates.io
a16z/dory
A high performance and modular implementation of the Dory polynomial commitment scheme
Apache-2.017. Sept. 2026 · Metriken 2.10.0
npm
zkpassport/zkpassport-packages
ZKPassport Monorepo
Keine Lizenz10. Sept. 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
npm
TaceoLabs/oprf-client-js
Keine Repository-Beschreibung veröffentlicht.
MIT15. Sept. 2026 · Metriken 2.10.0
crates.io
axiom-crypto/halo2
Keine Repository-Beschreibung veröffentlicht.
Eigene Lizenz20. Okt. 2026 · Metriken 2.10.0