crates.io "zero-knowledge" keyword
pflow-zk 0.3.0
ZK proof traits and incidence matrix extraction for Petri nets2 versions - Latest release: 11 days ago - 50 downloads total - 0 stars on GitHub - 1 maintainer
pflow-zk-arkworks 0.3.0
Arkworks-based ZK prover for Petri nets (Groth16 + Poseidon over BN254)2 versions - Latest release: 11 days ago - 31 downloads total - 0 stars on GitHub - 1 maintainer
pflow-zk-risc0 0.3.0
risc0 zkVM-based prover for Petri nets2 versions - Latest release: 11 days ago - 31 downloads total - 0 stars on GitHub - 1 maintainer
barretenberg-rs 4.0.4
Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs52 versions - Latest release: 5 days ago - 691 downloads total - 427 stars on GitHub - 1 maintainer
zkcg-verifier 0.1.2
Shared types, errors, and utilities for the ZKCG protocol3 versions - Latest release: about 16 hours ago - 23 downloads total - 1 maintainer
zkcg-common 0.1.2
Shared types, errors, and utilities for the ZKCG protocol3 versions - Latest release: about 16 hours ago - 66 downloads total - 1 maintainer
Top 5.5% on crates.io
9 versions - Latest release: over 1 year ago - 52 dependent packages - 167 dependent repositories - 4.38 million downloads total - 186 stars on GitHub - 1 maintainer
ark-r1cs-std 0.5.0
A standard library for constraint system gadgets9 versions - Latest release: over 1 year ago - 52 dependent packages - 167 dependent repositories - 4.38 million downloads total - 186 stars on GitHub - 1 maintainer
Top 8.0% on crates.io
76 versions - Latest release: almost 2 years ago - 6 dependent packages - 2 dependent repositories - 136 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acir_field 0.46.0
The field implementation being used by ACIR.76 versions - Latest release: almost 2 years ago - 6 dependent packages - 2 dependent repositories - 136 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
brillig_vm 0.46.0
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM33 versions - Latest release: almost 2 years ago - 2 dependent packages - 2 dependent repositories - 62.9 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acir 0.46.0
ACIR is the IR that the VM processes, it is analogous to LLVM IR57 versions - Latest release: almost 2 years ago - 6 dependent packages - 2 dependent repositories - 126 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
bn254_blackbox_solver 0.46.0
Solvers for black box functions which are specific for the bn254 curve5 versions - Latest release: almost 2 years ago - 6.81 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
brillig 0.46.0
Brillig is the bytecode ACIR uses for non-determinism.39 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 53.6 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acvm_blackbox_solver 0.46.0
A solver for the blackbox functions found in ACIR and Brillig24 versions - Latest release: almost 2 years ago - 4 dependent packages - 1 dependent repositories - 51.9 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acvm 0.46.0
The virtual machine that processes ACIR given a backend/proof system.50 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 111 thousand downloads total - 879 stars on GitHub - 2 maintainers
cometbls 0.0.0
soon™1 version - Latest release: about 2 years ago - 1.53 thousand downloads total - 58 stars on GitHub - 1 maintainer
snarkos-account 4.5.0
Account for a decentralized operating system36 versions - Latest release: 3 days ago - 6 dependent packages - 2 dependent repositories - 33.9 thousand downloads total - 16 stars on GitHub - 1 maintainer
zkcg-halo2-prover 0.1.1
Prover crate for ZKCG — generate Halo2 proofs for off-chain computation + policy compliance2 versions - Latest release: 1 day ago - 18 downloads total - 1 maintainer
curdleproofs 0.0.1
An implementation of the Curdleproofs shuffle zero-knowledge argument5 versions - Latest release: over 3 years ago - 7.74 thousand downloads total - 69 stars on GitHub - 1 maintainer
zkcg-zkvm-host 0.1.0
host for zkvm1 version - Latest release: 1 day ago - 0 downloads total - 1 maintainer
lox-zkp 0.8.4
A toolkit for auto-generated implementations of Schnorr proofs4 versions - Latest release: about 1 year ago - 2 dependent packages - 6.33 thousand downloads total - 0 stars on gitlab.torproject.org - 1 maintainer
Top 8.4% on crates.io
4 versions - Latest release: 1 day ago - 11 dependent packages - 1 dependent repositories - 11.9 thousand downloads total - 4,476 stars on GitHub - 1 maintainer
snarkos-objects
Objects for a decentralized operating system4 versions - Latest release: 1 day ago - 11 dependent packages - 1 dependent repositories - 11.9 thousand downloads total - 4,476 stars on GitHub - 1 maintainer
zki_sieve 4.0.1
An implementation of SIEVE IR3 versions - Latest release: over 2 years ago - 1 dependent repositories - 4.51 thousand downloads total - 8 stars on GitHub - 1 maintainer
amareleo-chain-resources 2.5.0
Resources for a lite Aleo development node7 versions - Latest release: 9 months ago - 5.45 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 4.0% on crates.io
9 versions - Latest release: 3 months ago - 9 dependent packages - 99 dependent repositories - 1.97 million downloads total - 860 stars on GitHub - 2 maintainers
halo2_proofs 0.3.2
Fast PLONK-based zero-knowledge proving system with no trusted setup9 versions - Latest release: 3 months ago - 9 dependent packages - 99 dependent repositories - 1.97 million downloads total - 860 stars on GitHub - 2 maintainers
darkfi-sdk
SDK used for developing smart contracts on DarkFi1 version - Latest release: 2 days ago - 1.73 thousand downloads total - 1,285 stars on GitHub - 1 maintainer
aingle_zk 0.3.6
Zero-Knowledge Proofs for AIngle - privacy-preserving cryptographic primitives4 versions - Latest release: 2 days ago - 118 downloads total - 0 stars on GitHub - 1 maintainer
blueprint-crypto-tangle-pair-signer 0.1.0-alpha.14
Pair signer for Tangle14 versions - Latest release: 5 months ago - 11.8 thousand downloads total - 328 stars on GitHub - 2 maintainers
kzen-paillier 0.4.3
Efficient pure-Rust library for the Paillier partially homomorphic encryption scheme4 versions - Latest release: about 3 years ago - 4 dependent packages - 11 dependent repositories - 160 thousand downloads total - 36 stars on GitHub - 2 maintainers
snarkvm-synthesizer-coinbase 0.13.0
Coinbase puzzle for a decentralized virtual machine13 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 43.9 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
fermah-database 0.1.3
Fermah database for AVS.3 versions - Latest release: over 1 year ago - 3.46 thousand downloads total - 9 stars on GitHub - 1 maintainer
grin_secp256k1zkp 0.7.15
Grin's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` li...15 versions - Latest release: 2 days ago - 13 dependent packages - 53 dependent repositories - 173 thousand downloads total - 58 stars on GitHub - 3 maintainers
triton-constraint-circuit 2.0.0
AIR constraints build helper for Triton VM.13 versions - Latest release: about 2 months ago - 33.4 thousand downloads total - 262 stars on GitHub - 3 maintainers
webb-bulletproofs 2.0.3
A pure-Rust implementation of Bulletproofs using Ristretto4 versions - Latest release: over 4 years ago - 3 dependent packages - 2 dependent repositories - 10 thousand downloads total - 2 stars on GitHub - 3 maintainers
Top 5.7% on crates.io
90 versions - Latest release: about 1 month ago - 18 dependent packages - 24 dependent repositories - 1.04 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm 3.0.5
RISC Zero zero-knowledge VM90 versions - Latest release: about 1 month ago - 18 dependent packages - 24 dependent repositories - 1.04 million downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.5% on crates.io
21 versions - Latest release: over 4 years ago - 6 dependent packages - 3 dependent repositories - 28.5 thousand downloads total - 16 stars on GitHub - 1 maintainer
snarkos-consensus 1.3.17
Consensus for a decentralized operating system21 versions - Latest release: over 4 years ago - 6 dependent packages - 3 dependent repositories - 28.5 thousand downloads total - 16 stars on GitHub - 1 maintainer
blueprint-store-local-database 0.1.0-alpha.7
Local database storage provider for the Blueprint SDK5 versions - Latest release: 4 months ago - 3.47 thousand downloads total - 333 stars on GitHub - 2 maintainers
Top 8.1% on crates.io
6 versions - Latest release: 2 days ago - 16 dependent packages - 1 dependent repositories - 14.3 thousand downloads total - 4,489 stars on GitHub - 1 maintainer
snarkos-algorithms
Algorithms for a decentralized operating system6 versions - Latest release: 2 days ago - 16 dependent packages - 1 dependent repositories - 14.3 thousand downloads total - 4,489 stars on GitHub - 1 maintainer
Top 3.5% on crates.io
57 versions - Latest release: over 2 years ago - 13 dependent packages - 32 dependent repositories - 413 thousand downloads total - 787 stars on GitHub - 1 maintainer
snarkvm-r1cs 0.12.2
R1CS for a decentralized virtual machine57 versions - Latest release: over 2 years ago - 13 dependent packages - 32 dependent repositories - 413 thousand downloads total - 787 stars on GitHub - 1 maintainer
snarkos-node-metrics 4.5.0
A node for a decentralized operating system36 versions - Latest release: 3 days ago - 8 dependent packages - 31.3 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
snarkos-node-sync-locators 4.5.0
Locators to synchronize a decentralized operating system28 versions - Latest release: 3 days ago - 5 dependent packages - 2 dependent repositories - 25.1 thousand downloads total - 16 stars on GitHub - 1 maintainer
snarkos-node-sync-communication-service 4.5.0
A communication service for the sync module in a decentralized operating system28 versions - Latest release: 3 days ago - 1 dependent package - 2 dependent repositories - 23.8 thousand downloads total - 4,505 stars on GitHub - 1 maintainer
snarkos-node-tcp 4.5.0
A TCP stack for a decentralized operating system36 versions - Latest release: 3 days ago - 4 dependent packages - 2 dependent repositories - 33.9 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
snarkos-node-network 4.5.0
Network-related objects and traits for nodes3 versions - Latest release: 3 days ago - 684 downloads total - 4,505 stars on GitHub - 1 maintainer
snarkvm-synthesizer-snark 4.5.0
SNARK wrappers for a decentralized virtual machine63 versions - Latest release: 3 days ago - 7 dependent packages - 5 dependent repositories - 430 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
87 versions - Latest release: 3 days ago - 2 dependent packages - 13 dependent repositories - 668 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit-account 4.5.0
Account circuit library for a decentralized virtual machine87 versions - Latest release: 3 days ago - 2 dependent packages - 13 dependent repositories - 668 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 4.8% on crates.io
87 versions - Latest release: 3 days ago - 9 dependent packages - 13 dependent repositories - 667 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit 4.5.0
Circuits for a decentralized virtual machine87 versions - Latest release: 3 days ago - 9 dependent packages - 13 dependent repositories - 667 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-synthesizer-program 4.5.0
Program for a decentralized virtual machine54 versions - Latest release: 3 days ago - 7 dependent packages - 3 dependent repositories - 402 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-batch-header 4.5.0
A batch header for a Narwhal-style memory pool in a decentralized virtual machine43 versions - Latest release: 3 days ago - 5 dependent packages - 358 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-puzzle 4.5.0
Puzzle for a decentralized virtual machine18 versions - Latest release: 3 days ago - 64.9 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-data 4.5.0
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine43 versions - Latest release: 3 days ago - 3 dependent packages - 353 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-transmission-id 4.5.0
A transmission ID for a Narwhal-style memory pool in a decentralized virtual machine43 versions - Latest release: 3 days ago - 7 dependent packages - 2 dependent repositories - 358 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 8.0% on crates.io
87 versions - Latest release: 3 days ago - 1 dependent package - 9 dependent repositories - 666 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit-program 4.5.0
Program circuit library for a decentralized virtual machine87 versions - Latest release: 3 days ago - 1 dependent package - 9 dependent repositories - 666 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkos-derives
Canonical serialization for a decentralized operating system6 versions - Latest release: 3 days ago - 1 dependent package - 1 dependent repositories - 14.4 thousand downloads total - 4,470 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
87 versions - Latest release: 3 days ago - 2 dependent packages - 9 dependent repositories - 678 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-types-string 4.5.0
Type operations for a decentralized virtual machine87 versions - Latest release: 3 days ago - 2 dependent packages - 9 dependent repositories - 678 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
87 versions - Latest release: 3 days ago - 3 dependent packages - 13 dependent repositories - 688 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-types-group 4.5.0
Type operations for a decentralized virtual machine87 versions - Latest release: 3 days ago - 3 dependent packages - 13 dependent repositories - 688 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
tari_bulletproofs 4.4.1
A pure-Rust implementation of Bulletproofs using Ristretto3 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 81.7 thousand downloads total - 3 stars on GitHub - 3 maintainers
aleo 0.6.8
Aleo27 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 52.8 thousand downloads total - 34 stars on GitHub - 3 maintainers
risc0-zkos-v1compat 2.2.2
RISC Zero zero-knowledge VM kernel for v1 compatibility14 versions - Latest release: about 1 month ago - 511 thousand downloads total - 2,084 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
92 versions - Latest release: about 1 month ago - 17 dependent packages - 20 dependent repositories - 1.04 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-platform 2.2.2
RISC Zero zero-knowledge VM92 versions - Latest release: about 1 month ago - 17 dependent packages - 20 dependent repositories - 1.04 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-aggregation 0.9.0
Proof aggregation for RISC Zero16 versions - Latest release: 6 months ago - 115 thousand downloads total - 217 stars on GitHub - 1 maintainer
sp1-recursion-circuit 6.0.2
Recursion circuit for SP1 proof aggregation55 versions - Latest release: 10 days ago - 727 thousand downloads total - 1,580 stars on GitHub - 2 maintainers
sp1-recursion-gnark-ffi 6.0.2
FFI bindings to Gnark for SP155 versions - Latest release: 10 days ago - 729 thousand downloads total - 1,491 stars on GitHub - 2 maintainers
Top 5.5% on crates.io
21 versions - Latest release: over 4 years ago - 9 dependent packages - 44 dependent repositories - 209 thousand downloads total - 326 stars on GitHub - 3 maintainers
ursa 0.3.7
This is the shared crypto library for Hyperledger components.21 versions - Latest release: over 4 years ago - 9 dependent packages - 44 dependent repositories - 209 thousand downloads total - 326 stars on GitHub - 3 maintainers
oberon 2.2.1
Oberon is a multi-factor zero-knowledge capable token without requiring email, SMS, or authentica...13 versions - Latest release: almost 3 years ago - 2 dependent repositories - 33.8 thousand downloads total - 52 stars on GitHub - 1 maintainer
snarkvm-ledger-debug 0.16.17
A node ledger for a decentralized virtual machine1 version - Latest release: about 2 years ago - 1 dependent package - 1.73 thousand downloads total - 1,139 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
85 versions - Latest release: about 1 month ago - 3 dependent packages - 19 dependent repositories - 1 million downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im 4.0.4
RISC Zero circuit for rv32im85 versions - Latest release: about 1 month ago - 3 dependent packages - 19 dependent repositories - 1 million downloads total - 1,350 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
86 versions - Latest release: 3 months ago - 3 dependent packages - 13 dependent repositories - 689 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
snarkvm-console-types-integers 4.4.0
Type operations for a decentralized virtual machine86 versions - Latest release: 3 months ago - 3 dependent packages - 13 dependent repositories - 689 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
zk-aluvm 0.12.0 💰
AluVM ISA extension for Galois fields8 versions - Latest release: 8 months ago - 22.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 5.9% on crates.io
17 versions - Latest release: about 5 years ago - 101 dependent packages - 3,527 dependent repositories - 23.1 million downloads total - 52 stars on GitHub - 2 maintainers
merlin 3.0.0
Composable proof transcripts for public-coin arguments of knowledge17 versions - Latest release: about 5 years ago - 101 dependent packages - 3,527 dependent repositories - 23.1 million downloads total - 52 stars on GitHub - 2 maintainers
leo-core 1.6.3
Core library functions for the Leo programming language9 versions - Latest release: about 3 years ago - 4 dependent packages - 1 dependent repositories - 11.7 thousand downloads total - 4,798 stars on GitHub - 2 maintainers
dapol 0.4.0
DAPOL+ Proof of Liabilities protocol6 versions - Latest release: over 1 year ago - 7.6 thousand downloads total - 8 stars on GitHub - 1 maintainer
snarkvm-ledger-query 4.4.0
A query for a decentralized virtual machine49 versions - Latest release: 3 months ago - 9 dependent packages - 2 dependent repositories - 380 thousand downloads total - 1,143 stars on GitHub - 1 maintainer
risc0-sppark 5.0.0
Zero-knowledge template library3 versions - Latest release: about 2 months ago - 1 dependent package - 8.37 thousand downloads total - 204 stars on GitHub - 1 maintainer
clutch 0.2.0
Lurk supertool1 version - Latest release: almost 3 years ago - 1.56 thousand downloads total - 451 stars on GitHub - 1 maintainer
amareleo-node-bft-events 2.1.0
Events for the gateway in a lite Aleo development node3 versions - Latest release: 12 months ago - 2.58 thousand downloads total - 8 stars on GitHub - 1 maintainer
air-codegen-winter 0.4.0
Winterfell code generator for the AirScript language4 versions - Latest release: 9 months ago - 1 dependent package - 5.42 thousand downloads total - 70 stars on GitHub - 1 maintainer
gadget-std 0.1.0
Re-exports of core/std for Tangle Blueprints1 version - Latest release: about 1 year ago - 1.37 thousand downloads total - 328 stars on GitHub - 1 maintainer
verkle_pq 0.1.0
Quantum-resistant Verkle tree library built on quilibrium-verkle with CRYSTALS-Dilithium3 (ML-DSA...1 version - Latest release: 4 days ago - 0 downloads total - 1 maintainer
Top 3.0% on crates.io
116 versions - Latest release: 3 months ago - 43 dependent packages - 66 dependent repositories - 855 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
snarkvm-utilities 4.4.0
Utilities for a decentralized virtual machine116 versions - Latest release: 3 months ago - 43 dependent packages - 66 dependent repositories - 855 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
taceo-circom-types 0.2.3
This crate provides a Rust representation of the types in the `Circom` ecosystem and ways to de/s...7 versions - Latest release: 5 days ago - 36.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
credits 0.1.3
An SDK for interfacing with the credits program4 versions - Latest release: over 2 years ago - 1 dependent repositories - 5.15 thousand downloads total - 10 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
22 versions - Latest release: over 4 years ago - 4 dependent packages - 3 dependent repositories - 38.8 thousand downloads total - 17 stars on GitHub - 1 maintainer
snarkos-parameters 1.3.17
Parameters for a decentralized operating system22 versions - Latest release: over 4 years ago - 4 dependent packages - 3 dependent repositories - 38.8 thousand downloads total - 17 stars on GitHub - 1 maintainer
orbinum-zk-verifier 0.4.0
Zero-Knowledge proof verification - Groth16 on BN254 for Orbinum Network3 versions - Latest release: 17 days ago - 38 downloads total - 0 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
86 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 674 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-program 4.4.0
Program operations for a decentralized virtual machine86 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 674 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
miden-debug-types 0.21.2
Core source-level debugging information types used throughout the Miden toolchain24 versions - Latest release: 5 days ago - 72.4 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-vm 0.21.2
Miden virtual machine41 versions - Latest release: 5 days ago - 27.3 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-utils-sync 0.21.2
no-std compatible locking primitives for the Miden project24 versions - Latest release: 5 days ago - 72.5 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
46 versions - Latest release: 5 days ago - 12 dependent packages - 35 dependent repositories - 279 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-core 0.21.2
Miden VM core components46 versions - Latest release: 5 days ago - 12 dependent packages - 35 dependent repositories - 279 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
44 versions - Latest release: 5 days ago - 4 dependent packages - 34 dependent repositories - 236 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-verifier 0.21.2
Miden VM execution verifier44 versions - Latest release: 5 days ago - 4 dependent packages - 34 dependent repositories - 236 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
43 versions - Latest release: 5 days ago - 3 dependent packages - 34 dependent repositories - 227 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-prover 0.21.2
Miden VM prover43 versions - Latest release: 5 days ago - 3 dependent packages - 34 dependent repositories - 227 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-mast-package 0.21.2
Package containing a compiled Miden MAST artifact with declared dependencies and exports28 versions - Latest release: 5 days ago - 79.1 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-assembly-syntax 0.21.2
Parsing and semantic analysis of the Miden Assembly language24 versions - Latest release: 5 days ago - 72 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
48 versions - Latest release: 5 days ago - 9 dependent packages - 34 dependent repositories - 244 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-processor 0.21.2
Miden VM processor48 versions - Latest release: 5 days ago - 9 dependent packages - 34 dependent repositories - 244 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
45 versions - Latest release: 5 days ago - 6 dependent packages - 34 dependent repositories - 242 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-air 0.21.2
Algebraic intermediate representation of Miden VM processor45 versions - Latest release: 5 days ago - 6 dependent packages - 34 dependent repositories - 242 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-utils-diagnostics 0.21.2
Diagnostic infrastructure used in the Miden assembler and VM24 versions - Latest release: 5 days ago - 71.7 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-test-utils 0.1.0
Test utilities for Miden VM programs1 version - Latest release: 10 months ago - 1.15 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
46 versions - Latest release: 5 days ago - 8 dependent packages - 34 dependent repositories - 245 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-assembly 0.21.2
Miden VM assembly language46 versions - Latest release: 5 days ago - 8 dependent packages - 34 dependent repositories - 245 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
35 versions - Latest release: 4 months ago - 5 dependent packages - 33 dependent repositories - 205 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-stdlib 0.19.1
Miden VM standard library35 versions - Latest release: 4 months ago - 5 dependent packages - 33 dependent repositories - 205 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-core-lib 0.21.2
Miden VM core library10 versions - Latest release: 5 days ago - 28 thousand downloads total - 729 stars on GitHub - 1 maintainer
sn_bulletproofs 0.1.0
A pure-Rust implementation of Bulletproofs using Ristretto1 version - Latest release: almost 4 years ago - 1 dependent package - 2.05 thousand downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
cryptography
450
rust
278
blockchain
206
aleo
177
decentralized
148
zkp
103
stark
84
zkvm
76
mpc
73
virtual-machine
72
avs
72
zksnarks
67
crypto
66
p2p
66
distributed-systems
65
multi-party-computation
65
networking
65
libp2p
64
restaking
64
sp1
62
succinct
58
risc-v
51
ethereum
45
compiler
43
programming-language
39
modular
31
contributor-friendly
31
zk-snarks
31
leo
27
zk
27
snark
21
rust-lang
21
mixnets
20
mixnet
20
privacy
19
amareleo
17
zksnark
17
cryptocurrency
15
bulletproofs
14
proofs
13
plonk
13
groth16
13
miden
13
zero-knowledge-proofs
12
homomorphic-encryption
11
encryption
11
arkworks
11
ristretto
10
vm
10
r1cs
10
zk-starks
10
bitcoin
9
web3
9
lattice
9
air
9
halo2
9
solidity
9
fhe
9
cryptocurrencies
8
bfv
8
secp256k1
8
noir-lang
7
typescript
7
sdk
7
paillier
6
protocol
5
javascript
5
post-quantum
5
foundry
5
circom
5
homomorphic
5
golang
5
nizk
5
cli
5
wasm
5
zcash
5
cuda
5
vrf
4
nodejs
4
ntt
4
bls12-381
4
language
4
orbinum
4
verifiable-computation
4
noir
4
prover
4
risc0
4
poseidon
4
zkwasm
4
webassembly-runtime
4
cryptoagorithms
4
signatures
4
secure-computation
4
ecvrf
4
hash
4
schnorr
3
verifier
3
program
3
sponge
3
security
3