crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.09. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#prover
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.
6 Einträge
crates.io
0xPolygonHermez/pil2-proofman
Prover Manager
Apache-2.011. Sept. 2026 · Metriken 2.10.0
npm · Go · crates.io
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Apache-2.016. Sept. 2026 · Metriken 2.10.0
PyPI · crates.io
corpus-core/colibri-stateless
the c4 monorepo
MIT19. Okt. 2026 · Metriken 2.10.0
PyPI · npm
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.
MIT15. Sept. 2026 · Metriken 2.10.0
npm
iden3/rapidsnark
rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
LGPL-3.020. Sept. 2026 · Metriken 2.10.0