Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "stark" keyword

triton-vm 0.41.0
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Re...
45 versions - Latest release: 24 days ago - 2 dependent packages - 1 dependent repositories - 15.2 thousand downloads total - 214 stars on GitHub - 3 maintainers
miden-gpu 0.1.0
GPU acceleration for the Miden VM prover
1 version - Latest release: about 1 month ago - 229 downloads total - 1 maintainer
Top 5.9% on crates.io
cairo-felt 0.9.1
Field elements representation for the Cairo VM
28 versions - Latest release: 6 months ago - 10 dependent packages - 29 dependent repositories - 461 thousand downloads total - 458 stars on GitHub - 1 maintainer
Top 5.9% on crates.io
cairo-vm 0.9.2
Blazing fast Cairo interpreter
31 versions - Latest release: 4 months ago - 8 dependent packages - 25 dependent repositories - 370 thousand downloads total - 458 stars on GitHub - 5 maintainers
risc0-zkvm-host-sys 0.6.0
RISC Zero zero-knowledge VM host (sys) crate
4 versions - Latest release: about 2 years ago - 1 dependent package - 1.28 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
bonsai-ethereum-relay 0.6.1
A relayer to integrate Ethereum with Bonsai.
8 versions - Latest release: 4 months ago - 2 dependent repositories - 2.94 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-accel
RISC Zero zero-knowledge proof system accel crate
3 versions - Latest release: 3 days ago - 1 dependent package - 1 dependent repositories - 1.27 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkvm-guest 0.11.1
RISC Zero zero-knowledge VM guest crate
19 versions - Latest release: almost 2 years ago - 6 dependent repositories - 6.03 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
bonsai-rest-api-mock 0.6.1
An HTTP REST API server to mock the Bonsai-alpha prover interface.
8 versions - Latest release: 4 months ago - 1 dependent package - 2 dependent repositories - 3.65 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-verify 0.10.0
RISC Zero zero-knowledge VM verify crate
14 versions - Latest release: almost 2 years ago - 2 dependent packages - 2 dependent repositories - 4.69 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zeroio-derive 0.14.0
Derive macro for risc0-zeroio
8 versions - Latest release: about 1 year ago - 1 dependent package - 1 dependent repositories - 9 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkp-verify 0.6.0
RISC Zero zero-knowledge proof system verify crate
4 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 1.67 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.7% on crates.io
risc0-zkvm-circuit-sys 0.11.1
RISC Zero zero-knowledge VM circuit crate
15 versions - Latest release: almost 2 years ago - 2 dependent packages - 5 dependent repositories - 7.79 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-host 0.10.0
RISC Zero zero-knowledge VM host crate
13 versions - Latest release: almost 2 years ago - 1 dependent package - 5 dependent repositories - 4.47 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.5% on crates.io
risc0-zkvm-sys 0.11.1
RISC Zero zero-knowledge VM system crate
15 versions - Latest release: almost 2 years ago - 3 dependent packages - 5 dependent repositories - 7.02 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
risc0-core 0.21.0
Core types for RISC Zero crates
34 versions - Latest release: 2 months ago - 11 dependent packages - 17 dependent repositories - 69.6 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkvm-core 0.10.0
RISC Zero zero-knowledge VM core crate
13 versions - Latest release: almost 2 years ago - 1 dependent package - 6 dependent repositories - 4.91 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkvm-circuit 0.11.1
RISC Zero zero-knowledge VM circuit
10 versions - Latest release: almost 2 years ago - 3 dependent packages - 2 dependent repositories - 4.75 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.6% on crates.io
risc0-zkvm-platform-sys 0.11.1
RISC Zero zero-knowledge VM platform crate
15 versions - Latest release: almost 2 years ago - 2 dependent packages - 5 dependent repositories - 8.36 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zeroio 0.14.0
RISC Zero zero-copy deserialization
8 versions - Latest release: about 1 year ago - 2 dependent packages - 1 dependent repositories - 8.86 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
bonsai-ethereum-contracts 0.6.1
Bonsai Ethereum contracts
8 versions - Latest release: 4 months ago - 1 dependent package - 2 dependent repositories - 3.08 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-prove 0.6.0
RISC Zero zero-knowledge VM prove crate
3 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 959 downloads total - 1,350 stars on GitHub - 1 maintainer
Top 9.4% on crates.io
risc0-zkp-core 0.10.0
RISC Zero zero-knowledge proof system core crate
13 versions - Latest release: almost 2 years ago - 7 dependent packages - 5 dependent repositories - 6.44 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-hal 0.10.0
RISC Zero zero-knowledge proof system hardware abstraction layer crate
1 version - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.08 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.5% on crates.io
risc0-core-sys 0.11.1
RISC Zero core crate
15 versions - Latest release: almost 2 years ago - 2 dependent packages - 5 dependent repositories - 8.59 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-serde 0.10.0
RISC Zero zero-knowledge VM serde crate
13 versions - Latest release: almost 2 years ago - 3 dependent packages - 6 dependent repositories - 5.96 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-prove
RISC Zero zero-knowledge proof system prove crate
3 versions - Latest release: 3 days ago - 1 dependent package - 1 dependent repositories - 1.25 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.0% on crates.io
risc0-zkvm-circuit-gen 0.11.1
RISC-V circuit (generated)
19 versions - Latest release: almost 2 years ago - 3 dependent packages - 5 dependent repositories - 8.89 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.6% on crates.io
risc0-zkp-sys 0.11.1
RISC Zero zero-knowledge proof system crate
15 versions - Latest release: almost 2 years ago - 2 dependent packages - 5 dependent repositories - 8.32 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
winter-prover 0.9.0
Winterfell STARK prover
19 versions - Latest release: 8 days ago - 6 dependent packages - 36 dependent repositories - 107 thousand downloads total - 719 stars on GitHub - 3 maintainers
winterfell 0.9.0
Winterfell STARK prover and verifier
20 versions - Latest release: 8 days ago - 1 dependent package - 18 dependent repositories - 10.6 thousand downloads total - 719 stars on GitHub - 3 maintainers
trace_decoder 0.3.1
Processes trace payloads into Intermediate Representation (IR) format.
5 versions - Latest release: 24 days ago - 1 dependent package - 1.49 thousand downloads total - 36 stars on GitHub - 3 maintainers
starknet-types-core 0.1.1
Core types representation for Starknet
11 versions - Latest release: 22 days ago - 2 dependent packages - 33.4 thousand downloads total - 49 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
risc0-zkvm 0.21.0
RISC Zero zero-knowledge VM
40 versions - Latest release: 2 months ago - 18 dependent packages - 24 dependent repositories - 64.8 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 6.0% on crates.io
risc0-zkp 0.21.0
RISC Zero zero-knowledge proof system core crate
42 versions - Latest release: 2 months ago - 10 dependent packages - 20 dependent repositories - 70.8 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-groth16 0.21.0
RISC Zero Groth16
5 versions - Latest release: 2 months ago - 2 dependent packages - 10.1 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
risc0-build 0.21.0
RISC Zero zero-knowledge VM build tool
51 versions - Latest release: 2 months ago - 3 dependent packages - 17 dependent repositories - 49.4 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 8.2% on crates.io
risc0-binfmt 0.21.0
RISC Zero binary format crate
21 versions - Latest release: 2 months ago - 5 dependent packages - 7 dependent repositories - 50.5 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
miden-verifier 0.9.1
Miden VM execution verifier
10 versions - Latest release: about 1 month ago - 4 dependent packages - 34 dependent repositories - 40.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-stdlib 0.9.1
Miden VM standard library
9 versions - Latest release: about 1 month ago - 5 dependent packages - 33 dependent repositories - 40.2 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
miden-prover 0.9.1
Miden VM prover
9 versions - Latest release: about 1 month ago - 3 dependent packages - 34 dependent repositories - 40.6 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-processor 0.9.2
Miden VM processor
12 versions - Latest release: 21 days ago - 9 dependent packages - 34 dependent repositories - 42.1 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
miden-core 0.9.1
Miden VM core components
11 versions - Latest release: about 1 month ago - 12 dependent packages - 35 dependent repositories - 63.1 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
miden-assembly 0.9.2
Miden VM assembly language
12 versions - Latest release: 7 days ago - 8 dependent packages - 34 dependent repositories - 47.1 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-air 0.9.2
Algebraic intermediate representation of Miden VM processor
11 versions - Latest release: 21 days ago - 6 dependent packages - 34 dependent repositories - 43 thousand downloads total - 584 stars on GitHub - 1 maintainer
evm_arithmetization 0.1.3
Implementation of STARKs for the Ethereum Virtual Machine
4 versions - Latest release: 28 days ago - 2 dependent packages - 1.38 thousand downloads total - 36 stars on GitHub - 3 maintainers
Top 7.7% on crates.io
bonsai-sdk 0.7.0
Bonsai Software Development Kit
23 versions - Latest release: 2 months ago - 4 dependent packages - 15 dependent repositories - 42.2 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
winter-verifier 0.9.0
Winterfell STARK verifier
18 versions - Latest release: 8 days ago - 2 dependent packages - 36 dependent repositories - 104 thousand downloads total - 719 stars on GitHub - 3 maintainers
miden 0.3.0
Miden virtual machine
3 versions - Latest release: over 1 year ago - 33 dependent repositories - 29.2 thousand downloads total - 580 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
risc0-zkvm-platform 0.21.0
RISC Zero zero-knowledge VM
46 versions - Latest release: 2 months ago - 17 dependent packages - 20 dependent repositories - 72.3 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-r0vm 0.21.0
RISC Zero zero-knowledge VM executable
39 versions - Latest release: 2 months ago - 1 dependent package - 15.2 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
cargo-risczero 0.21.0
RISC Zero CLI tools
30 versions - Latest release: 2 months ago - 60.3 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-tools 0.21.0
RISC Zero devtools
35 versions - Latest release: 2 months ago - 8.48 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
risc0-circuit-rv32im 0.21.0
RISC Zero circuit for rv32im
36 versions - Latest release: 2 months ago - 3 dependent packages - 19 dependent repositories - 62.7 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-circuit-recursion-sys 0.21.0
Generated HAL code for recursion cicuit
18 versions - Latest release: 2 months ago - 1 dependent package - 1 dependent repositories - 24.5 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
risc0-circuit-rv32im-sys 0.21.0
Generated HAL code for rv32im cicuit
30 versions - Latest release: 2 months ago - 1 dependent package - 17 dependent repositories - 44.7 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-circuit-recursion 0.21.0
RISC Zero circuit for recursion
18 versions - Latest release: 2 months ago - 1 dependent package - 3 dependent repositories - 36.1 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
risc0-build-kernel 0.21.0
RISC Zero tool for building kernels
31 versions - Latest release: 2 months ago - 3 dependent packages - 17 dependent repositories - 46.9 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
risc0-sys 0.21.0
Generated / Native / HAL code for RISC Zero
31 versions - Latest release: 2 months ago - 3 dependent packages - 17 dependent repositories - 46.1 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
triton-opcodes 0.31.0
Triton VM instructions and their translations
15 versions - Latest release: 11 months ago - 2 dependent packages - 1 dependent repositories - 5.15 thousand downloads total - 214 stars on GitHub - 3 maintainers
triton-profiler 0.30.0
A universal profiler tailored to Triton-VM
14 versions - Latest release: 11 months ago - 1 dependent package - 3 dependent repositories - 5.05 thousand downloads total - 214 stars on GitHub - 3 maintainers
zkp-stark 0.2.1
Implementation of the STARK ZK-proof system
4 versions - Latest release: over 3 years ago - 1 dependent repositories - 2.8 thousand downloads total - 624 stars on GitHub - 1 maintainer
ministark-gpu 0.3.0
GPU optimized primitives commonly used by STARK/SNARK provers
3 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 1.23 thousand downloads total - 318 stars on GitHub - 1 maintainer
stark_evm_adapter 0.1.5
a lib/CLI for adapting STARK proofs for verification on the EVM
5 versions - Latest release: 5 months ago - 1.31 thousand downloads total - 5 stars on GitHub - 1 maintainer
miden-vm 0.9.1
Miden virtual machine
7 versions - Latest release: about 1 month ago - 2.61 thousand downloads total - 584 stars on GitHub - 1 maintainer
air-parser 0.3.0
Parser for the AirScript language
3 versions - Latest release: 10 months ago - 2 dependent packages - 1.71 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-script 0.3.0
AirScript language compiler
3 versions - Latest release: 10 months ago - 780 downloads total - 67 stars on GitHub - 1 maintainer
air-ir 0.3.0
Intermediate representation for the AirScript language
3 versions - Latest release: 10 months ago - 3 dependent packages - 1.48 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-script-core 0.2.0
Core types for the AirScript compiler
1 version - Latest release: about 1 year ago - 3 dependent packages - 493 downloads total - 67 stars on GitHub - 1 maintainer
air-codegen-winter 0.3.0
Winterfell code generator for the AirScript language
3 versions - Latest release: 10 months ago - 1 dependent package - 1.13 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-codegen-masm 0.1.0
Miden Assembly code generator for the AirScript language
1 version - Latest release: 10 months ago - 1 dependent package - 454 downloads total - 67 stars on GitHub - 1 maintainer
proof_gen 0.1.3
Generates block proofs from zero proof IR.
4 versions - Latest release: 28 days ago - 1.19 thousand downloads total - 36 stars on GitHub - 3 maintainers
stark-felt 0.0.2
Field element type for Cairo.
2 versions - Latest release: 12 months ago - 557 downloads total - 49 stars on GitHub - 1 maintainer
Related Keywords
zero-knowledge 60 cryptography 59 virtual-machine 52 rust 47 risc-v 41 zkp 18 miden 9 air 7 crypto 5 winterfell 4 zk 3 ethereum 3 plonky2 3 verifier 3 prover 3 cairo 3 zk-starks 3 wasm 2 programming-language 2 compiler 2 blockchain 2 gpu 2 program 2 stone-prover 1 gpu-programming 1 gpu-computing 1 gpu-acceleration 1 finite-fields 1 fft 1 arkworks-rs 1 apple-silicon 1 arkworks 1 m1 1 metal 1 optimization 1 polynomials 1 starks 1 evm 1 zkstarks 1 annotations 1 recursive 1 no_std 1 starknet 1 vm 1 stdlib 1 instruction-set 1 language 1 assembler 1 assembly 1 arithmetization 1 risc0 1 cli 1 tool 1 generate 1 risczero 1 no-std 1 snark 1