Ecosyste.ms: Packages

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

crates.io "zero-knowledge" keyword

ark-groth16-zypher
An implementation of the Groth 2016 zkSNARK proof system
1 version - 0 downloads total - 1 maintainer
ark-r1cs-std-zypher
A standard library for constraint system gadgets
1 version - 0 downloads total - 1 maintainer
ark-snark-zypher
A library for SNARK traits
1 version - 0 downloads total - 1 maintainer
ark-relations-zypher
A library for rank-one constraint systems
1 version - 0 downloads total - 1 maintainer
Top 7.3% on crates.io
miden-air 0.9.2
Algebraic intermediate representation of Miden VM processor
11 versions - Latest release: about 1 month ago - 6 dependent packages - 34 dependent repositories - 50.7 thousand downloads total - 584 stars on GitHub - 1 maintainer
mozak-node 0.0.1
Reserved for Mozak
1 version - Latest release: 7 months ago - 372 downloads total - 4 maintainers
wedpr_l_bulletproofs 1.0.5
A pure-Rust implementation of Bulletproofs using Ristretto
2 versions - Latest release: over 2 years ago - 1 dependent package - 2 dependent repositories - 2.89 thousand downloads total - 985 stars on GitHub - 1 maintainer
noah-bulletproofs 4.1.0
A pure-Rust implementation of Bulletproofs using Ristretto
2 versions - Latest release: about 1 year ago - 4 dependent packages - 5.49 thousand downloads total - 985 stars on GitHub - 2 maintainers
Top 7.3% on crates.io
miden-processor 0.9.2
Miden VM processor
12 versions - Latest release: about 1 month ago - 9 dependent packages - 34 dependent repositories - 49.8 thousand downloads total - 584 stars on GitHub - 1 maintainer
sunscreen_bulletproofs 0.8.1
A pure-Rust implementation of Bulletproofs using Ristretto
2 versions - Latest release: 9 months ago - 2 dependent packages - 1.69 thousand downloads total - 44 stars on GitHub - 1 maintainer
dusk-hades 0.24.1
Implementation of Hades252 permutation algorithm over the Bls12-381 Scalar field.
20 versions - Latest release: 4 months ago - 1 dependent package - 3 dependent repositories - 25 thousand downloads total - 21 stars on GitHub - 1 maintainer
lox-zkp 0.8.0
A toolkit for auto-generated implementations of Schnorr proofs
1 version - Latest release: 7 months ago - 2 dependent packages - 652 downloads total - 1 maintainer
neptune-cash 0.0.1
Kardashev 2 Money
1 version - Latest release: 8 months ago - 340 downloads total - 3 maintainers
credits 0.1.3
An SDK for interfacing with the credits program
4 versions - Latest release: 8 months ago - 1 dependent repositories - 1.1 thousand downloads total - 7 stars on GitHub - 1 maintainer
zelbet 0.0.0-next
A pure-Rust implementation of the Zelbet (Reinforced-Concrete) hashing algorithm for ZK-Proofs an...
2 versions - Latest release: over 2 years ago - 700 downloads total - 1 maintainer
arkworks-gadgets 0.4.20
Webb protocol's zero-knowledge gadgets written using Arkworks
39 versions - Latest release: over 2 years ago - 4 dependent packages - 4 dependent repositories - 26.1 thousand downloads total - 84 stars on GitHub - 5 maintainers
extra-safe 0.1.1
A trait hierarchy to help make the SAFE API return errors at compile time.
2 versions - Latest release: about 1 year ago - 630 downloads total - 2 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
miden-core 0.9.1
Miden VM core components
11 versions - Latest release: 2 months ago - 12 dependent packages - 35 dependent repositories - 72.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
miden-verifier 0.9.1
Miden VM execution verifier
10 versions - Latest release: 2 months ago - 4 dependent packages - 34 dependent repositories - 48.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-stdlib 0.9.1
Miden VM standard library
10 versions - Latest release: 2 months ago - 5 dependent packages - 33 dependent repositories - 48.2 thousand downloads total - 584 stars on GitHub - 1 maintainer
darkfi-derive-internal 0.4.1
Internal crate for serialization derive macros
2 versions - Latest release: over 1 year ago - 1 dependent package - 1.28 thousand downloads total - 997 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
miden-prover 0.9.1
Miden VM prover
9 versions - Latest release: 2 months ago - 3 dependent packages - 34 dependent repositories - 48.5 thousand downloads total - 584 stars on GitHub - 1 maintainer
miden-vm 0.9.1
Miden virtual machine
7 versions - Latest release: 2 months ago - 3.05 thousand downloads total - 584 stars on GitHub - 1 maintainer
Top 7.9% on crates.io
halo2 0.0.0
[BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup
3 versions - Latest release: about 4 years ago - 1 dependent package - 14 dependent repositories - 88.5 thousand downloads total - 657 stars on GitHub - 2 maintainers
Top 4.0% on crates.io
halo2_proofs 0.3.0
Fast PLONK-based zero-knowledge proving system with no trusted setup
7 versions - Latest release: about 1 year ago - 9 dependent packages - 99 dependent repositories - 412 thousand downloads total - 657 stars on GitHub - 2 maintainers
halo2-core
[BETA] Fast proof-carrying data implementation with no trusted setup
1 version - Latest release: about 1 month ago - 309 downloads total - 657 stars on GitHub - 2 maintainers
Top 5.0% on crates.io
halo2_gadgets 0.3.0
Reusable gadgets and chip implementations for Halo 2
7 versions - Latest release: about 1 year ago - 3 dependent packages - 49 dependent repositories - 384 thousand downloads total - 657 stars on GitHub - 3 maintainers
Top 5.5% on crates.io
ursa 0.3.7
This is the shared crypto library for Hyperledger components.
21 versions - Latest release: over 2 years ago - 9 dependent packages - 44 dependent repositories - 170 thousand downloads total - 318 stars on GitHub - 3 maintainers
darkfi-derive 0.4.1
Crate for serialization derive macros
2 versions - Latest release: over 1 year ago - 1 dependent package - 1.04 thousand downloads total - 997 stars on GitHub - 1 maintainer
darkfi-sdk
SDK used for developing smart contracts on DarkFi
1 version - Latest release: about 1 month ago - 429 downloads total - 1,039 stars on GitHub - 1 maintainer
arkworks-benchmarks
Webb protocol's zero-knowledge gadgets written using Arkworks
1 version - Latest release: about 1 month ago - 312 downloads total - 84 stars on GitHub - 1 maintainer
ironfish_zkp 0.1.0
Sapling API and zero-knowledge proving mechanism for the Iron Fish node
1 version - Latest release: 12 months ago - 1 dependent package - 589 downloads total - 959 stars on GitHub - 1 maintainer
darkfi-serial 0.4.1
DarkFi serialization library
2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 801 downloads total - 1,039 stars on GitHub - 1 maintainer
risc0-steel 0.10.0
Query Ethereum state, or any other EVM-based blockchain state within the RISC Zero zkVM.
1 version - Latest release: about 1 month ago - 243 downloads total - 41 stars on GitHub - 1 maintainer
risc0-ethereum-view-call 0.9.0
A library to query Ethereum state, or any other EVM-based blockchain state within the RISC Zero z...
1 version - Latest release: 2 months ago - 317 downloads total - 41 stars on GitHub - 1 maintainer
risc0-build-ethereum 0.9.0
RISC Zero build tools for Ethereum integration
1 version - Latest release: 2 months ago - 321 downloads total - 41 stars on GitHub - 1 maintainer
zk-citadel 0.11.0
Implementation of Citadel, a SSI system integrated in Dusk Network.
18 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 7.25 thousand downloads total - 6 stars on GitHub - 1 maintainer
air-ir 0.3.0
Intermediate representation for the AirScript language
3 versions - Latest release: 11 months ago - 3 dependent packages - 1.68 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-script 0.3.0
AirScript language compiler
3 versions - Latest release: 11 months ago - 929 downloads total - 67 stars on GitHub - 1 maintainer
air-codegen-masm 0.1.0
Miden Assembly code generator for the AirScript language
1 version - Latest release: 11 months ago - 1 dependent package - 539 downloads total - 67 stars on GitHub - 1 maintainer
air-parser 0.3.0
Parser for the AirScript language
3 versions - Latest release: 11 months ago - 2 dependent packages - 1.92 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-codegen-winter 0.3.0
Winterfell code generator for the AirScript language
3 versions - Latest release: 11 months ago - 1 dependent package - 1.29 thousand downloads total - 67 stars on GitHub - 1 maintainer
air-script-core 0.2.0
Core types for the AirScript compiler
1 version - Latest release: over 1 year ago - 3 dependent packages - 555 downloads total - 67 stars on GitHub - 1 maintainer
Top 8.5% on crates.io
leo-input 1.5.3
Input parser of the Leo programming language
20 versions - Latest release: almost 3 years ago - 5 dependent packages - 2 dependent repositories - 9.43 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 8.5% on crates.io
sppark 0.1.6
Zero-knowledge template library
7 versions - Latest release: 4 months ago - 5 dependent packages - 15 dependent repositories - 60.7 thousand downloads total - 159 stars on GitHub - 3 maintainers
risc0-sppark 0.1.0
Zero-knowledge template library
1 version - Latest release: 6 months ago - 1 dependent package - 3.24 thousand downloads total - 159 stars on GitHub - 1 maintainer
leo-gadgets
Gadgets of the Leo programming language
13 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 4.53 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-typed
Typed AST of the Leo programming language
5 versions - Latest release: about 1 month ago - 3 dependent packages - 1 dependent repositories - 1.89 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
mlsag 0.3.0
Multilayer Linkable Spontaneous Anonymous Group construction
3 versions - Latest release: about 4 years ago - 1.32 thousand downloads total - 21 stars on GitHub - 1 maintainer
leo-type-inference
Checks that a program is correct using type inference
4 versions - Latest release: about 1 month ago - 1 dependent package - 1.38 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
arkworks-utils 1.0.1
Webb protocol's utils for zero-knowledge gadgets and circuits
24 versions - Latest release: about 2 years ago - 5 dependent packages - 10 dependent repositories - 25.8 thousand downloads total - 84 stars on GitHub - 3 maintainers
leo-asg-passes 1.5.3
The Leo programming language
6 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 3.16 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-grammar 1.0.7
AST generated by pest from the Leo grammar rules
9 versions - Latest release: over 3 years ago - 6 dependent packages - 3.16 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 10.0% on crates.io
leo-state 1.5.3
State parser of the Leo programming language
19 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 8.02 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
aleo-account 0.3.3
Aleo
4 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 1.5 thousand downloads total - 548 stars on GitHub - 1 maintainer
leo-symbol-table
Stores user-defined variables during type resolution
4 versions - Latest release: about 2 months ago - 2 dependent packages - 1.37 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
brillig_vm 0.45.0
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM
33 versions - Latest release: 30 days ago - 2 dependent packages - 2 dependent repositories - 26.1 thousand downloads total - 779 stars on GitHub - 2 maintainers
acvm 0.45.0
The virtual machine that processes ACIR given a backend/proof system.
50 versions - Latest release: 30 days ago - 1 dependent package - 1 dependent repositories - 50.4 thousand downloads total - 779 stars on GitHub - 2 maintainers
bn254_blackbox_solver 0.45.0
Solvers for black box functions which are specific for the bn254 curve
5 versions - Latest release: 30 days ago - 1.05 thousand downloads total - 779 stars on GitHub - 2 maintainers
acvm_blackbox_solver 0.45.0
A solver for the blackbox functions found in ACIR and Brillig
24 versions - Latest release: 30 days ago - 4 dependent packages - 1 dependent repositories - 20.7 thousand downloads total - 779 stars on GitHub - 2 maintainers
Top 8.0% on crates.io
acir_field 0.45.0
The field implementation being used by ACIR.
61 versions - Latest release: 30 days ago - 6 dependent packages - 2 dependent repositories - 56 thousand downloads total - 779 stars on GitHub - 2 maintainers
acir 0.45.0
ACIR is the IR that the VM processes, it is analogous to LLVM IR
57 versions - Latest release: 30 days ago - 6 dependent packages - 2 dependent repositories - 55.4 thousand downloads total - 779 stars on GitHub - 2 maintainers
brillig 0.45.0
Brillig is the bytecode ACIR uses for non-determinism.
24 versions - Latest release: 30 days ago - 2 dependent packages - 1 dependent repositories - 19.7 thousand downloads total - 779 stars on GitHub - 2 maintainers
leo-asg 1.5.3
ASG of the Leo programming language
10 versions - Latest release: almost 3 years ago - 3 dependent packages - 2 dependent repositories - 5.28 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
ark-relations-zkhub 0.4.7
A library for rank-one constraint systems
7 versions - Latest release: 5 months ago - 2.01 thousand downloads total - 748 stars on GitHub - 1 maintainer
Top 2.9% on crates.io
ark-relations 0.4.0
A library for rank-one constraint systems
4 versions - Latest release: over 1 year ago - 60 dependent packages - 679 dependent repositories - 1.74 million downloads total - 748 stars on GitHub - 1 maintainer
Top 3.5% on crates.io
ark-snark 0.4.0
A library for SNARK traits
4 versions - Latest release: over 1 year ago - 15 dependent packages - 510 dependent repositories - 1.48 million downloads total - 736 stars on GitHub - 1 maintainer
leo-synthesizer 1.5.3
Circuit synthesizer of the Leo programming language
7 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 3.36 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
Top 9.6% on crates.io
leo-imports 1.5.3
Import parser for Leo program package dependencies
14 versions - Latest release: almost 3 years ago - 4 dependent packages - 2 dependent repositories - 6.01 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
leo-linter 1.5.3
Linter of the Leo programming language
18 versions - Latest release: almost 3 years ago - 6.5 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
miden 0.3.0
Miden virtual machine
3 versions - Latest release: over 1 year ago - 33 dependent repositories - 31.4 thousand downloads total - 584 stars on GitHub - 1 maintainer
leo-core 1.6.3
Core library functions for the Leo programming language
9 versions - Latest release: over 1 year ago - 4 dependent packages - 1 dependent repositories - 3.37 thousand downloads total - 4,044 stars on GitHub - 2 maintainers
sunscreen 0.8.1
A Fully Homomorphic Encryption (FHE) compiler supporting the Brakerski/Fan-Vercauteren (BFV) scheme.
6 versions - Latest release: 9 months ago - 1 dependent repositories - 3.28 thousand downloads total - 219 stars on GitHub - 2 maintainers
leo-liner
Linter of the Leo programming language
2 versions - Latest release: about 2 months ago - 685 downloads total - 4,044 stars on GitHub - 2 maintainers
sunscreen_math_macros 0.8.1
This crate contains macros that support the Sunscreen compiler.
2 versions - Latest release: 9 months ago - 1 dependent package - 723 downloads total - 219 stars on GitHub - 1 maintainer
sunscreen_compiler_macros 0.8.1
This crate contains macros that support the Sunscreen compiler.
6 versions - Latest release: 9 months ago - 1 dependent package - 3 dependent repositories - 3.64 thousand downloads total - 219 stars on GitHub - 2 maintainers
sunscreen_backend 0.8.1
The backend for the Sunscreen compiler.
6 versions - Latest release: 9 months ago - 1 dependent package - 3 dependent repositories - 3.55 thousand downloads total - 219 stars on GitHub - 2 maintainers
sunscreen_runtime 0.8.1
This crate provides a runtime for performing various FHE operations within Sunscreen.
7 versions - Latest release: 9 months ago - 2 dependent packages - 3 dependent repositories - 4.19 thousand downloads total - 219 stars on GitHub - 2 maintainers
seal_fhe 0.8.1
This crate contains Rust bindings for Microsoft's SEAL Fully Homomorphic Encryption (FHE) library.
5 versions - Latest release: 9 months ago - 4 dependent packages - 3 dependent repositories - 4.3 thousand downloads total - 219 stars on GitHub - 2 maintainers
sunscreen_fhe_program 0.8.1
This crate provides the data format for Sunscreen FHE programs.
6 versions - Latest release: 9 months ago - 3 dependent packages - 3 dependent repositories - 4.28 thousand downloads total - 219 stars on GitHub - 2 maintainers
sunscreen_zkp_backend 0.8.1
This crate contains the ZKP backend of the Sunscreen compiler.
2 versions - Latest release: 9 months ago - 2 dependent packages - 1.42 thousand downloads total - 219 stars on GitHub - 1 maintainer
emsdk 0.1.1
A crate for building C++ projects with emcake. This facilitates building wasm binaries with both ...
1 version - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 3.51 thousand downloads total - 219 stars on GitHub - 2 maintainers
sunscreen_math 0.8.1
This crate contains GPU implementations that support the Sunscreen compiler.
2 versions - Latest release: 9 months ago - 608 downloads total - 219 stars on GitHub - 1 maintainer
json-proof-token 0.3.5
A library implementation based on the new JOSE Working Group draft specifications: JSON Web Proo...
25 versions - Latest release: 2 months ago - 6.79 thousand downloads total - 2 stars on GitHub - 1 maintainer
sunscreen_compiler_common 0.8.1
This crate contains common functionality for Sunscreen's FHE and ZKP compilers.
2 versions - Latest release: 9 months ago - 6 dependent packages - 1.86 thousand downloads total - 219 stars on GitHub - 1 maintainer
aeonflux 0.2.0
Composable, lightweight, fast attribute-based anonymous credentials with infinite (aeon) rerandom...
3 versions - Latest release: over 3 years ago - 2.71 thousand downloads total - 1 maintainer
lnpbp_secp256k1zkp 0.9.0 💰
LNP/BP fork of Grin version of Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `li...
3 versions - Latest release: over 1 year ago - 4 dependent packages - 3 dependent repositories - 6.41 thousand downloads total - 1 stars on GitHub - 1 maintainer
arcturus 0.4.0
Implementation of Arcturus zero-knowledge proofs for confidential transactions.
7 versions - Latest release: about 3 years ago - 3.03 thousand downloads total - 12 stars on GitHub - 1 maintainer
amacs 0.0.0
A pure-Rust library for algebraic message authentication codes (aMACs)
1 version - Latest release: over 5 years ago - 786 downloads total - 1 maintainer
icicle-cuda-runtime 1.3.0
Ingonyama's Rust wrapper of CUDA runtime
1 version - Latest release: 4 months ago - 1 dependent package - 436 downloads total - 263 stars on GitHub - 2 maintainers
icicle-core 1.3.0
A library for GPU ZK acceleration by Ingonyama
1 version - Latest release: 4 months ago - 423 downloads total - 263 stars on GitHub - 1 maintainer
tari_bulletproofs 4.4.1
A pure-Rust implementation of Bulletproofs using Ristretto
3 versions - Latest release: about 1 year ago - 1 dependent package - 2 dependent repositories - 75.8 thousand downloads total - 3 stars on GitHub - 3 maintainers
sn_bulletproofs 0.1.0
A pure-Rust implementation of Bulletproofs using Ristretto
1 version - Latest release: about 2 years ago - 1 dependent package - 591 downloads total - 3 stars on GitHub - 1 maintainer
bls_bulletproofs 1.1.1
A pure-Rust implementation of Bulletproofs using Ristretto
4 versions - Latest release: over 1 year ago - 1 dependent package - 5 dependent repositories - 82.9 thousand downloads total - 3 stars on GitHub - 1 maintainer
ockam_credential 💰
Attribute based, privacy preserving, anonymous credentials.
3 versions - Latest release: about 2 months ago - 911 downloads total - 4,351 stars on GitHub - 3 maintainers
light-poseidon 0.2.0
Poseidon hash implementation in Rust
11 versions - Latest release: 7 months ago - 4 dependent packages - 1 dependent repositories - 915 thousand downloads total - 12 stars on GitHub - 1 maintainer
arkworks-circuits 0.4.20
Webb protocol's circuit's using zero-knowledge gadgets written using Arkworks
20 versions - Latest release: over 2 years ago - 2 dependent packages - 1 dependent repositories - 7.64 thousand downloads total - 84 stars on GitHub - 3 maintainers
Top 7.7% on crates.io
bonsai-sdk 0.7.0
Bonsai Software Development Kit
24 versions - Latest release: 3 months ago - 4 dependent packages - 15 dependent repositories - 48.2 thousand downloads total - 1,350 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: almost 1 year ago - 2 dependent repositories - 22.2 thousand downloads total - 40 stars on GitHub - 1 maintainer
arkworks-native-gadgets 1.2.0
Webb protocol's native gadgets
5 versions - Latest release: over 1 year ago - 4 dependent packages - 11 dependent repositories - 17.9 thousand downloads total - 84 stars on GitHub - 1 maintainer
Related Keywords
cryptography 286 rust 180 aleo 126 blockchain 115 decentralized 106 zksnarks 79 zkp 66 stark 60 crypto 55 virtual-machine 52 risc-v 41 compiler 38 programming-language 37 zk-snarks 29 leo 25 zksnark 15 cryptocurrency 15 snark 14 zero-knowledge-proofs 13 homomorphic-encryption 12 bulletproofs 12 arkworks 10 vm 10 bfv 10 lattice 10 fhe 10 ristretto 10 miden 9 privacy 8 cryptocurrencies 8 plonk 8 r1cs 7 noir-lang 7 mpc 7 air 7 paillier 6 encryption 6 secp256k1 6 bitcoin 6 zk-starks 6 zkvm 6 zk 6 cuda 5 zkwasm 4 zcash 4 ethereum 4 solidity 4 signatures 4 homomorphic 4 cryptoagorithms 4 poseidon 4 halo2 4 webassembly-runtime 4 sdk 4 nizk 4 hash 4 ecvrf 4 vrf 4 proofs 4 web3 3 constraint-systems 3 foundry 3 halo 3 zkproof 3 anonymous 3 winterfell 3 pasta-curves 3 gpu 3 algebraic-mac 3 groth-maller 3 credential 3 transcript 3 fiat-shamir 3 sponge 3 secure-computation 3 schnorr 3 zk-circuits 2 monero 2 verifier 2 ring-signature-scheme 2 program 2 authentication 2 cli 2 hashing 2 groth16 2 zkrisc 2 zkmemory 2 ram 2 grin 2 mac 2 curve25519 2 identity 2 ecc 2 circom 2 bls12-377 2 bls12-381 2 recursive 2 ntt 2 emsdk 1 emcc 1