Усі теги
Тег каталогу

#prover

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

6 записів
З тегом «prover»Упорядковано за індексом здоров'я
crates.io · npm
96Винятковийіндекс здоров'я
0xMiden/miden-vm
STARK-based virtual machine
Rust★ 772↓ 167K/міс9 вер. 2026 р.
Apache-2.09 вер. 2026 р. · метрики 2.10.0
crates.io
81Відміннийіндекс здоров'я
0xPolygonHermez/pil2-proofman
Prover Manager
Rust · C++ · Cuda★ 27↓ 8 986/міс11 вер. 2026 р.
Apache-2.011 вер. 2026 р. · метрики 2.10.0
npm · Go · crates.io
81Відміннийіндекс здоров'я
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Rust★ 73.8K↓ 123/міс16 вер. 2026 р.
Apache-2.016 вер. 2026 р. · метрики 2.10.0
PyPI · crates.io
71Добрийіндекс здоров'я
corpus-core/colibri-stateless
the c4 monorepo
C · JavaScript · HTML★ 32↓ 1 117/міс19 жовт. 2026 р.
MIT19 жовт. 2026 р. · метрики 2.10.0
PyPI · npm
62Помірнийіндекс здоров'я
gowrishankar-infra/velaris-lang
A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.
Python · HTML★ 3↓ 9 055/міс15 вер. 2026 р.
MIT15 вер. 2026 р. · метрики 2.10.0
npm
51Помірнийіндекс здоров'я
iden3/rapidsnark
rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
C++ · Assembly★ 101↓ 100/міс20 вер. 2026 р.
LGPL-3.020 вер. 2026 р. · метрики 2.10.0