crates.io "zero-knowledge" keyword
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
sp1-recursion-circuit 6.0.2
Recursion circuit for SP1 proof aggregation55 versions - Latest release: 8 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: 8 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
Top 5.5% on crates.io
9 versions - Latest release: over 1 year ago - 52 dependent packages - 167 dependent repositories - 4.32 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.32 million downloads total - 186 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
90 versions - Latest release: about 1 month ago - 18 dependent packages - 24 dependent repositories - 1.03 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.03 million downloads total - 1,204 stars on GitHub - 1 maintainer
oberon 2.2.1
Oberon is a multi-factor zero-knowledge capable token without requiring email, SMS, or authentica...13 versions - Latest release: over 2 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
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
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
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
zkcg-halo2-prover 0.1.0
Prover crate for ZKCG — generate Halo2 proofs for off-chain computation + policy compliance1 version - Latest release: about 24 hours ago - 0 downloads total - 1 maintainer
barretenberg-rs 4.0.4
Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs41 versions - Latest release: 2 days ago - 555 downloads total - 427 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: 1 day 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: 2 days ago - 36.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
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.7 thousand downloads total - 1,314 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.7 thousand downloads total - 1,314 stars on GitHub - 2 maintainers
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,314 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,314 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,314 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.4 thousand downloads total - 1,314 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,314 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
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: 14 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: 1 day ago - 72.4 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-vm 0.21.2
Miden virtual machine41 versions - Latest release: 1 day 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: 1 day ago - 72.5 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
46 versions - Latest release: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day ago - 72 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
48 versions - Latest release: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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: 1 day 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
snarkvm-ledger-narwhal-transmission 4.4.0
A transmission for a Narwhal-style memory pool in a decentralized virtual machine42 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 349 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkos-posw
Proof of Succinct Work circuit implementation based on [KB20]3 versions - Latest release: 1 day ago - 5 dependent packages - 1 dependent repositories - 3.84 thousand downloads total - 16 stars on GitHub - 1 maintainer
Pedersen_hash_function 0.1.0
This library computes the pedersen hash of given inputs and modular arithmetic.1 version - Latest release: over 1 year ago - 1.15 thousand downloads total - 1 stars on GitHub - 1 maintainer
zkinterface 1.3.4
An implementation of zkInterface18 versions - Latest release: almost 5 years ago - 6 dependent packages - 4 dependent repositories - 32.1 thousand downloads total - 128 stars on GitHub - 1 maintainer
leo-liner
Linter of the Leo programming language2 versions - Latest release: 2 days ago - 2.46 thousand downloads total - 4,804 stars on GitHub - 2 maintainers
Top 4.2% on crates.io
86 versions - Latest release: 3 months ago - 8 dependent packages - 13 dependent repositories - 690 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-types-boolean 4.4.0
Type operations for a decentralized virtual machine86 versions - Latest release: 3 months ago - 8 dependent packages - 13 dependent repositories - 690 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
paillier-zk 0.4.3
ZK-proofs for Paillier encryption scheme10 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 28.7 thousand downloads total - 92 stars on GitHub - 2 maintainers
Top 8.5% on crates.io
21 versions - Latest release: about 2 years ago - 3 dependent packages - 2 dependent repositories - 45.5 thousand downloads total - 624 stars on GitHub - 2 maintainers
aleo-rust 0.6.8
Rust SDK for managing Aleo programs and communicating with the Aleo network21 versions - Latest release: about 2 years ago - 3 dependent packages - 2 dependent repositories - 45.5 thousand downloads total - 624 stars on GitHub - 2 maintainers
fp-zk-circuits 0.1.2 removed
Zero-Knowledge R1CS circuits and gadgets for Orbinum Network3 versions - Latest release: about 1 month ago - 56 downloads total
gron_secp256k1zkp 0.7.12
Gron's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` li...1 version - Latest release: about 2 years ago - 1.6 thousand downloads total - 1 maintainer
Top 7.9% on crates.io
86 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 673 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit-types-string 4.4.0
String circuit for a decentralized virtual machine86 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 673 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-store 4.4.0
A data store for a decentralized virtual machine49 versions - Latest release: 3 months ago - 10 dependent packages - 2 dependent repositories - 381 thousand downloads total - 1,144 stars on GitHub - 1 maintainer
halo2-core
[BETA] Fast proof-carrying data implementation with no trusted setup1 version - Latest release: 3 days ago - 1.31 thousand downloads total - 825 stars on GitHub - 2 maintainers
snarkos-node-narwhal-events 2.2.0
Events for the gateway in a decentralized operating system1 version - Latest release: over 2 years ago - 2 dependent repositories - 1.48 thousand downloads total - 26 stars on GitHub - 1 maintainer
leo-gadgets
Gadgets of the Leo programming language13 versions - Latest release: 3 days ago - 3 dependent packages - 1 dependent repositories - 15.8 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
ministark-gpu 0.3.0
GPU optimized primitives commonly used by STARK/SNARK provers3 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 4.88 thousand downloads total - 365 stars on GitHub - 1 maintainer
Top 6.2% on crates.io
86 versions - Latest release: 3 months ago - 2 dependent packages - 13 dependent repositories - 671 thousand downloads total - 1,144 stars on GitHub - 1 maintainer
snarkvm-circuit-types-integers 4.4.0
Integer circuit for a decentralized virtual machine86 versions - Latest release: 3 months ago - 2 dependent packages - 13 dependent repositories - 671 thousand downloads total - 1,144 stars on GitHub - 1 maintainer
icicle-cuda-runtime 1.3.0
Ingonyama's Rust wrapper of CUDA runtime1 version - Latest release: about 2 years ago - 1 dependent package - 2.05 thousand downloads total - 444 stars on GitHub - 2 maintainers
gringron_secp256k1zkp 0.7.12
GrinGron's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1...1 version - Latest release: about 2 years ago - 1 dependent package - 4.48 thousand downloads total - 1 maintainer
taceo-groth16 0.1.2
An implementation of the Groth16 zkSNARK proof system.3 versions - Latest release: about 1 month ago - 31.2 thousand downloads total - 0 stars on GitHub - 1 maintainer
Top 4.7% on crates.io
86 versions - Latest release: 3 months ago - 5 dependent packages - 13 dependent repositories - 692 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-algorithms 4.4.0
Console algorithms for a decentralized virtual machine86 versions - Latest release: 3 months ago - 5 dependent packages - 13 dependent repositories - 692 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 5.0% on crates.io
9 versions - Latest release: 3 months ago - 3 dependent packages - 49 dependent repositories - 850 thousand downloads total - 836 stars on GitHub - 3 maintainers
halo2_gadgets 0.4.0
Reusable gadgets and chip implementations for Halo 29 versions - Latest release: 3 months ago - 3 dependent packages - 49 dependent repositories - 850 thousand downloads total - 836 stars on GitHub - 3 maintainers
snarkos-testing
Testing suite for a decentralized operating system3 versions - Latest release: 4 days ago - 2 dependent repositories - 3.47 thousand downloads total - 4,508 stars on GitHub - 1 maintainer
Top 8.0% on crates.io
86 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 670 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit-types-address 4.4.0
Address circuit for a decentralized virtual machine86 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 670 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
dock_merlin 3.0.0
Composable proof transcripts for public-coin arguments of knowledge3 versions - Latest release: about 2 years ago - 3 dependent packages - 1 dependent repositories - 19.9 thousand downloads total - 131 stars on GitHub - 1 maintainer
Top 3.1% on crates.io
116 versions - Latest release: 3 months ago - 33 dependent packages - 66 dependent repositories - 867 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-algorithms 4.4.0
Algorithms for a decentralized virtual machine116 versions - Latest release: 3 months ago - 33 dependent packages - 66 dependent repositories - 867 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-compiler 0.9.0
Compiler for a decentralized virtual machine1 version - Latest release: over 3 years ago - 1 dependent package - 2 dependent repositories - 2.56 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 5.2% on crates.io
30 versions - Latest release: about 4 years ago - 5 dependent packages - 16 dependent repositories - 137 thousand downloads total - 1,139 stars on GitHub - 1 maintainer
snarkvm-polycommit 0.8.0
A library for constructing polynomial commitment schemes for use in zkSNARKs30 versions - Latest release: about 4 years ago - 5 dependent packages - 16 dependent repositories - 137 thousand downloads total - 1,139 stars on GitHub - 1 maintainer
mlsag 0.3.0
Multilayer Linkable Spontaneous Anonymous Group construction3 versions - Latest release: almost 6 years ago - 4.19 thousand downloads total - 25 stars on GitHub - 1 maintainer
libecvrf 1.1.2
A ECVRF that's friendly with EVM, based on curve secp256k1 and keccak2564 versions - Latest release: over 2 years ago - 5.39 thousand downloads total - 57 stars on GitHub - 1 maintainer
fp-zk-verifier 0.1.2 removed
Zero-Knowledge proof verification primitives for Orbinum Network - Groth16 verification on BN2543 versions - Latest release: about 1 month ago - 103 downloads total
petravm-prover 0.0.1
PetraVM's prover1 version - Latest release: 10 months ago - 580 downloads total - 74 stars on GitHub - 2 maintainers
Top 9.1% on crates.io
74 versions - Latest release: about 1 month ago - 1 dependent package - 17 dependent repositories - 493 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im-sys 4.0.2
Generated HAL code for rv32im cicuit74 versions - Latest release: about 1 month ago - 1 dependent package - 17 dependent repositories - 493 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
ark-r1cs-std-zypher 0.4.0
A standard library for constraint system gadgets1 version - Latest release: almost 2 years ago - 3.88 thousand downloads total - 1 maintainer
leo-grammar 1.0.7
AST generated by pest from the Leo grammar rules9 versions - Latest release: about 5 years ago - 6 dependent packages - 11.4 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
gnark-bn254-verifier 1.0.2
A rust gnark verifier for BN254 curve3 versions - Latest release: over 1 year ago - 3.75 thousand downloads total - 10 stars on GitHub - 1 maintainer
Top 10.0% on crates.io
20 versions - Latest release: over 4 years ago - 1 dependent package - 4 dependent repositories - 25.1 thousand downloads total - 26 stars on GitHub - 1 maintainer
snarkos-rpc 1.3.17
RPC for a decentralized operating system20 versions - Latest release: over 4 years ago - 1 dependent package - 4 dependent repositories - 25.1 thousand downloads total - 26 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-transmission-id 4.4.0
A transmission ID for a Narwhal-style memory pool in a decentralized virtual machine42 versions - Latest release: 3 months ago - 7 dependent packages - 2 dependent repositories - 357 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
triton-vm 2.0.0
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Re...63 versions - Latest release: about 1 month ago - 2 dependent packages - 1 dependent repositories - 96.6 thousand downloads total - 272 stars on GitHub - 3 maintainers
sp1-stark 5.2.4
SP1 is a performant, 100% open-source, contributor-friendly zkVM.43 versions - Latest release: 3 months ago - 723 thousand downloads total - 1,580 stars on GitHub - 1 maintainer
risc0-ethereum-contracts 3.0.1
Ethereum contracts for RISC Zero applications23 versions - Latest release: 6 months ago - 159 thousand downloads total - 84 stars on GitHub - 1 maintainer
quarks-zk 0.1.5
Quarks: Quadruple-efficient transparent zkSNARKs - Implementation of Kopis-PC, Dory-PC, and Lakon...5 versions - Latest release: 3 months ago - 127 downloads total - 0 stars on GitHub - 1 maintainer
Top 6.2% on crates.io
87 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 699 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
snarkvm-utilities-derives 4.4.0
Canonical serialization for a decentralized virtual machine87 versions - Latest release: 3 months ago - 1 dependent package - 9 dependent repositories - 699 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
zklense 0.1.4
A command-line tool for profiling, building, and deploying zero-knowledge proofs built with Noir ...4 versions - Latest release: about 1 month ago - 52 downloads total - 1 maintainer
gevulot-rs 0.4.0
Gevulot Rust API10 versions - Latest release: 11 months ago - 8.43 thousand downloads total - 3 stars on GitHub - 2 maintainers
arcanum-zkp 0.1.2
Zero-knowledge proofs: Bulletproofs, Schnorr proofs, commitments3 versions - Latest release: about 1 month ago - 242 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
cryptography
448
rust
277
blockchain
206
aleo
177
decentralized
148
zkp
103
stark
84
zkvm
76
mpc
73
virtual-machine
72
avs
72
zksnarks
67
p2p
66
crypto
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
zk-snarks
31
contributor-friendly
31
modular
31
leo
27
zk
26
snark
21
rust-lang
21
mixnet
20
mixnets
20
privacy
19
zksnark
17
amareleo
17
cryptocurrency
15
bulletproofs
14
plonk
13
groth16
13
miden
13
proofs
13
zero-knowledge-proofs
12
homomorphic-encryption
11
encryption
11
arkworks
11
r1cs
10
vm
10
halo2
10
zk-starks
10
ristretto
10
web3
9
bitcoin
9
air
9
fhe
9
lattice
9
solidity
9
secp256k1
8
bfv
8
cryptocurrencies
8
sdk
7
typescript
7
noir-lang
7
paillier
6
cli
5
golang
5
foundry
5
javascript
5
homomorphic
5
wasm
5
nizk
5
circom
5
post-quantum
5
risc0
5
zcash
5
cuda
5
ntt
4
nodejs
4
bls12-381
4
signatures
4
secure-computation
4
vrf
4
ecvrf
4
webassembly-runtime
4
hash
4
noir
4
prover
4
orbinum
4
cryptoagorithms
4
poseidon
4
verifiable-computation
4
verifier
4
language
4
zkwasm
4
identity
3
fiat-shamir
3
secret-sharing
3
schnorr
3
substrate
3