crates.io "zero-knowledge" keyword
dapol 0.4.0
DAPOL+ Proof of Liabilities protocol6 versions - Latest release: almost 2 years ago - 7.61 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
9 versions - Latest release: over 1 year ago - 52 dependent packages - 167 dependent repositories - 4.99 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.99 million downloads total - 186 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
85 versions - Latest release: 2 months ago - 3 dependent packages - 19 dependent repositories - 1.07 million downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im 4.0.4
RISC Zero circuit for rv32im85 versions - Latest release: 2 months ago - 3 dependent packages - 19 dependent repositories - 1.07 million downloads total - 1,350 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
74 versions - Latest release: 2 months ago - 1 dependent package - 17 dependent repositories - 535 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: 2 months ago - 1 dependent package - 17 dependent repositories - 535 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-aggregation 0.9.0
Proof aggregation for RISC Zero16 versions - Latest release: 7 months ago - 127 thousand downloads total - 223 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
92 versions - Latest release: 2 months ago - 17 dependent packages - 20 dependent repositories - 1.11 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm-platform 2.2.2
RISC Zero zero-knowledge VM92 versions - Latest release: 2 months ago - 17 dependent packages - 20 dependent repositories - 1.11 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkos-v1compat 2.2.2
RISC Zero zero-knowledge VM kernel for v1 compatibility14 versions - Latest release: 2 months ago - 566 thousand downloads total - 2,118 stars on GitHub - 1 maintainer
Top 5.7% on crates.io
90 versions - Latest release: 2 months ago - 18 dependent packages - 24 dependent repositories - 1.1 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm 3.0.5
RISC Zero zero-knowledge VM90 versions - Latest release: 2 months ago - 18 dependent packages - 24 dependent repositories - 1.1 million downloads total - 1,204 stars on GitHub - 1 maintainer
snarkvm-ledger-puzzle 4.6.0
Puzzle for a decentralized virtual machine20 versions - Latest release: 12 days ago - 71 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 8.4% on crates.io
4 versions - Latest release: about 5 hours ago - 11 dependent packages - 1 dependent repositories - 12 thousand downloads total - 4,476 stars on GitHub - 1 maintainer
snarkos-objects
Objects for a decentralized operating system4 versions - Latest release: about 5 hours ago - 11 dependent packages - 1 dependent repositories - 12 thousand downloads total - 4,476 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: about 1 month ago - 13 dependent packages - 53 dependent repositories - 178 thousand downloads total - 58 stars on GitHub - 3 maintainers
triton-vm 2.0.0
A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Re...63 versions - Latest release: 3 months ago - 2 dependent packages - 1 dependent repositories - 98.4 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: 4 months ago - 796 thousand downloads total - 1,604 stars on GitHub - 1 maintainer
paillier-zk 0.4.3
ZK-proofs for Paillier encryption scheme11 versions - Latest release: 5 months ago - 1 dependent package - 1 dependent repositories - 33.2 thousand downloads total - 121 stars on GitHub - 2 maintainers
sp1-recursion-circuit 6.0.2
Recursion circuit for SP1 proof aggregation55 versions - Latest release: about 1 month ago - 801 thousand downloads total - 1,601 stars on GitHub - 2 maintainers
sp1-recursion-gnark-ffi 6.0.2
FFI bindings to Gnark for SP155 versions - Latest release: about 1 month ago - 802 thousand downloads total - 1,601 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 - 213 thousand downloads total - 325 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 - 213 thousand downloads total - 325 stars on GitHub - 3 maintainers
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.56 thousand downloads total - 0 stars on gitlab.torproject.org - 1 maintainer
blueprint-runner 0.2.0-alpha.2
Runner for the Blueprint SDK22 versions - Latest release: about 11 hours ago - 14.1 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-qos 0.2.0-alpha.2
Quality of Service (QoS) module for Blueprint SDK8 versions - Latest release: about 11 hours ago - 5.1 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-client-evm 0.2.0-alpha.2
EVM client for Tangle Blueprints9 versions - Latest release: about 12 hours ago - 7.64 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-client-tangle 0.2.0-alpha.2
Tangle client for Blueprint SDK - connects to Tangle EVM contracts23 versions - Latest release: about 12 hours ago - 14.3 thousand downloads total - 334 stars on GitHub - 3 maintainers
risc0-ethereum-contracts 3.0.1
Ethereum contracts for RISC Zero applications23 versions - Latest release: 7 months ago - 176 thousand downloads total - 84 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 3 years ago - 2 dependent repositories - 33.8 thousand downloads total - 52 stars on GitHub - 1 maintainer
Top 4.8% on crates.io
89 versions - Latest release: 12 days ago - 9 dependent packages - 13 dependent repositories - 676 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit 4.6.0
Circuits for a decentralized virtual machine89 versions - Latest release: 12 days ago - 9 dependent packages - 13 dependent repositories - 676 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
darkfi-sdk
SDK used for developing smart contracts on DarkFi1 version - Latest release: about 19 hours ago - 1.75 thousand downloads total - 1,320 stars on GitHub - 1 maintainer
maat_air 0.12.1
CPU constraint system (AIR) for the Maat ZK backend1 version - Latest release: about 19 hours ago - 0 downloads total - 2 stars on GitHub - 1 maintainer
maat_trace 0.12.1
Trace-generating virtual machine for the Maat ZK backend1 version - Latest release: about 19 hours ago - 0 downloads total - 2 stars on GitHub - 1 maintainer
maat_codegen 0.12.1
Bytecode code generation for the Maat programming language4 versions - Latest release: about 19 hours ago - 47 downloads total - 2 stars on GitHub - 1 maintainer
maat 0.12.1
The Maat programming language -- Rust-native syntax for writing zero-knowledge proofs4 versions - Latest release: about 19 hours ago - 36 downloads total - 2 stars on GitHub - 1 maintainer
maat_vm 0.12.1
Stack-based virtual machine for executing Maat bytecode4 versions - Latest release: about 19 hours ago - 39 downloads total - 2 stars on GitHub - 1 maintainer
maat_module 0.12.1
Module system and multi-file compilation for the Maat programming language4 versions - Latest release: about 19 hours ago - 40 downloads total - 2 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-batch-header 4.6.0
A batch header for a Narwhal-style memory pool in a decentralized virtual machine45 versions - Latest release: 12 days ago - 5 dependent packages - 366 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
maat_stdlib 0.12.1
Standard library sources for the Maat programming language4 versions - Latest release: about 19 hours ago - 43 downloads total - 1 maintainer
maat_field 0.12.1
Finite field arithmetic and value-to-field encoding for the Maat zero-knowledge backend2 versions - Latest release: about 19 hours ago - 17 downloads total - 1 maintainer
maat_errors 0.12.1
Compiler error types and diagnostic infrastructure for the Maat programming language4 versions - Latest release: about 19 hours ago - 61 downloads total - 1 maintainer
Top 8.0% on crates.io
89 versions - Latest release: 12 days ago - 1 dependent package - 9 dependent repositories - 676 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-circuit-program 4.6.0
Program circuit library for a decentralized virtual machine89 versions - Latest release: 12 days ago - 1 dependent package - 9 dependent repositories - 676 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
blueprint-networking-round-based-extension 0.2.0-alpha.2
round-based integration for Blueprint SDK networking16 versions - Latest release: about 23 hours ago - 6.93 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-tee 0.2.0-alpha.2
First-class TEE (Trusted Execution Environment) support for the Blueprint SDK2 versions - Latest release: about 23 hours ago - 24 downloads total - 334 stars on GitHub - 1 maintainer
zk-aluvm 0.12.0 💰
AluVM ISA extension for Galois fields8 versions - Latest release: 9 months ago - 25.3 thousand downloads total - 3 stars on GitHub - 1 maintainer
fermah-database 0.1.3
Fermah database for AVS.3 versions - Latest release: over 1 year ago - 3.5 thousand downloads total - 9 stars on GitHub - 1 maintainer
miden-utils-sync 0.22.1
no-std compatible locking primitives for the Miden project27 versions - Latest release: 1 day ago - 99 thousand downloads total - 729 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: about 1 month ago - 55.2 thousand downloads total - 0 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.6 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.6 thousand downloads total - 16 stars on GitHub - 1 maintainer
snarkvm-synthesizer-program 4.6.0
Program for a decentralized virtual machine56 versions - Latest release: 12 days ago - 7 dependent packages - 3 dependent repositories - 410 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
light-poseidon 0.4.0
Poseidon hash implementation in Rust13 versions - Latest release: 7 months ago - 4 dependent packages - 1 dependent repositories - 7.89 million downloads total - 23 stars on GitHub - 1 maintainer
aleo 0.6.8
Aleo27 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 53 thousand downloads total - 34 stars on GitHub - 3 maintainers
zkinterface 1.3.4
An implementation of zkInterface18 versions - Latest release: about 5 years ago - 6 dependent packages - 4 dependent repositories - 32.2 thousand downloads total - 128 stars on GitHub - 1 maintainer
miden-mast-package 0.22.1
Package containing a compiled Miden MAST artifact with declared dependencies and exports31 versions - Latest release: 1 day ago - 106 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
47 versions - Latest release: 1 day ago - 4 dependent packages - 34 dependent repositories - 271 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-verifier 0.22.1
Miden VM execution verifier47 versions - Latest release: 1 day ago - 4 dependent packages - 34 dependent repositories - 271 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
89 versions - Latest release: 12 days ago - 2 dependent packages - 13 dependent repositories - 677 thousand downloads total - 1,156 stars on GitHub - 1 maintainer
snarkvm-circuit-account 4.6.0
Account circuit library for a decentralized virtual machine89 versions - Latest release: 12 days ago - 2 dependent packages - 13 dependent repositories - 677 thousand downloads total - 1,156 stars on GitHub - 1 maintainer
Top 3.0% on crates.io
119 versions - Latest release: 12 days ago - 43 dependent packages - 66 dependent repositories - 879 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
snarkvm-utilities 4.6.0
Utilities for a decentralized virtual machine119 versions - Latest release: 12 days ago - 43 dependent packages - 66 dependent repositories - 879 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
48 versions - Latest release: 20 days ago - 12 dependent packages - 35 dependent repositories - 315 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-core 0.22.0
Miden VM core components48 versions - Latest release: 20 days ago - 12 dependent packages - 35 dependent repositories - 315 thousand downloads total - 729 stars on GitHub - 1 maintainer
barretenberg-rs 4.1.3
Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs161 versions - Latest release: 6 days ago - 2.52 thousand downloads total - 435 stars on GitHub - 1 maintainer
risc0-sppark 5.0.0
Zero-knowledge template library3 versions - Latest release: 3 months ago - 1 dependent package - 8.6 thousand downloads total - 204 stars on GitHub - 1 maintainer
snarkvm-ledger-debug 0.16.17
A node ledger for a decentralized virtual machine1 version - Latest release: over 2 years ago - 1 dependent package - 1.77 thousand downloads total - 1,139 stars on GitHub - 1 maintainer
maat_eval 0.11.3
Tree-walking interpreter for the Maat programming language2 versions - Latest release: 4 days ago - 26 downloads total - 1 maintainer
maat_bytecode 0.11.3
Bytecode format and serialization for the Maat virtual machine2 versions - Latest release: 4 days ago - 34 downloads total - 1 maintainer
maat_span 0.11.3
Source span and location types for the Maat compiler2 versions - Latest release: 4 days ago - 46 downloads total - 1 maintainer
maat_types 0.11.3
Hindley-Milner type inference engine for the Maat programming language2 versions - Latest release: 4 days ago - 31 downloads total - 1 maintainer
maat_parser 0.11.3
Combinator-based parser for the Maat programming language2 versions - Latest release: 4 days ago - 32 downloads total - 1 maintainer
maat_ast 0.11.3
Abstract syntax tree (AST) node definitions for the Maat programming language2 versions - Latest release: 4 days ago - 42 downloads total - 1 maintainer
maat_lexer 0.11.3
DFA-based lexer for the Maat programming language2 versions - Latest release: 4 days ago - 33 downloads total - 1 maintainer
maat_runtime 0.11.3
Runtime value types for the Maat virtual machine2 versions - Latest release: 4 days ago - 36 downloads total - 1 maintainer
clutch 0.2.0
Lurk supertool1 version - Latest release: about 3 years ago - 1.56 thousand downloads total - 451 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.43 thousand downloads total - 328 stars on GitHub - 2 maintainers
Top 4.2% on crates.io
89 versions - Latest release: 12 days ago - 8 dependent packages - 13 dependent repositories - 700 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-types-boolean 4.6.0
Type operations for a decentralized virtual machine89 versions - Latest release: 12 days ago - 8 dependent packages - 13 dependent repositories - 700 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
miden-utils-diagnostics 0.22.0
Diagnostic infrastructure used in the Miden assembler and VM26 versions - Latest release: 20 days ago - 96.7 thousand downloads total - 729 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: about 1 year ago - 2.58 thousand downloads total - 8 stars on GitHub - 1 maintainer
orbinum-zk-verifier 0.5.0
Zero-Knowledge proof verification - Groth16 on BN254 for Orbinum Network4 versions - Latest release: about 1 month ago - 56 downloads total - 0 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
47 versions - Latest release: 20 days ago - 6 dependent packages - 34 dependent repositories - 276 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-air 0.22.0
Algebraic intermediate representation of Miden VM processor47 versions - Latest release: 20 days ago - 6 dependent packages - 34 dependent repositories - 276 thousand downloads total - 729 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.16 thousand downloads total - 10 stars on GitHub - 1 maintainer
snarkos-posw
Proof of Succinct Work circuit implementation based on [KB20]3 versions - Latest release: 3 days ago - 5 dependent packages - 1 dependent repositories - 3.85 thousand downloads total - 16 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.9 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.9 thousand downloads total - 17 stars on GitHub - 1 maintainer
blueprint-router 0.2.0-alpha.1
Job routing utilities for the Blueprint SDK7 versions - Latest release: 5 days ago - 7.85 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-stores 0.2.0-alpha.2
Storage providers for Tangle Blueprints8 versions - Latest release: 4 days ago - 3.85 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-store-local-database 0.2.0-alpha.2
Local database storage provider for the Blueprint SDK7 versions - Latest release: 4 days ago - 3.57 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-metrics-rpc-calls 0.2.0-alpha.2
RPC call metrics for Tangle Blueprints5 versions - Latest release: 4 days ago - 6.14 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-tangle-extra 0.2.0-alpha.1
Producer/Consumer extras for Tangle blueprints13 versions - Latest release: 4 days ago - 10.7 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-crypto-sr25519 0.2.0-alpha.2
Schnorrkel sr25519 crypto primitives for Tangle Blueprints12 versions - Latest release: 4 days ago - 10.2 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-evm-extra 0.2.0-alpha.1
EVM extra utilities for Blueprint framework9 versions - Latest release: 5 days ago - 8.75 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-crypto-ed25519 0.2.0-alpha.2
Zebra ed25519 crypto primitives for Tangle Blueprints12 versions - Latest release: 4 days ago - 10.4 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-metrics 0.2.0-alpha.2
Metrics metapackage for Tangle Blueprints5 versions - Latest release: 4 days ago - 1.98 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-producers-extra 0.2.0-alpha.1
Additional job call producers for the Blueprint SDK7 versions - Latest release: 5 days ago - 5.22 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-networking 0.2.0-alpha.1
Networking utilities for Tangle Blueprints16 versions - Latest release: 5 days ago - 11.7 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-manager-bridge 0.2.0-alpha.1
Bridge for Blueprint manager to service communication10 versions - Latest release: 5 days ago - 6.34 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-crypto-k256 0.2.0-alpha.2
k256 crypto primitives for Tangle Blueprints12 versions - Latest release: 4 days ago - 10.3 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-keystore 0.2.0-alpha.2
Keystore for Tangle Blueprints17 versions - Latest release: 4 days ago - 12.5 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-pricing-engine 0.2.5
Tangle Cloud Pricing Engine for service offerings13 versions - Latest release: 6 months ago - 7.41 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-context-derive 0.2.0-alpha.1
Procedural macros for deriving Context Extension traits from blueprint-sdk12 versions - Latest release: 5 days ago - 7.24 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-core 0.2.0-alpha.1
Blueprint SDK Core functionality6 versions - Latest release: 5 days ago - 8.59 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-macros 0.2.0-alpha.1
Macros for the Tangle Blueprint SDK8 versions - Latest release: 5 days ago - 5.18 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-chain-setup-tangle 0.1.0-alpha.21
Tangle-specific chain setup utilities21 versions - Latest release: 5 months ago - 12.7 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-clients 0.2.0-alpha.1
Metapackage for Tangle Blueprint clients22 versions - Latest release: 4 days ago - 13.7 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-faas 0.2.0-alpha.1
FaaS provider integrations for Blueprint SDK1 version - Latest release: 5 days ago - 17 downloads total - 334 stars on GitHub - 1 maintainer
blueprint-crypto-bn254 0.2.0-alpha.2
Ark BN254 crypto primitives for Tangle Blueprints11 versions - Latest release: 4 days ago - 10.1 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-networking-agg-sig-gossip-extension 0.2.0-alpha.1
Signature aggregation extension for Blueprint SDK networking14 versions - Latest release: 5 days ago - 6.38 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-crypto-bls 0.2.0-alpha.2
tnt-bls crypto primitives for Tangle Blueprints11 versions - Latest release: 4 days ago - 10 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-auth 0.2.0-alpha.1
Blueprint HTTP/WS Authentication11 versions - Latest release: 5 days ago - 7.25 thousand downloads total - 334 stars on GitHub - 3 maintainers
blueprint-core-testing-utils 0.2.0-alpha.1
Core primitives for testing Tangle Blueprints22 versions - Latest release: 4 days ago - 13.1 thousand downloads total - 334 stars on GitHub - 3 maintainers
Related Keywords
cryptography
461
rust
326
blockchain
211
decentralized
184
aleo
180
zkp
111
stark
95
zkvm
82
mpc
76
avs
75
virtual-machine
74
p2p
69
zksnarks
68
distributed-systems
68
multi-party-computation
68
networking
68
restaking
67
libp2p
67
crypto
66
sp1
63
compiler
60
succinct
58
rust-lang
56
mixnets
55
mixnet
55
zk
52
risc-v
51
ethereum
48
programming-language
41
contributor-friendly
34
modular
34
zk-snarks
31
leo
29
snark
21
privacy
20
zero-knowledge-proofs
18
maat
17
zksnark
17
amareleo
17
zk-starks
16
plonk
15
cryptocurrency
15
encryption
14
groth16
14
miden
14
bulletproofs
14
proofs
13
vm
12
homomorphic-encryption
11
arkworks
11
air
11
r1cs
10
ristretto
10
halo2
10
solidity
9
web3
9
bitcoin
9
lattice
9
fhe
9
bfv
8
cryptocurrencies
8
secp256k1
8
cairo
7
zkboo
7
post-quantum
7
sdk
7
noir-lang
7
typescript
7
cli
6
paillier
6
circle-stark
6
protocol
6
computational-integrity
6
cuda
6
javascript
5
wasm
5
zcash
5
golang
5
homomorphic
5
foundry
5
poseidon
5
circom
5
nizk
5
nodejs
4
msm
4
proc-macro
4
orbinum
4
ecvrf
4
signatures
4
vrf
4
webassembly-runtime
4
zkwasm
4
verifiable-computation
4
security
4
secure-computation
4
category-theory
4
risc0
4
circuits
4
midnightntwrk
4
noir
4