crates.io "zksnarks" keyword
View the packages on the crates.io package registry that are tagged with the "zksnarks" keyword.
nova-scotia 0.5.0
Middleware to compile Circom circuits to Nova zkSNARK scheme6 versions - Latest release: about 2 years ago - 2 dependent repositories - 9.11 thousand downloads total - 239 stars on GitHub - 1 maintainer
spartan2 0.3.0
High-speed zkSNARKs without trusted setup3 versions - Latest release: 12 days ago - 1.82 thousand downloads total - 108 stars on GitHub - 1 maintainer
spartan 0.9.0
High-speed zkSNARKs without trusted setup12 versions - Latest release: 7 months ago - 4 dependent repositories - 19.3 thousand downloads total - 784 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
51 versions - Latest release: 4 months ago - 3 dependent packages - 6 dependent repositories - 86.9 thousand downloads total - 777 stars on GitHub - 1 maintainer
nova-snark 0.41.0
High-speed recursive arguments from folding schemes51 versions - Latest release: 4 months ago - 3 dependent packages - 6 dependent repositories - 86.9 thousand downloads total - 777 stars on GitHub - 1 maintainer
snarkos-node-bft-events 4.0.1
Events for the gateway in a decentralized operating system20 versions - Latest release: 8 days ago - 2 dependent packages - 16.4 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-metrics 4.0.1
A node for a decentralized operating system29 versions - Latest release: 8 days ago - 8 dependent packages - 24 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-tcp 4.0.1
A TCP stack for a decentralized operating system29 versions - Latest release: 8 days ago - 4 dependent packages - 2 dependent repositories - 26.2 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-bft-ledger-service 4.0.1
A ledger service for the memory pool in a decentralized operating system20 versions - Latest release: 8 days ago - 3 dependent packages - 15.9 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-router 4.0.1
A node router for a decentralized operating system28 versions - Latest release: 8 days ago - 3 dependent packages - 2 dependent repositories - 24.3 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-display 4.0.1
A display for a decentralized operating system28 versions - Latest release: 8 days ago - 2 dependent packages - 2 dependent repositories - 22.7 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-sync-communication-service 4.0.1
A communication service for the sync module in a decentralized operating system21 versions - Latest release: 8 days ago - 1 dependent package - 2 dependent repositories - 17 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-cli 4.0.1
Command-line interface for snarkOS28 versions - Latest release: 8 days ago - 1 dependent package - 2 dependent repositories - 22.1 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node 4.0.1
A node for a decentralized operating system28 versions - Latest release: 8 days ago - 3 dependent packages - 2 dependent repositories - 23.3 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
Top 9.0% on crates.io
52 versions - Latest release: 8 days ago - 1 dependent package - 1 dependent repositories - 49.6 thousand downloads total - 4,459 stars on GitHub - 2 maintainers
snarkos 4.0.1
A decentralized operating system52 versions - Latest release: 8 days ago - 1 dependent package - 1 dependent repositories - 49.6 thousand downloads total - 4,459 stars on GitHub - 2 maintainers
snarkos-node-sync 4.0.1
A synchronization module for a decentralized operating system21 versions - Latest release: 8 days ago - 3 dependent packages - 2 dependent repositories - 16.7 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-cdn 4.0.1
A CDN client for a decentralized operating system28 versions - Latest release: 8 days ago - 3 dependent packages - 2 dependent repositories - 23.9 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-router-messages 4.0.1
Node messages for a decentralized operating system20 versions - Latest release: 8 days ago - 1 dependent package - 1 dependent repositories - 15.8 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
snarkos-node-consensus 4.0.1
A node consensus for a decentralized operating system28 versions - Latest release: 8 days ago - 3 dependent packages - 2 dependent repositories - 24 thousand downloads total - 4,459 stars on GitHub - 1 maintainer
wagyu-zcash-parameters-2 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 286 thousand downloads total - 4 stars on GitHub - 1 maintainer
aleo-wasm 0.7.1
WebAssembly based toolkit for developing zero-knowledge applications with Aleo24 versions - Latest release: 8 months ago - 1 dependent package - 2 dependent repositories - 27.1 thousand downloads total - 612 stars on GitHub - 2 maintainers
arecibo 0.1.1
Recursive zkSNARKs without trusted setup2 versions - Latest release: over 1 year ago - 1 dependent package - 3.3 thousand downloads total - 83 stars on GitHub - 2 maintainers
leo-lang 3.0.0
The Leo programming language48 versions - Latest release: 7 days ago - 45.4 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
leo-passes 3.0.0
Compiler passes for the Leo programming language29 versions - Latest release: 7 days ago - 2 dependent packages - 1 dependent repositories - 25.2 thousand downloads total - 4,833 stars on GitHub - 2 maintainers
Top 8.1% on crates.io
35 versions - Latest release: 7 days ago - 5 dependent packages - 3 dependent repositories - 34.6 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
leo-parser 3.0.0
Parser for the Leo programming language35 versions - Latest release: 7 days ago - 5 dependent packages - 3 dependent repositories - 34.6 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
leo-disassembler 3.0.0
A disassembler for the Leo programming language13 versions - Latest release: 7 days ago - 1 dependent package - 7.21 thousand downloads total - 4,833 stars on GitHub - 1 maintainer
Top 8.1% on crates.io
32 versions - Latest release: 7 days ago - 10 dependent packages - 3 dependent repositories - 32 thousand downloads total - 4,833 stars on GitHub - 2 maintainers
leo-errors 3.0.0
Errors for the Leo programming language32 versions - Latest release: 7 days ago - 10 dependent packages - 3 dependent repositories - 32 thousand downloads total - 4,833 stars on GitHub - 2 maintainers
Top 6.9% on crates.io
50 versions - Latest release: 7 days ago - 13 dependent packages - 3 dependent repositories - 53.6 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
leo-ast 3.0.0
Abstract syntax tree (AST) for the Leo programming language50 versions - Latest release: 7 days ago - 13 dependent packages - 3 dependent repositories - 53.6 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
leo-interpreter 3.0.0
Interpreter for the Leo programming language9 versions - Latest release: 7 days ago - 2.91 thousand downloads total - 4,833 stars on GitHub - 1 maintainer
leo-test-framework 3.0.0
The testing framework for the Leo programming language36 versions - Latest release: 7 days ago - 2 dependent packages - 2 dependent repositories - 30.8 thousand downloads total - 4,833 stars on GitHub - 3 maintainers
Top 8.8% on crates.io
48 versions - Latest release: 14 days ago - 2 dependent packages - 3 dependent repositories - 47.7 thousand downloads total - 4,831 stars on GitHub - 3 maintainers
leo-package 2.7.3
Package parser for the Leo programming language48 versions - Latest release: 14 days ago - 2 dependent packages - 3 dependent repositories - 47.7 thousand downloads total - 4,831 stars on GitHub - 3 maintainers
Top 8.8% on crates.io
31 versions - Latest release: 14 days ago - 10 dependent packages - 1 dependent repositories - 32.4 thousand downloads total - 4,831 stars on GitHub - 2 maintainers
leo-span 2.7.3
Span handling for the Leo programming language31 versions - Latest release: 14 days ago - 10 dependent packages - 1 dependent repositories - 32.4 thousand downloads total - 4,831 stars on GitHub - 2 maintainers
leo-retriever 2.5.0
A retriever for the Leo programming language6 versions - Latest release: 4 months ago - 2 dependent packages - 5.55 thousand downloads total - 4,831 stars on GitHub - 1 maintainer
Top 8.8% on crates.io
47 versions - Latest release: 14 days ago - 2 dependent packages - 3 dependent repositories - 47 thousand downloads total - 4,831 stars on GitHub - 3 maintainers
leo-compiler 2.7.3
Compiler for Leo programming language47 versions - Latest release: 14 days ago - 2 dependent packages - 3 dependent repositories - 47 thousand downloads total - 4,831 stars on GitHub - 3 maintainers
leo-synthesizer 1.5.3
Circuit synthesizer of the Leo programming language7 versions - Latest release: almost 4 years ago - 2 dependent packages - 2 dependent repositories - 8.99 thousand downloads total - 4,831 stars on GitHub - 2 maintainers
wagyu-zcash-parameters-6 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 284 thousand downloads total - 4 stars on GitHub - 1 maintainer
wagyu-zcash-parameters-5 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 284 thousand downloads total - 4 stars on GitHub - 1 maintainer
zkpyc-stdlib 0.1.0-dev
Standard library for the ZKPyC compiler.1 version - Latest release: 10 months ago - 919 downloads total - 1 stars on GitHub - 1 maintainer
aleo-account 0.3.3
Aleo4 versions - Latest release: over 2 years ago - 2 dependent packages - 1 dependent repositories - 5.34 thousand downloads total - 608 stars on GitHub - 1 maintainer
wagyu-zcash-parameters-1 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 282 thousand downloads total - 4 stars on GitHub - 1 maintainer
aleo-development-server 0.5.5
A REST API server for local or remote Aleo development9 versions - Latest release: almost 2 years ago - 10.5 thousand downloads total - 608 stars on GitHub - 2 maintainers
leo-asg-passes 1.5.3
The Leo programming language6 versions - Latest release: almost 4 years ago - 1 dependent package - 2 dependent repositories - 7.91 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
bellperson-nonnative 0.4.0
Non-native arithmetic for SNARKs6 versions - Latest release: over 2 years ago - 1 dependent package - 3 dependent repositories - 11 thousand downloads total - 1 maintainer
Top 8.5% on crates.io
21 versions - Latest release: over 1 year ago - 3 dependent packages - 2 dependent repositories - 41.2 thousand downloads total - 608 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: over 1 year ago - 3 dependent packages - 2 dependent repositories - 41.2 thousand downloads total - 608 stars on GitHub - 2 maintainers
halo2-axiom 0.5.1
Fast PLONK-based zero-knowledge proving system. This is a fork of <https://github.com/privacy-sca...11 versions - Latest release: 19 days ago - 2 dependent packages - 45.3 thousand downloads total - 14 stars on GitHub - 1 maintainer
leo-gadgets
Gadgets of the Leo programming language13 versions - Latest release: 19 days ago - 3 dependent packages - 1 dependent repositories - 14 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
leo-asg 1.5.3
ASG of the Leo programming language10 versions - Latest release: almost 4 years ago - 3 dependent packages - 2 dependent repositories - 13.1 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
wagyu-zcash-parameters-3 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 282 thousand downloads total - 4 stars on GitHub - 1 maintainer
circom-scotia 0.2.0
Middleware to compile Circom circuits to Bellperson4 versions - Latest release: over 1 year ago - 1 dependent package - 6.24 thousand downloads total - 20 stars on GitHub - 2 maintainers
leo-liner
Linter of the Leo programming language2 versions - Latest release: 22 days ago - 2.15 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
Top 7.9% on crates.io
3 versions - Latest release: about 5 years ago - 1 dependent package - 14 dependent repositories - 511 thousand downloads total - 800 stars on GitHub - 2 maintainers
halo2 0.0.0
[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup3 versions - Latest release: about 5 years ago - 1 dependent package - 14 dependent repositories - 511 thousand downloads total - 800 stars on GitHub - 2 maintainers
Top 4.0% on crates.io
7 versions - Latest release: over 2 years ago - 9 dependent packages - 99 dependent repositories - 1.09 million downloads total - 800 stars on GitHub - 2 maintainers
halo2_proofs 0.3.0
Fast PLONK-based zero-knowledge proving system with no trusted setup7 versions - Latest release: over 2 years ago - 9 dependent packages - 99 dependent repositories - 1.09 million downloads total - 800 stars on GitHub - 2 maintainers
Top 5.0% on crates.io
8 versions - Latest release: 8 months ago - 3 dependent packages - 49 dependent repositories - 632 thousand downloads total - 800 stars on GitHub - 3 maintainers
halo2_gadgets 0.3.1
Reusable gadgets and chip implementations for Halo 28 versions - Latest release: 8 months ago - 3 dependent packages - 49 dependent repositories - 632 thousand downloads total - 800 stars on GitHub - 3 maintainers
leo-grammar 1.0.7
AST generated by pest from the Leo grammar rules9 versions - Latest release: over 4 years ago - 6 dependent packages - 9.88 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
Top 8.5% on crates.io
20 versions - Latest release: almost 4 years ago - 5 dependent packages - 2 dependent repositories - 24.3 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
leo-input 1.5.3
Input parser of the Leo programming language20 versions - Latest release: almost 4 years ago - 5 dependent packages - 2 dependent repositories - 24.3 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
Top 8.5% on crates.io
7 versions - Latest release: about 1 year ago - 4 dependent packages - 19 dependent repositories - 219 thousand downloads total - 161 stars on GitHub - 3 maintainers
bellman_ce 0.8.0
zk-SNARK library7 versions - Latest release: about 1 year ago - 4 dependent packages - 19 dependent repositories - 219 thousand downloads total - 161 stars on GitHub - 3 maintainers
Top 9.6% on crates.io
14 versions - Latest release: almost 4 years ago - 4 dependent packages - 2 dependent repositories - 16.5 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
leo-imports 1.5.3
Import parser for Leo program package dependencies14 versions - Latest release: almost 4 years ago - 4 dependent packages - 2 dependent repositories - 16.5 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
leo-linter 1.5.3
Linter of the Leo programming language18 versions - Latest release: almost 4 years ago - 20.1 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
leo-core 1.6.3
Core library functions for the Leo programming language9 versions - Latest release: over 2 years ago - 4 dependent packages - 1 dependent repositories - 10.1 thousand downloads total - 4,829 stars on GitHub - 2 maintainers
leo-typed
Typed AST of the Leo programming language5 versions - Latest release: 25 days ago - 3 dependent packages - 1 dependent repositories - 5.49 thousand downloads total - 4,830 stars on GitHub - 2 maintainers
wagyu-zcash-parameters-4 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 1 dependent package - 6 dependent repositories - 281 thousand downloads total - 4 stars on GitHub - 1 maintainer
leo-symbol-table
Stores user-defined variables during type resolution4 versions - Latest release: 29 days ago - 2 dependent packages - 4.21 thousand downloads total - 4,830 stars on GitHub - 2 maintainers
wagyu-zcash-parameters 0.2.0
A library for loading Zcash Sapling parameters2 versions - Latest release: over 5 years ago - 5 dependent packages - 24 dependent repositories - 279 thousand downloads total - 4 stars on GitHub - 1 maintainer
leo-type-inference
Checks that a program is correct using type inference4 versions - Latest release: about 1 month ago - 1 dependent package - 4.27 thousand downloads total - 4,830 stars on GitHub - 2 maintainers
Top 10.0% on crates.io
19 versions - Latest release: almost 4 years ago - 2 dependent packages - 2 dependent repositories - 22 thousand downloads total - 4,830 stars on GitHub - 2 maintainers
leo-state 1.5.3
State parser of the Leo programming language19 versions - Latest release: almost 4 years ago - 2 dependent packages - 2 dependent repositories - 22 thousand downloads total - 4,830 stars on GitHub - 2 maintainers
Related Keywords
cryptography
54
zero-knowledge
50
aleo
44
compiler
27
programming-language
26
leo
26
blockchain
25
decentralized
18
rust
15
proofs
11
zcash
10
cryptocurrency
10
crypto
7
sapling
7
zkp
5
halo
4
wasm
4
typescript
4
sdk
4
nodejs
4
javascript
4
r1cs
2
zero-knowledge-proofs
2
zksnark
1
team-crypto
1
bellman
1
recursive
1
cryptography-library
1
nizk
1
zkinterface
1
rustpython
1
python
1
language
1
circ
1
arithmetic-circuit
1
rust-library
1
verifiable-computing
1
nova
1