crates.io · npm
0xMiden/miden-vm
STARK-based virtual machine
Apache-2.022 серп. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#stark
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
11 записів
crates.io · npm
0xPolygonMiden/miden-vm
STARK-based virtual machine
Apache-2.017 лип. 2026 р. · метрики 2.10.0
crates.io · npm
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
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
starkware-libs/stwo-cairo
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
Без ліцензії19 лип. 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
npm
starkbank/sdk-node
SDK to facilitate Node JS integrations with the Stark Bank API
MIT30 лип. 2026 р. · метрики 2.10.0
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.025 лип. 2026 р. · метрики 2.10.0
crates.io
0xMiden/air-script
A domain-specific language for writing AIR constraints for STARKs
MIT26 лип. 2026 р. · метрики 2.10.0
npm
starkinfra/core-node
Core functionalities for the StarkInfra and StarkBank JS SDKs
MIT30 лип. 2026 р. · метрики 2.10.0
npm
starkinfra/sdk-node
SDK to facilitate Node integrations with the Stark Infra API
MIT3 вер. 2026 р. · метрики 2.10.0