Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "zero-knowledge" keyword

zkcg-zkvm-host 0.1.2
host for zkvm
3 versions - Latest release: 36 minutes ago - 24 downloads total - 1 maintainer
pflow-zk 0.3.0
ZK proof traits and incidence matrix extraction for Petri nets
2 versions - Latest release: 11 days ago - 50 downloads total - 1 stars on GitHub - 1 maintainer
pflow-zk-arkworks 0.3.0
Arkworks-based ZK prover for Petri nets (Groth16 + Poseidon over BN254)
2 versions - Latest release: 11 days ago - 31 downloads total - 1 stars on GitHub - 1 maintainer
pflow-zk-risc0 0.3.0
risc0 zkVM-based prover for Petri nets
2 versions - Latest release: 11 days ago - 31 downloads total - 1 stars on GitHub - 1 maintainer
sp1-stark 5.2.4
SP1 is a performant, 100% open-source, contributor-friendly zkVM.
43 versions - Latest release: 3 months ago - 741 thousand downloads total - 1,580 stars on GitHub - 1 maintainer
paillier-zk 0.4.3
ZK-proofs for Paillier encryption scheme
10 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 29.3 thousand downloads total - 92 stars on GitHub - 2 maintainers
sp1-recursion-circuit 6.0.2
Recursion circuit for SP1 proof aggregation
55 versions - Latest release: 11 days ago - 732 thousand downloads total - 1,580 stars on GitHub - 2 maintainers
sp1-recursion-gnark-ffi 6.0.2
FFI bindings to Gnark for SP1
55 versions - Latest release: 11 days ago - 734 thousand downloads total - 1,491 stars on GitHub - 2 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 4 years ago - 9 dependent packages - 44 dependent repositories - 209 thousand downloads total - 326 stars on GitHub - 3 maintainers
Top 5.7% on crates.io
risc0-zkvm 3.0.5
RISC Zero zero-knowledge VM
90 versions - Latest release: about 1 month ago - 18 dependent packages - 24 dependent repositories - 1.04 million downloads total - 1,204 stars on GitHub - 1 maintainer
barretenberg-rs 4.0.4
Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs
52 versions - Latest release: 5 days ago - 691 downloads total - 427 stars on GitHub - 1 maintainer
zkcg-verifier 0.1.2
Shared types, errors, and utilities for the ZKCG protocol
3 versions - Latest release: about 23 hours ago - 23 downloads total - 1 maintainer
zkcg-common 0.1.2
Shared types, errors, and utilities for the ZKCG protocol
3 versions - Latest release: about 23 hours ago - 66 downloads total - 1 maintainer
Top 5.5% on crates.io
ark-r1cs-std 0.5.0
A standard library for constraint system gadgets
9 versions - Latest release: over 1 year ago - 52 dependent packages - 167 dependent repositories - 4.38 million downloads total - 186 stars on GitHub - 1 maintainer
Top 8.0% on crates.io
acir_field 0.46.0
The field implementation being used by ACIR.
76 versions - Latest release: almost 2 years ago - 6 dependent packages - 2 dependent repositories - 136 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
brillig_vm 0.46.0
The virtual machine that processes Brillig bytecode, used to introduce non-determinism to the ACVM
33 versions - Latest release: almost 2 years ago - 2 dependent packages - 2 dependent repositories - 62.9 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acir 0.46.0
ACIR is the IR that the VM processes, it is analogous to LLVM IR
57 versions - Latest release: almost 2 years ago - 6 dependent packages - 2 dependent repositories - 126 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
bn254_blackbox_solver 0.46.0
Solvers for black box functions which are specific for the bn254 curve
5 versions - Latest release: almost 2 years ago - 6.81 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
brillig 0.46.0
Brillig is the bytecode ACIR uses for non-determinism.
39 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 53.6 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acvm_blackbox_solver 0.46.0
A solver for the blackbox functions found in ACIR and Brillig
24 versions - Latest release: almost 2 years ago - 4 dependent packages - 1 dependent repositories - 51.9 thousand downloads total - 1,318 stars on GitHub - 2 maintainers
acvm 0.46.0
The virtual machine that processes ACIR given a backend/proof system.
50 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 111 thousand downloads total - 879 stars on GitHub - 2 maintainers
cometbls 0.0.0
soon™
1 version - Latest release: about 2 years ago - 1.53 thousand downloads total - 58 stars on GitHub - 1 maintainer
snarkos-account 4.5.0
Account for a decentralized operating system
36 versions - Latest release: 3 days ago - 6 dependent packages - 2 dependent repositories - 33.9 thousand downloads total - 16 stars on GitHub - 1 maintainer
zkcg-halo2-prover 0.1.1
Prover crate for ZKCG — generate Halo2 proofs for off-chain computation + policy compliance
2 versions - Latest release: 2 days ago - 18 downloads total - 1 maintainer
curdleproofs 0.0.1
An implementation of the Curdleproofs shuffle zero-knowledge argument
5 versions - Latest release: over 3 years ago - 7.74 thousand downloads total - 69 stars on GitHub - 1 maintainer
lox-zkp 0.8.4
A toolkit for auto-generated implementations of Schnorr proofs
4 versions - Latest release: about 1 year ago - 2 dependent packages - 6.33 thousand downloads total - 0 stars on gitlab.torproject.org - 1 maintainer
Top 8.4% on crates.io
snarkos-objects
Objects for a decentralized operating system
4 versions - Latest release: 2 days ago - 11 dependent packages - 1 dependent repositories - 11.9 thousand downloads total - 4,476 stars on GitHub - 1 maintainer
zki_sieve 4.0.1
An implementation of SIEVE IR
3 versions - Latest release: over 2 years ago - 1 dependent repositories - 4.51 thousand downloads total - 8 stars on GitHub - 1 maintainer
amareleo-chain-resources 2.5.0
Resources for a lite Aleo development node
7 versions - Latest release: 9 months ago - 5.45 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 4.0% on crates.io
halo2_proofs 0.3.2
Fast PLONK-based zero-knowledge proving system with no trusted setup
9 versions - Latest release: 3 months ago - 9 dependent packages - 99 dependent repositories - 1.97 million downloads total - 860 stars on GitHub - 2 maintainers
darkfi-sdk
SDK used for developing smart contracts on DarkFi
1 version - Latest release: 2 days ago - 1.73 thousand downloads total - 1,285 stars on GitHub - 1 maintainer
aingle_zk 0.3.6
Zero-Knowledge Proofs for AIngle - privacy-preserving cryptographic primitives
4 versions - Latest release: 2 days ago - 118 downloads total - 0 stars on GitHub - 1 maintainer
blueprint-crypto-tangle-pair-signer 0.1.0-alpha.14
Pair signer for Tangle
14 versions - Latest release: 5 months ago - 11.8 thousand downloads total - 328 stars on GitHub - 2 maintainers
kzen-paillier 0.4.3
Efficient pure-Rust library for the Paillier partially homomorphic encryption scheme
4 versions - Latest release: about 3 years ago - 4 dependent packages - 11 dependent repositories - 160 thousand downloads total - 36 stars on GitHub - 2 maintainers
snarkvm-synthesizer-coinbase 0.13.0
Coinbase puzzle for a decentralized virtual machine
13 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 43.9 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
fermah-database 0.1.3
Fermah database for AVS.
3 versions - Latest release: over 1 year ago - 3.46 thousand downloads total - 9 stars on GitHub - 1 maintainer
grin_secp256k1zkp 0.7.15
Grin's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` li...
15 versions - Latest release: 3 days ago - 13 dependent packages - 53 dependent repositories - 173 thousand downloads total - 58 stars on GitHub - 3 maintainers
triton-constraint-circuit 2.0.0
AIR constraints build helper for Triton VM.
13 versions - Latest release: about 2 months ago - 33.4 thousand downloads total - 262 stars on GitHub - 3 maintainers
webb-bulletproofs 2.0.3
A pure-Rust implementation of Bulletproofs using Ristretto
4 versions - Latest release: over 4 years ago - 3 dependent packages - 2 dependent repositories - 10 thousand downloads total - 2 stars on GitHub - 3 maintainers
Top 7.5% on crates.io
snarkos-consensus 1.3.17
Consensus for a decentralized operating system
21 versions - Latest release: over 4 years ago - 6 dependent packages - 3 dependent repositories - 28.5 thousand downloads total - 16 stars on GitHub - 1 maintainer
blueprint-store-local-database 0.1.0-alpha.7
Local database storage provider for the Blueprint SDK
5 versions - Latest release: 4 months ago - 3.47 thousand downloads total - 333 stars on GitHub - 2 maintainers
Top 8.1% on crates.io
snarkos-algorithms
Algorithms for a decentralized operating system
6 versions - Latest release: 3 days ago - 16 dependent packages - 1 dependent repositories - 14.3 thousand downloads total - 4,489 stars on GitHub - 1 maintainer
Top 3.5% on crates.io
snarkvm-r1cs 0.12.2
R1CS for a decentralized virtual machine
57 versions - Latest release: over 2 years ago - 13 dependent packages - 32 dependent repositories - 413 thousand downloads total - 787 stars on GitHub - 1 maintainer
snarkos-node-metrics 4.5.0
A node for a decentralized operating system
36 versions - Latest release: 3 days ago - 8 dependent packages - 31.3 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
snarkos-node-sync-locators 4.5.0
Locators to synchronize a decentralized operating system
28 versions - Latest release: 3 days ago - 5 dependent packages - 2 dependent repositories - 25.1 thousand downloads total - 16 stars on GitHub - 1 maintainer
snarkos-node-sync-communication-service 4.5.0
A communication service for the sync module in a decentralized operating system
28 versions - Latest release: 3 days ago - 1 dependent package - 2 dependent repositories - 23.8 thousand downloads total - 4,505 stars on GitHub - 1 maintainer
snarkos-node-tcp 4.5.0
A TCP stack for a decentralized operating system
36 versions - Latest release: 3 days ago - 4 dependent packages - 2 dependent repositories - 33.9 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
snarkos-node-network 4.5.0
Network-related objects and traits for nodes
3 versions - Latest release: 3 days ago - 684 downloads total - 4,505 stars on GitHub - 1 maintainer
snarkvm-synthesizer-snark 4.5.0
SNARK wrappers for a decentralized virtual machine
63 versions - Latest release: 3 days ago - 7 dependent packages - 5 dependent repositories - 430 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 6.3% on crates.io
snarkvm-circuit-account 4.5.0
Account circuit library for a decentralized virtual machine
87 versions - Latest release: 3 days ago - 2 dependent packages - 13 dependent repositories - 668 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 4.8% on crates.io
snarkvm-circuit 4.5.0
Circuits for a decentralized virtual machine
87 versions - Latest release: 3 days ago - 9 dependent packages - 13 dependent repositories - 667 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-synthesizer-program 4.5.0
Program for a decentralized virtual machine
54 versions - Latest release: 3 days ago - 7 dependent packages - 3 dependent repositories - 402 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-batch-header 4.5.0
A batch header for a Narwhal-style memory pool in a decentralized virtual machine
43 versions - Latest release: 3 days ago - 5 dependent packages - 358 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-puzzle 4.5.0
Puzzle for a decentralized virtual machine
18 versions - Latest release: 3 days ago - 64.9 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-data 4.5.0
A batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
43 versions - Latest release: 3 days ago - 3 dependent packages - 353 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-ledger-narwhal-transmission-id 4.5.0
A transmission ID for a Narwhal-style memory pool in a decentralized virtual machine
43 versions - Latest release: 3 days ago - 7 dependent packages - 2 dependent repositories - 358 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 8.0% on crates.io
snarkvm-circuit-program 4.5.0
Program circuit library for a decentralized virtual machine
87 versions - Latest release: 3 days ago - 1 dependent package - 9 dependent repositories - 666 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkos-derives
Canonical serialization for a decentralized operating system
6 versions - Latest release: 3 days ago - 1 dependent package - 1 dependent repositories - 14.4 thousand downloads total - 4,470 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
snarkvm-console-types-string 4.5.0
Type operations for a decentralized virtual machine
87 versions - Latest release: 3 days ago - 2 dependent packages - 9 dependent repositories - 678 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
snarkvm-console-types-group 4.5.0
Type operations for a decentralized virtual machine
87 versions - Latest release: 3 days ago - 3 dependent packages - 13 dependent repositories - 688 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
tari_bulletproofs 4.4.1
A pure-Rust implementation of Bulletproofs using Ristretto
3 versions - Latest release: almost 3 years ago - 1 dependent package - 2 dependent repositories - 81.7 thousand downloads total - 3 stars on GitHub - 3 maintainers
aleo 0.6.8
Aleo
27 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 52.8 thousand downloads total - 34 stars on GitHub - 3 maintainers
risc0-zkos-v1compat 2.2.2
RISC Zero zero-knowledge VM kernel for v1 compatibility
14 versions - Latest release: about 1 month ago - 511 thousand downloads total - 2,084 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
risc0-zkvm-platform 2.2.2
RISC Zero zero-knowledge VM
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-aggregation 0.9.0
Proof aggregation for RISC Zero
16 versions - Latest release: 6 months ago - 115 thousand downloads total - 217 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
snarkvm-ledger-debug 0.16.17
A node ledger for a decentralized virtual machine
1 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
risc0-circuit-rv32im 4.0.4
RISC Zero circuit for rv32im
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
Top 5.5% on crates.io
snarkvm-console-types-integers 4.4.0
Type operations for a decentralized virtual machine
86 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 fields
8 versions - Latest release: 8 months ago - 22.6 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 5.9% on crates.io
merlin 3.0.0
Composable proof transcripts for public-coin arguments of knowledge
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
leo-core 1.6.3
Core library functions for the Leo programming language
9 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 protocol
6 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 machine
49 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 library
3 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 supertool
1 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 node
3 versions - Latest release: 12 months ago - 2.58 thousand downloads total - 8 stars on GitHub - 1 maintainer
air-codegen-winter 0.4.0
Winterfell code generator for the AirScript language
4 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 Blueprints
1 version - Latest release: about 1 year ago - 1.37 thousand downloads total - 328 stars on GitHub - 1 maintainer
verkle_pq 0.1.0
Quantum-resistant Verkle tree library built on quilibrium-verkle with CRYSTALS-Dilithium3 (ML-DSA...
1 version - Latest release: 4 days ago - 0 downloads total - 1 maintainer
Top 3.0% on crates.io
snarkvm-utilities 4.4.0
Utilities for a decentralized virtual machine
116 versions - Latest release: 3 months ago - 43 dependent packages - 66 dependent repositories - 855 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
taceo-circom-types 0.2.3
This crate provides a Rust representation of the types in the `Circom` ecosystem and ways to de/s...
7 versions - Latest release: 5 days ago - 36.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
credits 0.1.3
An SDK for interfacing with the credits program
4 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
snarkos-parameters 1.3.17
Parameters for a decentralized operating system
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
orbinum-zk-verifier 0.4.0
Zero-Knowledge proof verification - Groth16 on BN254 for Orbinum Network
3 versions - Latest release: 17 days ago - 38 downloads total - 0 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
snarkvm-console-program 4.4.0
Program operations for a decentralized virtual machine
86 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 toolchain
24 versions - Latest release: 5 days ago - 72.4 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-vm 0.21.2
Miden virtual machine
41 versions - Latest release: 5 days ago - 27.3 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-utils-sync 0.21.2
no-std compatible locking primitives for the Miden project
24 versions - Latest release: 5 days ago - 72.5 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
miden-core 0.21.2
Miden VM core components
46 versions - Latest release: 5 days ago - 12 dependent packages - 35 dependent repositories - 279 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.7% on crates.io
miden-verifier 0.21.2
Miden VM execution verifier
44 versions - Latest release: 5 days ago - 4 dependent packages - 34 dependent repositories - 236 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
miden-prover 0.21.2
Miden VM prover
43 versions - Latest release: 5 days ago - 3 dependent packages - 34 dependent repositories - 227 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-mast-package 0.21.2
Package containing a compiled Miden MAST artifact with declared dependencies and exports
28 versions - Latest release: 5 days ago - 79.1 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-assembly-syntax 0.21.2
Parsing and semantic analysis of the Miden Assembly language
24 versions - Latest release: 5 days ago - 72 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-processor 0.21.2
Miden VM processor
48 versions - Latest release: 5 days ago - 9 dependent packages - 34 dependent repositories - 244 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-air 0.21.2
Algebraic intermediate representation of Miden VM processor
45 versions - Latest release: 5 days ago - 6 dependent packages - 34 dependent repositories - 242 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-utils-diagnostics 0.21.2
Diagnostic infrastructure used in the Miden assembler and VM
24 versions - Latest release: 5 days ago - 71.7 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-test-utils 0.1.0
Test utilities for Miden VM programs
1 version - Latest release: 10 months ago - 1.15 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 6.8% on crates.io
miden-assembly 0.21.2
Miden VM assembly language
46 versions - Latest release: 5 days ago - 8 dependent packages - 34 dependent repositories - 245 thousand downloads total - 729 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
miden-stdlib 0.19.1
Miden VM standard library
35 versions - Latest release: 4 months ago - 5 dependent packages - 33 dependent repositories - 205 thousand downloads total - 729 stars on GitHub - 1 maintainer
Related Keywords
cryptography 450 rust 278 blockchain 206 aleo 177 decentralized 148 zkp 103 stark 84 zkvm 76 mpc 73 avs 72 virtual-machine 72 zksnarks 67 p2p 66 crypto 66 networking 65 multi-party-computation 65 distributed-systems 65 restaking 64 libp2p 64 sp1 62 succinct 58 risc-v 51 ethereum 45 compiler 43 programming-language 39 contributor-friendly 31 zk-snarks 31 modular 31 leo 27 zk 27 snark 21 rust-lang 21 mixnet 20 mixnets 20 privacy 19 amareleo 17 zksnark 17 cryptocurrency 15 bulletproofs 14 plonk 13 proofs 13 groth16 13 miden 13 zero-knowledge-proofs 12 arkworks 11 homomorphic-encryption 11 encryption 11 vm 10 ristretto 10 r1cs 10 zk-starks 10 fhe 9 lattice 9 air 9 web3 9 solidity 9 halo2 9 bitcoin 9 cryptocurrencies 8 bfv 8 secp256k1 8 noir-lang 7 typescript 7 sdk 7 paillier 6 post-quantum 5 cuda 5 circom 5 cli 5 javascript 5 homomorphic 5 wasm 5 foundry 5 zcash 5 nizk 5 protocol 5 golang 5 poseidon 4 verifiable-computation 4 orbinum 4 language 4 noir 4 nodejs 4 ntt 4 bls12-381 4 hash 4 risc0 4 zkwasm 4 signatures 4 webassembly-runtime 4 ecvrf 4 prover 4 vrf 4 secure-computation 4 cryptoagorithms 4 msm 3 ecc 3 plonky2 3 program 3 jolt 3