crates.io "stark" keyword
View the packages on the crates.io package registry that are tagged with the "stark" keyword.
hdp-processor 0.4.0
HDP processor1 version - Latest release: about 1 year ago - 1.28 thousand downloads total - 28 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
98 versions - Latest release: 10 days ago - 3 dependent packages - 17 dependent repositories - 579 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-build 3.0.3
RISC Zero zero-knowledge VM build tool98 versions - Latest release: 10 days ago - 3 dependent packages - 17 dependent repositories - 579 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
72 versions - Latest release: 16 days ago - 1 dependent package - 17 dependent repositories - 331 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im-sys 4.0.1
Generated HAL code for rv32im cicuit72 versions - Latest release: 16 days ago - 1 dependent package - 17 dependent repositories - 331 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
73 versions - Latest release: 16 days ago - 11 dependent packages - 17 dependent repositories - 659 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-core 3.0.0
Core types for RISC Zero crates73 versions - Latest release: 16 days ago - 11 dependent packages - 17 dependent repositories - 659 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
87 versions - Latest release: 10 days ago - 18 dependent packages - 24 dependent repositories - 704 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm 3.0.3
RISC Zero zero-knowledge VM87 versions - Latest release: 10 days ago - 18 dependent packages - 24 dependent repositories - 704 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
56 versions - Latest release: 17 days ago - 4 dependent packages - 15 dependent repositories - 485 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
bonsai-sdk 1.4.1
Bonsai Software Development Kit56 versions - Latest release: 17 days ago - 4 dependent packages - 15 dependent repositories - 485 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-tools 2.0.0
RISC Zero devtools70 versions - Latest release: 5 months ago - 63.7 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkvm-serde 0.10.0
RISC Zero zero-knowledge VM serde crate13 versions - Latest release: about 3 years ago - 3 dependent packages - 6 dependent repositories - 18.2 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 crate1 version - Latest release: about 3 years ago - 1 dependent package - 2 dependent repositories - 2.84 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-circuit-bigint 1.1.4
RISC Zero Circuit for Big Integer Computation7 versions - Latest release: 6 months ago - 7.93 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: over 1 year ago - 2 dependent repositories - 12.6 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-povw 0.4.0
Core library for RISC Zero Proof of Verifiable Work (PoVW)5 versions - Latest release: 4 days ago - 1.02 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
90 versions - Latest release: 4 days ago - 17 dependent packages - 20 dependent repositories - 700 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-platform 2.2.1
RISC Zero zero-knowledge VM90 versions - Latest release: 4 days ago - 17 dependent packages - 20 dependent repositories - 700 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
bonsai-ethereum-contracts 0.6.1
Bonsai Ethereum contracts8 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 15.2 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-circuit-rv32im-v2-sys 0.1.2
Generated HAL code for rv32im-v2 cicuit4 versions - Latest release: 7 months ago - 3 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-host-sys 0.6.0
RISC Zero zero-knowledge VM host (sys) crate4 versions - Latest release: over 3 years ago - 1 dependent package - 4.79 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-core 0.10.0
RISC Zero zero-knowledge VM core crate13 versions - Latest release: about 3 years ago - 1 dependent package - 6 dependent repositories - 16.9 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
rzup 0.5.1
The RISC Zero version management library and CLI12 versions - Latest release: 10 days ago - 198 thousand downloads total - 1,970 stars on GitHub - 2 maintainers
Top 9.5% on crates.io
15 versions - Latest release: about 3 years ago - 3 dependent packages - 5 dependent repositories - 21.2 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-sys 0.11.1
RISC Zero zero-knowledge VM system crate15 versions - Latest release: about 3 years ago - 3 dependent packages - 5 dependent repositories - 21.2 thousand downloads total - 1,970 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: over 1 year ago - 1 dependent package - 2 dependent repositories - 13.5 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkp-accel
RISC Zero zero-knowledge proof system accel crate3 versions - Latest release: about 12 hours ago - 1 dependent package - 1 dependent repositories - 3.77 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-circuit-keccak-sys 4.0.1
Generated HAL code for keccak cicuit21 versions - Latest release: 16 days ago - 144 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-circuit-keccak 4.0.2
RISC Zero circuit for keccak25 versions - Latest release: 10 days ago - 362 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
Top 9.0% on crates.io
19 versions - Latest release: about 3 years ago - 3 dependent packages - 5 dependent repositories - 26.4 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-circuit-gen 0.11.1
RISC-V circuit (generated)19 versions - Latest release: about 3 years ago - 3 dependent packages - 5 dependent repositories - 26.4 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zeroio 0.14.0
RISC Zero zero-copy deserialization8 versions - Latest release: over 2 years ago - 2 dependent packages - 1 dependent repositories - 18.3 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
Top 6.0% on crates.io
85 versions - Latest release: 10 days ago - 10 dependent packages - 20 dependent repositories - 693 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkp 3.0.2
RISC Zero zero-knowledge proof system core crate85 versions - Latest release: 10 days ago - 10 dependent packages - 20 dependent repositories - 693 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-zkvm-prove 0.6.0
RISC Zero zero-knowledge VM prove crate3 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 3.63 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-guest 0.11.1
RISC Zero zero-knowledge VM guest crate19 versions - Latest release: about 3 years ago - 6 dependent repositories - 21.7 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-verify 0.10.0
RISC Zero zero-knowledge VM verify crate14 versions - Latest release: about 3 years ago - 2 dependent packages - 2 dependent repositories - 16.9 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-circuit 0.11.1
RISC Zero zero-knowledge VM circuit10 versions - Latest release: about 3 years ago - 3 dependent packages - 2 dependent repositories - 14.8 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-bigint2 1.4.10
RISC Zero's Big Integer Accelerator30 versions - Latest release: 10 days ago - 86.8 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkp-prove
RISC Zero zero-knowledge proof system prove crate3 versions - Latest release: about 12 hours ago - 1 dependent package - 1 dependent repositories - 3.76 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
cargo-risczero 3.0.3
RISC Zero CLI tools77 versions - Latest release: 10 days ago - 325 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
82 versions - Latest release: 10 days ago - 3 dependent packages - 19 dependent repositories - 670 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im 4.0.2
RISC Zero circuit for rv32im82 versions - Latest release: 10 days ago - 3 dependent packages - 19 dependent repositories - 670 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-r0vm 3.0.3
RISC Zero zero-knowledge VM executable86 versions - Latest release: 10 days ago - 1 dependent package - 100 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 9.7% on crates.io
15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 22.2 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-circuit-sys 0.11.1
RISC Zero zero-knowledge VM circuit crate15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 22.2 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-groth16-sys 0.1.0
C++ code for groth16 proof generation2 versions - Latest release: 17 days ago - 975 downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-circuit-rv32im-v2 0.1.2
RISC Zero circuit for rv32im-v24 versions - Latest release: 7 months ago - 2.92 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-zkvm-host 0.10.0
RISC Zero zero-knowledge VM host crate13 versions - Latest release: about 3 years ago - 1 dependent package - 5 dependent repositories - 15.8 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
risc0-circuit-recursion-sys 4.0.1
Generated HAL code for recursion cicuit59 versions - Latest release: 16 days ago - 1 dependent package - 1 dependent repositories - 310 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-circuit-recursion 4.0.2
RISC Zero circuit for recursion63 versions - Latest release: 10 days ago - 1 dependent package - 3 dependent repositories - 617 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 8.2% on crates.io
64 versions - Latest release: 10 days ago - 5 dependent packages - 7 dependent repositories - 647 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-binfmt 3.0.2
RISC Zero binary format crate64 versions - Latest release: 10 days ago - 5 dependent packages - 7 dependent repositories - 647 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkos-v1compat 2.2.0
RISC Zero zero-knowledge VM kernel for v1 compatibility11 versions - Latest release: 10 days ago - 213 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
69 versions - Latest release: 17 days ago - 3 dependent packages - 17 dependent repositories - 338 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-sys 1.5.0
Generated / Native / HAL code for RISC Zero69 versions - Latest release: 17 days ago - 3 dependent packages - 17 dependent repositories - 338 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-groth16 3.0.2
RISC Zero Groth1649 versions - Latest release: 10 days ago - 2 dependent packages - 564 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
69 versions - Latest release: 17 days ago - 3 dependent packages - 17 dependent repositories - 345 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-build-kernel 2.0.1
RISC Zero tool for building kernels69 versions - Latest release: 17 days ago - 3 dependent packages - 17 dependent repositories - 345 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.4% on crates.io
13 versions - Latest release: about 3 years ago - 7 dependent packages - 5 dependent repositories - 19 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-core 0.10.0
RISC Zero zero-knowledge proof system core crate13 versions - Latest release: about 3 years ago - 7 dependent packages - 5 dependent repositories - 19 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.5% on crates.io
15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 23.4 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-core-sys 0.11.1
RISC Zero core crate15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 23.4 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.6% on crates.io
15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 22.7 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-sys 0.11.1
RISC Zero zero-knowledge proof system crate15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 22.7 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
Top 9.6% on crates.io
15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 23.1 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-platform-sys 0.11.1
RISC Zero zero-knowledge VM platform crate15 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 23.1 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkp-verify 0.6.0
RISC Zero zero-knowledge proof system verify crate4 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 5.32 thousand downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zeroio-derive 0.14.0
Derive macro for risc0-zeroio8 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 18.8 thousand downloads total - 1,970 stars on GitHub - 1 maintainer
swiftness_commitment 1.0.0
Swiftness - Rust CairoVM Verifier implementation10 versions - Latest release: 8 months ago - 9.25 thousand downloads total - 13 stars on GitHub - 1 maintainer
Top 5.9% on crates.io
28 versions - Latest release: almost 2 years ago - 10 dependent packages - 29 dependent repositories - 680 thousand downloads total - 550 stars on GitHub - 2 maintainers
cairo-felt 0.9.1
Field elements representation for the Cairo VM28 versions - Latest release: almost 2 years ago - 10 dependent packages - 29 dependent repositories - 680 thousand downloads total - 550 stars on GitHub - 2 maintainers
Top 5.9% on crates.io
55 versions - Latest release: 3 days ago - 8 dependent packages - 25 dependent repositories - 1.16 million downloads total - 550 stars on GitHub - 4 maintainers
cairo-vm 2.4.1
Blazing fast Cairo interpreter55 versions - Latest release: 3 days ago - 8 dependent packages - 25 dependent repositories - 1.16 million downloads total - 550 stars on GitHub - 4 maintainers
air-derive-ir 0.4.0
Macros for MIR representation of the AirScript language1 version - Latest release: 3 months ago - 464 downloads total - 89 stars on GitHub - 1 maintainer
air-mir 0.4.0
Intermediate representation for the AirScript language1 version - Latest release: 3 months ago - 459 downloads total - 89 stars on GitHub - 1 maintainer
hdp-cairo-runner 0.4.0
HDP cairo runner1 version - Latest release: about 1 year ago - 1.45 thousand downloads total - 28 stars on GitHub - 1 maintainer
miden-assembly-syntax 0.17.1
Parsing and semantic analysis of the Miden Assembly language7 versions - Latest release: 7 days ago - 7.82 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-test-utils 0.1.0
Test utilities for Miden VM programs1 version - Latest release: 4 months ago - 578 downloads total - 684 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
29 versions - Latest release: 7 days ago - 8 dependent packages - 34 dependent repositories - 156 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-assembly 0.17.1
Miden VM assembly language29 versions - Latest release: 7 days ago - 8 dependent packages - 34 dependent repositories - 156 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
29 versions - Latest release: 7 days ago - 12 dependent packages - 35 dependent repositories - 188 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-core 0.17.1
Miden VM core components29 versions - Latest release: 7 days ago - 12 dependent packages - 35 dependent repositories - 188 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
27 versions - Latest release: 7 days ago - 4 dependent packages - 34 dependent repositories - 150 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-verifier 0.17.1
Miden VM execution verifier27 versions - Latest release: 7 days ago - 4 dependent packages - 34 dependent repositories - 150 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
28 versions - Latest release: 7 days ago - 6 dependent packages - 34 dependent repositories - 155 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-air 0.17.1
Algebraic intermediate representation of Miden VM processor28 versions - Latest release: 7 days ago - 6 dependent packages - 34 dependent repositories - 155 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
31 versions - Latest release: 7 days ago - 9 dependent packages - 34 dependent repositories - 157 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-processor 0.17.1
Miden VM processor31 versions - Latest release: 7 days ago - 9 dependent packages - 34 dependent repositories - 157 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-vm 0.17.1
Miden virtual machine24 versions - Latest release: 7 days ago - 21.2 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
26 versions - Latest release: 7 days ago - 3 dependent packages - 34 dependent repositories - 149 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-prover 0.17.1
Miden VM prover26 versions - Latest release: 7 days ago - 3 dependent packages - 34 dependent repositories - 149 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-utils-sync 0.17.1
no-std compatible locking primitives for the Miden project7 versions - Latest release: 7 days ago - 8.05 thousand downloads total - 684 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
28 versions - Latest release: 7 days ago - 5 dependent packages - 33 dependent repositories - 150 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-stdlib 0.17.1
Miden VM standard library28 versions - Latest release: 7 days ago - 5 dependent packages - 33 dependent repositories - 150 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-mast-package 0.17.1
Package containing a compiled Miden MAST artifact with declared dependencies and exports11 versions - Latest release: 7 days ago - 12.2 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-utils-diagnostics 0.17.1
Diagnostic infrastructure used in the Miden assembler and VM7 versions - Latest release: 7 days ago - 7.86 thousand downloads total - 684 stars on GitHub - 1 maintainer
miden-debug-types 0.17.1
Core source-level debugging information types used throughout the Miden toolchain7 versions - Latest release: 7 days ago - 7.96 thousand downloads total - 684 stars on GitHub - 1 maintainer
air-ir 0.4.0
Intermediate representation for the AirScript language4 versions - Latest release: 3 months ago - 3 dependent packages - 5.62 thousand downloads total - 70 stars on GitHub - 1 maintainer
air-parser 0.4.0
Parser for the AirScript language4 versions - Latest release: 3 months ago - 2 dependent packages - 6.02 thousand downloads total - 70 stars on GitHub - 1 maintainer
air-codegen-winter 0.4.0
Winterfell code generator for the AirScript language4 versions - Latest release: 3 months ago - 1 dependent package - 4.89 thousand downloads total - 70 stars on GitHub - 1 maintainer
air-script 0.4.0
AirScript language compiler4 versions - Latest release: 3 months ago - 4.41 thousand downloads total - 70 stars on GitHub - 1 maintainer
hdp-core 0.2.5
HDP core implementation3 versions - Latest release: about 1 year ago - 1 dependent package - 3.65 thousand downloads total - 28 stars on GitHub - 1 maintainer
tasm-lib 0.50.0
Code snippets for Triton VM assembly with tests and statistics.8 versions - Latest release: 2 months ago - 14.4 thousand downloads total - 11 stars on GitHub - 3 maintainers
miden 0.4.0
Miden SDK6 versions - Latest release: 22 days ago - 33 dependent repositories - 56.1 thousand downloads total - 584 stars on GitHub - 1 maintainer
smt_trie 0.2.0
Types and utility functions for building/working with Polygon Hermez Sparse Merkle Trees.3 versions - Latest release: 9 months ago - 3.14 thousand downloads total - 96 stars on GitHub - 1 maintainer
zk_evm_proc_macro 0.1.0
Procedural Macros for Polygon Zero zkEVM1 version - Latest release: about 1 year ago - 1.67 thousand downloads total - 96 stars on GitHub - 1 maintainer
evm_arithmetization 0.5.1
Implementation of STARKs for the Ethereum Virtual Machine9 versions - Latest release: 9 months ago - 2 dependent packages - 13.4 thousand downloads total - 96 stars on GitHub - 2 maintainers
proof_gen 0.4.0
Generates block proofs from zero proof IR.7 versions - Latest release: about 1 year ago - 8.57 thousand downloads total - 96 stars on GitHub - 2 maintainers
zk_evm_common 0.1.0
Common types and utility methods for the Polygon Zero zkEVM.1 version - Latest release: 9 months ago - 1.19 thousand downloads total - 96 stars on GitHub - 1 maintainer
trace_decoder 0.7.0
Ethereum node witness -> Prover input9 versions - Latest release: 9 months ago - 1 dependent package - 11.2 thousand downloads total - 96 stars on GitHub - 3 maintainers
starknet-types-rpc 0.7.1
Starknet RPC types.1 version - Latest release: 10 months ago - 1.32 thousand downloads total - 73 stars on GitHub - 1 maintainer
starknet-types-core 0.2.0
Core types representation for Starknet20 versions - Latest release: 25 days ago - 2 dependent packages - 1.11 million downloads total - 73 stars on GitHub - 5 maintainers
stark-felt 0.0.2
Field element type for Cairo.2 versions - Latest release: over 2 years ago - 2.64 thousand downloads total - 55 stars on GitHub - 1 maintainer
hdp-preprocessor 0.4.0
HDP preprocessor1 version - Latest release: about 1 year ago - 1.27 thousand downloads total - 28 stars on GitHub - 1 maintainer
miden-gpu 0.6.0
GPU acceleration for the Miden VM prover7 versions - Latest release: 3 months ago - 6.23 thousand downloads total - 1 maintainer
rpo-xhash-m31 0.1.0
Rust implementation of the RPO‑M31 and XHash‑M31 hash permutations, with a Sponge facade for Circ...1 version - Latest release: 5 months ago - 507 downloads total - 4 stars on GitHub - 1 maintainer
triton-isa 0.50.0
The instruction set architecture for Triton VM.11 versions - Latest release: 2 months ago - 18.9 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-opcodes 0.31.0
Triton VM instructions and their translations15 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 16.8 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-vm 0.50.0
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Re...61 versions - Latest release: 2 months ago - 2 dependent packages - 1 dependent repositories - 77.1 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-air 0.50.0
The Arithmetic Intermediate Representation (AIR) for Triton VM.11 versions - Latest release: 2 months ago - 18.8 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-constraint-builder 0.50.0
Emits efficient code from Triton VM's AIR.11 versions - Latest release: 2 months ago - 18.7 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-profiler 0.30.0
A universal profiler tailored to Triton-VM14 versions - Latest release: about 2 years ago - 1 dependent package - 3 dependent repositories - 16 thousand downloads total - 257 stars on GitHub - 3 maintainers
triton-constraint-circuit 0.50.0
AIR constraints build helper for Triton VM.11 versions - Latest release: 2 months ago - 18.9 thousand downloads total - 257 stars on GitHub - 3 maintainers
hdp 0.9.0
All Herodotus Data Processor4 versions - Latest release: 9 months ago - 3.68 thousand downloads total - 28 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
28 versions - Latest release: about 2 months ago - 2 dependent packages - 36 dependent repositories - 244 thousand downloads total - 866 stars on GitHub - 3 maintainers
winter-verifier 0.13.1
Winterfell STARK verifier28 versions - Latest release: about 2 months ago - 2 dependent packages - 36 dependent repositories - 244 thousand downloads total - 866 stars on GitHub - 3 maintainers
Related Keywords
zero-knowledge
83
cryptography
83
rust
76
virtual-machine
69
risc-v
51
zkp
20
zk
14
ethereum
13
miden
12
verifier
11
air
9
blockchain
9
cairo-vm
8
zkvm
7
etheureum
7
storage-proof
7
data-processor
7
zk-starks
7
plonky2
6
crypto
5
cairo
4
winterfell
4
compiler
3
prover
3
language
3
starks
2
gpu
2
recursive
2
span
2
program
2
programming-language
2
assembly
2
starknet
2
wasm
2
zero-knowledge-proofs
1
cli
1
no-std
1
annotations
1
evm
1
stone-prover
1
snark
1
arkworks
1
apple-silicon
1
arkworks-rs
1
fft
1
finite-fields
1
gpu-acceleration
1
gpu-computing
1
gpu-programming
1
m1
1
metal
1
optimization
1
polynomials
1
zkstarks
1
risczero
1
syntax
1
test
1
assembler
1
instruction-set
1
arithmetization
1
risc0
1
tool
1
stdlib
1
package
1
diagnostic
1
error
1
debugging
1
debuginfo
1
vm
1
triton-vm
1
generate
1
no_std
1
bitcoin
1
hash
1
hashing-algorithms
1