crates.io "zero-knowledge" keyword
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: about 2 years ago - 1.52 thousand downloads total - 84 stars on GitHub - 2 maintainers
barretenberg-rs 4.3.0
Rust bindings for Barretenberg, a C++ cryptographic library for zero-knowledge proofs290 versions - Latest release: 4 days ago - 5.39 thousand downloads total - 433 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
10 versions - Latest release: 27 days ago - 52 dependent packages - 167 dependent repositories - 5.97 million downloads total - 188 stars on GitHub - 1 maintainer
ark-r1cs-std 0.6.0
A standard library for constraint system gadgets10 versions - Latest release: 27 days ago - 52 dependent packages - 167 dependent repositories - 5.97 million downloads total - 188 stars on GitHub - 1 maintainer
sp1-recursion-gnark-ffi 6.2.2
FFI bindings to Gnark for SP159 versions - Latest release: 1 day ago - 964 thousand downloads total - 1,675 stars on GitHub - 2 maintainers
zkpush-crypto 0.0.1
Name reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkp...1 version - Latest release: about 1 month ago - 12 downloads total - 1 maintainer
Top 8.1% on crates.io
40 versions - Latest release: about 1 month ago - 10 dependent packages - 3 dependent repositories - 41.4 thousand downloads total - 4,799 stars on GitHub - 3 maintainers
leo-errors 4.0.1
Errors for the Leo programming language40 versions - Latest release: about 1 month ago - 10 dependent packages - 3 dependent repositories - 41.4 thousand downloads total - 4,799 stars on GitHub - 3 maintainers
mozak-protocol 0.0.1
Reserved for Mozak1 version - Latest release: over 2 years ago - 1.52 thousand downloads total - 4 maintainers
coldstar-zk 0.2.0
Zero-knowledge proof engine for Coldstar cold wallet — Schnorr ownership proofs, Pedersen range p...1 version - Latest release: 2 months ago - 90 downloads total - 1 maintainer
snarkvm-errors
Errors for a decentralized virtual machine5 versions - Latest release: about 6 hours ago - 26 dependent packages - 18.6 thousand downloads total - 1,142 stars on GitHub - 1 maintainer
gadget-core 0.0.1
Tangle's gadget core library for writing Tangle blueprints1 version - Latest release: almost 2 years ago - 1.52 thousand downloads total - 331 stars on GitHub - 2 maintainers
Top 6.6% on crates.io
61 versions - Latest release: about 2 months ago - 16 dependent packages - 19 dependent repositories - 169 thousand downloads total - 630 stars on GitHub - 1 maintainer
dusk-plonk 0.22.0
A pure-Rust implementation of the PLONK ZK-Proof algorithm61 versions - Latest release: about 2 months ago - 16 dependent packages - 19 dependent repositories - 169 thousand downloads total - 630 stars on GitHub - 1 maintainer
clsag 0.3.0
Compact Linkable Spontaneous Anonymous Group construction5 versions - Latest release: about 6 years ago - 7.39 thousand downloads total - 19 stars on GitHub - 2 maintainers
blueprint-metadata 0.2.1
A build dependency for generating metadata for Blueprint at compile time.10 versions - Latest release: over 1 year ago - 13.7 thousand downloads total - 326 stars on GitHub - 2 maintainers
leo-asg 1.5.3
ASG of the Leo programming language10 versions - Latest release: almost 5 years ago - 3 dependent packages - 2 dependent repositories - 15.2 thousand downloads total - 4,799 stars on GitHub - 2 maintainers
incredible-squaring-blueprint-lib 0.2.0-alpha.9
Example Tangle blueprint demonstrating job processing across local/FaaS execution and single/mult...2 versions - Latest release: about 10 hours ago - 25 downloads total - 338 stars on GitHub - 1 maintainer
cargo-tangle 0.3.3
A command-line tool to create and deploy blueprints on Tangle Network39 versions - Latest release: over 1 year ago - 23.2 thousand downloads total - 338 stars on GitHub - 2 maintainers
blueprint-manager 0.2.2
Tangle Blueprint manager and Runner36 versions - Latest release: over 1 year ago - 17 thousand downloads total - 338 stars on GitHub - 3 maintainers
leo-synthesizer 1.5.3
Circuit synthesizer of the Leo programming language7 versions - Latest release: almost 5 years ago - 2 dependent packages - 2 dependent repositories - 10 thousand downloads total - 4,812 stars on GitHub - 2 maintainers
aigc_secp256k1zkp 0.7.12
Aigc's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` li...1 version - Latest release: almost 3 years ago - 1 dependent package - 6.36 thousand downloads total - 1 maintainer
qssm-proofs 0.1.0
Formal invariants, reductions, and hardness gates for QSSM Engine A/B binding.1 version - Latest release: about 1 month ago - 12 downloads total - 0 stars on GitHub - 1 maintainer
polkaguard 0.5.2
A comprehensive Rust CLI tool for analyzing Solidity smart contracts targeting PolkaVM deployment...3 versions - Latest release: 11 months ago - 1.4 thousand downloads total - 0 stars on GitHub - 1 maintainer
snarkos-benchmarks
Benchmarks for a decentralized operating system2 versions - Latest release: about 15 hours ago - 2.3 thousand downloads total - 16 stars on GitHub - 1 maintainer
gadget-blueprint-serde 0.3.1
Tangle Blueprints serde integration5 versions - Latest release: over 1 year ago - 6.12 thousand downloads total - 335 stars on GitHub - 2 maintainers
sp1-stark 5.2.4
SP1 is a performant, 100% open-source, contributor-friendly zkVM.43 versions - Latest release: 5 months ago - 866 thousand downloads total - 1,644 stars on GitHub - 1 maintainer
paillier-zk 0.4.3
ZK-proofs for Paillier encryption scheme11 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 37.4 thousand downloads total - 126 stars on GitHub - 2 maintainers
zkpush-sender-rust 0.0.1
This package name is reserved by the ZKPush project as a defensive registration. It will never be...1 version - Latest release: about 1 month ago - 12 downloads total - 1 maintainer
leo-test-framework 4.0.2
The testing framework for the Leo programming language45 versions - Latest release: about 1 month ago - 2 dependent packages - 2 dependent repositories - 38.4 thousand downloads total - 4,799 stars on GitHub - 4 maintainers
spongefish-pow 0.7.1
Proof-of-work challenge grinding for spongefish Fiat-Shamir transcripts9 versions - Latest release: 5 days ago - 177 downloads total - 94 stars on GitHub - 1 maintainer
sunscreen_bulletproofs 0.8.1
A pure-Rust implementation of Bulletproofs using Ristretto2 versions - Latest release: over 2 years ago - 2 dependent packages - 5.68 thousand downloads total - 66 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: over 2 years ago - 1 dependent package - 3 dependent repositories - 74.5 thousand downloads total - 22 stars on GitHub - 1 maintainer
zkwork_aleo_protocol 0.3.6
A protocol lib for aleo pool12 versions - Latest release: over 3 years ago - 1 dependent repositories - 14.9 thousand downloads total - 4 stars on GitHub - 1 maintainer
zkpush-recipient-mcp 0.0.1
This package name is reserved by the ZKPush project as a defensive registration. It will never be...1 version - Latest release: about 1 month ago - 10 downloads total - 1 maintainer
Top 5.7% on crates.io
90 versions - Latest release: 4 months ago - 18 dependent packages - 24 dependent repositories - 1.26 million downloads total - 1,204 stars on GitHub - 1 maintainer
risc0-zkvm 3.0.5
RISC Zero zero-knowledge VM90 versions - Latest release: 4 months ago - 18 dependent packages - 24 dependent repositories - 1.26 million downloads total - 1,204 stars on GitHub - 1 maintainer
Top 7.1% on crates.io
85 versions - Latest release: 4 months ago - 3 dependent packages - 19 dependent repositories - 1.23 million downloads total - 1,350 stars on GitHub - 1 maintainer
risc0-circuit-rv32im 4.0.4
RISC Zero circuit for rv32im85 versions - Latest release: 4 months ago - 3 dependent packages - 19 dependent repositories - 1.23 million downloads total - 1,350 stars on GitHub - 1 maintainer
Top 9.1% on crates.io
74 versions - Latest release: 4 months ago - 1 dependent package - 17 dependent repositories - 647 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: 4 months ago - 1 dependent package - 17 dependent repositories - 647 thousand downloads total - 1,350 stars on GitHub - 1 maintainer
brillig 0.46.0
Brillig is the bytecode ACIR uses for non-determinism.41 versions - Latest release: about 2 years ago - 2 dependent packages - 1 dependent repositories - 64 thousand downloads total - 1,347 stars on GitHub - 2 maintainers
Top 5.5% on crates.io
25 versions - Latest release: over 4 years ago - 8 dependent packages - 7 dependent repositories - 53 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
snarkos-storage 2.0.2
Storage for a decentralized operating system25 versions - Latest release: over 4 years ago - 8 dependent packages - 7 dependent repositories - 53 thousand downloads total - 4,479 stars on GitHub - 1 maintainer
sp1-gpu-jagged-sumcheck 6.2.2
GPU-accelerated sumcheck for jagged polynomials9 versions - Latest release: 1 day ago - 495 downloads total - 1,668 stars on GitHub - 1 maintainer
sp1-gpu-jagged-assist 6.2.2
GPU helper kernels for jagged polynomial operations9 versions - Latest release: 1 day ago - 547 downloads total - 1,668 stars on GitHub - 1 maintainer
sp1-gpu-jagged-tracegen 6.2.2
GPU trace generation for jagged/stacked polynomials9 versions - Latest release: 1 day ago - 602 downloads total - 1,668 stars on GitHub - 1 maintainer
sp1-gpu-utils 6.2.2
Utility functions for SP1 GPU operations9 versions - Latest release: 1 day ago - 865 downloads total - 1,668 stars on GitHub - 1 maintainer
sp1-cuda 6.2.2
CUDA integration for SP1 GPU proving52 versions - Latest release: 1 day ago - 784 thousand downloads total - 1,668 stars on GitHub - 1 maintainer
sp1-verifier 6.2.2
Verifier for SP1 Groth16 and Plonk proofs.42 versions - Latest release: 1 day ago - 317 thousand downloads total - 1,668 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
90 versions - Latest release: about 1 month ago - 2 dependent packages - 9 dependent repositories - 687 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
snarkvm-console-program 4.6.1
Program operations for a decentralized virtual machine90 versions - Latest release: about 1 month ago - 2 dependent packages - 9 dependent repositories - 687 thousand downloads total - 1,152 stars on GitHub - 1 maintainer
ockam_credential 💰
Attribute based, privacy preserving, anonymous credentials.3 versions - Latest release: about 1 month ago - 3.46 thousand downloads total - 4,612 stars on GitHub - 3 maintainers
slop-jagged 6.2.2
Jagged sparse-to-dense polynomial adapter for SLOP9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1,660 stars on GitHub - 1 maintainer
slop-stacked 6.2.2
Stacked polynomial commitment scheme for SLOP9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1 maintainer
slop-uni-stark 6.2.2
Re-exports p3_uni_stark from Plonky3 for SLOP9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1,601 stars on GitHub - 1 maintainer
sp1-hypercube 6.2.2
The SP1 Hypercube proof system9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1,644 stars on GitHub - 1 maintainer
slop-sumcheck 6.2.2
Sumcheck protocol implementation for multilinear polynomials9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1 maintainer
slop-whir 6.2.2
WHIR polynomial commitment scheme for SLOP9 versions - Latest release: 1 day ago - 112 thousand downloads total - 1,660 stars on GitHub - 1 maintainer
sp1-derive 6.2.2
Procedural macros for SP162 versions - Latest release: 1 day ago - 1.01 million downloads total - 1,587 stars on GitHub - 2 maintainers
sp1-jit 6.2.2
JIT compilation for SP1 trace generation9 versions - Latest release: 1 day ago - 111 thousand downloads total - 1,604 stars on GitHub - 1 maintainer
slop-challenger 6.2.2
Fiat-Shamir challenger with SP1-specific extensions for SLOP9 versions - Latest release: 1 day ago - 144 thousand downloads total - 1 maintainer
slop-poseidon2 6.2.2
Re-exports p3_poseidon2 from Plonky3 for SLOP9 versions - Latest release: 1 day ago - 144 thousand downloads total - 1 maintainer
slop-bn254 6.2.2
BN254 scalar field with Poseidon2 for outer proving in SLOP9 versions - Latest release: 1 day ago - 143 thousand downloads total - 1 maintainer
slop-symmetric 6.2.2
Re-exports p3_symmetric from Plonky3 for SLOP9 versions - Latest release: 1 day ago - 144 thousand downloads total - 1 maintainer
aleo-wasm 0.7.1
WebAssembly based toolkit for developing zero-knowledge applications with Aleo24 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 30.6 thousand downloads total - 616 stars on GitHub - 2 maintainers
sp1-prover 6.2.1
The SP1 prover implementation59 versions - Latest release: 9 days ago - 945 thousand downloads total - 1,668 stars on GitHub - 2 maintainers
sp1-sdk 6.2.1
The SP1 SDK for building and proving zkVM programs64 versions - Latest release: 9 days ago - 944 thousand downloads total - 1,668 stars on GitHub - 2 maintainers
sp1-recursion-circuit 6.2.1
Recursion circuit for SP1 proof aggregation58 versions - Latest release: 9 days ago - 957 thousand downloads total - 1,668 stars on GitHub - 2 maintainers
plonkwasm 0.1.0
WebAssembly wrapper for dusk-plonk.1 version - Latest release: 1 day ago - 0 downloads total - 1 maintainer
zkryptium 0.6.1
Rust crypto library for zero-knowledge proofs22 versions - Latest release: 4 months ago - 1 dependent package - 187 thousand downloads total - 20 stars on GitHub - 2 maintainers
zks_crypt 0.1.0
Cryptographic primitives for ZKS Protocol - post-quantum secure encryption1 version - Latest release: 5 months ago - 285 downloads total - 1 maintainer
msm-webgpu 0.1.0
Multi-Scalar Multiplication (MSM) implementation for WebGPU.1 version - Latest release: about 1 year ago - 561 downloads total - 17 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
51 versions - Latest release: about 2 months ago - 9 dependent packages - 34 dependent repositories - 290 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-processor 0.22.1
Miden VM processor51 versions - Latest release: about 2 months ago - 9 dependent packages - 34 dependent repositories - 290 thousand downloads total - 729 stars on GitHub - 1 maintainer
vk-separate 0.2.2
A CLI tool to remove Committer key from Verification key in Nova protocol4 versions - Latest release: over 1 year ago - 2.88 thousand downloads total - 0 stars on GitHub - 1 maintainer
risc0-aggregation 0.9.0
Proof aggregation for RISC Zero16 versions - Latest release: 9 months ago - 149 thousand downloads total - 227 stars on GitHub - 2 maintainers
arecibo 0.1.1
Recursive zkSNARKs without trusted setup2 versions - Latest release: over 2 years ago - 1 dependent package - 5.7 thousand downloads total - 86 stars on GitHub - 2 maintainers
pasta-msm 0.1.5
Optimized multiscalar multiplicaton for Pasta moduli for x86_64 and aarch646 versions - Latest release: 9 months ago - 4 dependent packages - 4 dependent repositories - 44.4 thousand downloads total - 24 stars on GitHub - 2 maintainers
cs_mwc_secp256k1zkp 0.7.16
Mwc's fork with Zero-Knowledge extensions of Rust bindings for Pieter Wuille's `libsecp256k1` lib...1 version - Latest release: 8 months ago - 1.9 thousand downloads total - 0 stars on GitHub - 1 maintainer
fermah-seek 0.2.0
Fermah ZK proof seeking.2 versions - Latest release: over 1 year ago - 2.24 thousand downloads total - 9 stars on GitHub - 1 maintainer
amareleo-node 2.5.0
A node for a lite Aleo development node7 versions - Latest release: 11 months ago - 5.78 thousand downloads total - 8 stars on GitHub - 1 maintainer
Top 5.5% on crates.io
21 versions - Latest release: over 4 years ago - 9 dependent packages - 44 dependent repositories - 220 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 - 220 thousand downloads total - 325 stars on GitHub - 3 maintainers
sindri-cli 0.3.1
A command-line interface for interacting with Sindri's API5 versions - Latest release: 10 months ago - 2.86 thousand downloads total - 2 stars on GitHub - 2 maintainers
mozak-lib 0.0.1
Reserved for Mozak1 version - Latest release: over 2 years ago - 1.51 thousand downloads total - 4 maintainers
dusk-safe 0.3.0
Sponge API for Field Elements5 versions - Latest release: over 1 year ago - 1 dependent package - 35.1 thousand downloads total - 3 stars on GitHub - 1 maintainer
plonk_gadgets 0.6.0
A collection of generic gadgets for the PLONK ZK-Proof algorithm3 versions - Latest release: almost 5 years ago - 1 dependent package - 5.94 thousand downloads total - 13 stars on GitHub - 1 maintainer
amareleo-chain-resources 2.5.0
Resources for a lite Aleo development node7 versions - Latest release: 11 months ago - 5.71 thousand downloads total - 8 stars on GitHub - 1 maintainer
sp1-recursion-program 2.0.0
SP1 is a performant, 100% open-source, contributor-friendly zkVM.12 versions - Latest release: over 1 year ago - 72.5 thousand downloads total - 1,640 stars on GitHub - 2 maintainers
zkpush 0.0.1
This package name is reserved by the ZKPush project as a defensive registration. It will never be...1 version - Latest release: about 1 month ago - 13 downloads total - 1 maintainer
slop-maybe-rayon 6.1.0
Re-exports p3_maybe_rayon from Plonky3 for SLOP6 versions - Latest release: about 1 month ago - 29.9 thousand downloads total - 1,640 stars on GitHub - 1 maintainer
leo-linter 1.5.3
Linter of the Leo programming language18 versions - Latest release: almost 5 years ago - 22.8 thousand downloads total - 4,791 stars on GitHub - 2 maintainers
zkpush-sender-binary 0.0.1
Name reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkp...1 version - Latest release: about 1 month ago - 12 downloads total - 1 maintainer
blueprint-chain-setup-anvil 0.2.0-alpha.8
Anvil-specific chain setup utilities29 versions - Latest release: 2 days ago - 14.8 thousand downloads total - 339 stars on GitHub - 3 maintainers
blueprint-anvil-testing-utils 0.2.0-alpha.8
Anvil testing utilities for Tangle Blueprints29 versions - Latest release: 2 days ago - 12.1 thousand downloads total - 339 stars on GitHub - 3 maintainers
blueprint-core-testing-utils 0.2.0-alpha.8
Core primitives for testing Tangle Blueprints29 versions - Latest release: 2 days ago - 14 thousand downloads total - 339 stars on GitHub - 3 maintainers
gadget-client-core 0.1.0
Core primitives for Tangle Blueprint clients1 version - Latest release: over 1 year ago - 900 downloads total - 335 stars on GitHub - 2 maintainers
ark-mpc 0.1.2
Malicious-secure SPDZ style two party secure computation3 versions - Latest release: over 2 years ago - 4.65 thousand downloads total - 57 stars on GitHub - 1 maintainer
spongefish-circuit 0.7.1
Circuits for proving relations over spongefish transcripts9 versions - Latest release: 5 days ago - 269 downloads total - 94 stars on GitHub - 1 maintainer
mozak-proto 0.0.1
Reserved for Mozak1 version - Latest release: over 2 years ago - 1.54 thousand downloads total - 4 maintainers
fermah-common 0.2.0
Fermah common utilities and types.3 versions - Latest release: over 1 year ago - 4.42 thousand downloads total - 9 stars on GitHub - 1 maintainer
Top 7.9% on crates.io
3 versions - Latest release: about 6 years ago - 1 dependent package - 14 dependent repositories - 1.48 million downloads total - 902 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 6 years ago - 1 dependent package - 14 dependent repositories - 1.48 million downloads total - 902 stars on GitHub - 2 maintainers
miden 0.12.0
Miden SDK16 versions - Latest release: about 1 month ago - 33 dependent repositories - 77.8 thousand downloads total - 584 stars on GitHub - 1 maintainer
dusk-schnorr 0.18.0
A pure-Rust implementation of Schnorr signatures with a PLONK circuit module additionally20 versions - Latest release: over 2 years ago - 5 dependent packages - 6 dependent repositories - 41 thousand downloads total - 13 stars on GitHub - 1 maintainer
stark-cat 0.1.0
STARK proof system (AIR + FRI low-degree test) built on proof-cat-core and field-cat1 version - Latest release: 3 days ago - 0 downloads total - 1 maintainer
Top 6.8% on crates.io
49 versions - Latest release: about 2 months ago - 8 dependent packages - 34 dependent repositories - 290 thousand downloads total - 729 stars on GitHub - 1 maintainer
miden-assembly 0.22.1
Miden VM assembly language49 versions - Latest release: about 2 months ago - 8 dependent packages - 34 dependent repositories - 290 thousand downloads total - 729 stars on GitHub - 1 maintainer
proof-cat-core 0.1.0
Field-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by pro...1 version - Latest release: 3 days ago - 0 downloads total - 1 maintainer
vm-cat 0.3.0
Provable stack-machine VM built on machine-cat4 versions - Latest release: 3 days ago - 33 downloads total - 1 maintainer
machine-cat 0.3.0
Generic AIR chip framework built on proof-cat-core4 versions - Latest release: 3 days ago - 62 downloads total - 1 maintainer
Related Keywords
cryptography
479
rust
352
blockchain
226
decentralized
193
aleo
181
zkp
116
zkvm
102
stark
99
sp1
82
mpc
81
avs
80
succinct
77
virtual-machine
74
p2p
74
distributed-systems
73
multi-party-computation
73
networking
73
zksnarks
73
libp2p
72
restaking
72
crypto
66
rust-lang
65
mixnet
64
mixnets
64
compiler
64
ethereum
59
zk
54
risc-v
51
modular
44
contributor-friendly
44
programming-language
43
zk-snarks
31
leo
31
snark
24
midnightntwrk
22
plonk
22
privacy
21
zero-knowledge-proofs
20
zk-starks
18
maat
17
zksnark
17
amareleo
17
groth16
16
encryption
15
cryptocurrency
15
miden
14
bulletproofs
14
proofs
13
vm
12
air
12
homomorphic-encryption
11
arkworks
11
ristretto
10
e2e-encryption
10
r1cs
10
halo2
10
push-notifications
10
solidity
10
fhe
9
post-quantum
9
lattice
9
bitcoin
9
web3
9
cli
8
cryptocurrencies
8
secp256k1
8
bfv
8
computational-integrity
8
wasm
8
sdk
7
typescript
7
cairo
7
noir-lang
7
zkboo
7
circle-stark
6
bn254
6
poseidon
6
category-theory
6
cuda
6
paillier
6
fiat-shamir
6
protocol
6
verifier
6
zcash
5
circuits
5
golang
5
circom
5
foundry
5
homomorphic
5
solana
5
javascript
5
verifiable-computation
5
nizk
5
hash
4
ecvrf
4
secure-computation
4
cryptoagorithms
4
proc-macro
4
ntt
4
security
4