crates.io
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Apache-2.023 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#zkp
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
13 записів
crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.022 серп. 2026 р. · метрики 2.10.0
Go
Consensys/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.029 серп. 2026 р. · метрики 2.10.0
—
zcoinofficial/zcoin
The privacy-focused cryptocurrency
MIT19 лип. 2026 р. · метрики 2.10.0
crates.io
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
Apache-2.017 лип. 2026 р. · метрики 2.10.0
crates.io
ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.021 лип. 2026 р. · метрики 2.10.0
crates.io
zkMIPS/zkMIPS
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Apache-2.015 лип. 2026 р. · метрики 2.10.0
crates.io
zcash/halo2
The Halo2 zero-knowledge proving system
Власна ліцензія21 лип. 2026 р. · метрики 2.10.0
crates.io
a16z/dory
A high performance and modular implementation of the Dory polynomial commitment scheme
Apache-2.010 серп. 2026 р. · метрики 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT26 лип. 2026 р. · метрики 2.10.0
crates.io
axiom-crypto/halo2
Опис репозиторію не опубліковано.
Власна ліцензія22 серп. 2026 р. · метрики 2.10.0
npm
zkpassport/zkpassport-packages
ZKPassport Monorepo
Без ліцензії17 лип. 2026 р. · метрики 2.10.0
npm
TaceoLabs/oprf-client-js
Опис репозиторію не опубліковано.
MIT2 серп. 2026 р. · метрики 2.10.0