BROWSE A-Z

All 305,250 crates, alphabetically

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.

zk-coreCore cryptographic primitives for Soroban ZK Standard.23Apache-2.0 zk-cuda-backendCuda implementation of TFHE-rs' ZK primitives.848BSD-3-Clause-Clear zk-enginezkWASM with SuperNova Backend1,305MIT zk-kit-imtIncremental Merkle Tree23,454MIT zk-kit-lean-imtLean Incremental Merkle Tree4,028MIT zk-kit-pmtGeneric for storage Merkle Tree (sparse & fixed-size) in Rust2,507MIT zk-kit-smtSparse Merkle Tree3,664MIT zk-loaderCLI application for downloading and uploading zookeeper znodes data5,802MIT OR Apache-2.0 Command line utilities zk-matrixZero-Knowledge Proofs for Linear Algebra1,555MIT zk-mutantMutation testing for Noir circuits56MIT Command line utilities Development tools::Testing zk-paillierCollection of Paillier cryptosystem zero knowledge proofs written in Rust156,899GPL-3.0-or-later Algorithms Cryptography zk-paillier-lscCollection of Paillier cryptosystem zero knowledge proofs written in Rust2,784GPL-3.0-or-later Algorithms Cryptography zk-protocolShared protocol types for the ZK attestation service — any agent can use these to compose AttestRequest/AttestResponse.671MIT Cryptography Web programming zk-proverRust wrapper around Nargo and Barretenberg to generate and verify zero-knowledge proofs using Noir circuits1,049MIT OR Apache-2.0 Command line utilities Cryptography zk-psi-verifierZero-knowledge Private Set Intersection verifier using Halo2 for zkVerify209MIT zk-scribbleTrace mutation fuzzer for Hekate ZK programs and chiplets. Tampers valid traces and asserts preflight catches every mutation.221MIT Cryptography Development tools::Testing zk-starkzk stark rust library1,652Unlicense zk-wasmA verifiable WebAssembly run-time that's provable by ZKP1,579Apache-2.0 zk-wasmerA zk-friendly virtual machine for WebAssembly1,556MIT AND Apache-2.0 zk-wasmiA zk-friendly WebAssembly interpreter1,550MIT AND Apache-2.0 zk-wasmtimeA zk-friendly virtual machine for WebAssembly1,560MIT AND Apache-2.0 zk_coinjoin_libZK Proof library for Coinjoin3,878MIT zk_databaseA library that enables ZKP to NoSQL databases.3,445MIT zk_disorderZK-Disorder, A Hyperchaoic, Quantum Resistant, Fastest & Cheapest zk encryption on solana.36MIT zk_evmZKsync out-of-circuit EraEVM implementation2,373,152MIT OR Apache-2.0 Cryptography zk_evm_abstractionsZKsync EraVM abstractions1,568,092MIT OR Apache-2.0 Cryptography zk_evm_commonCommon types and utility methods for the Polygon Zero zkEVM.2,206MIT OR Apache-2.0 Cryptography::Cryptocurrencies zk_evm_proc_macroProcedural Macros for Polygon Zero zkEVM2,632MIT OR Apache-2.0 zk_hack_pendzl_lang_codegenpendzl codegeneration for macros in `pendzl_lang_macro`.1,519MIT Embedded development No standard library zk_merkle_treeMerkle Tree Implementation1,637MIT zk_os_merkle_treePersistent ZK OS Merkle tree5,275MIT OR Apache-2.0 Cryptography zk_os_tree_managerZK OS tree manager node component4,276MIT OR Apache-2.0 Cryptography zk_secp256k1secp256k1 Implementation1,639MIT zkAZero-Knowldege zkAccounting1,606MIT zkaisZero-Knowledge Accounting Information System1,530MIT zkat-workshop-example-cliKat's example crate for a workshop3,209MIT zkat-workshop-example-libit's a library!1,542MIT zkbenchA reproducible proof-generation benchmarker for Noir ZK circuits16MIT OR Apache-2.0 Command line utilities Development tools zkbooAn implementation of the ZKBoo protocol.542LGPL-3.0-or-later Cryptography No standard library zkboo-circuit-hashCryptographic fingerprinting for ZKBoo circuits.32LGPL-3.0-or-later Cryptography No standard library zkboo-eccElliptic curve cryptography primitives for the ZKBoo ecosystem.31LGPL-3.0-or-later Cryptography No standard library zkboo-hmacHMAC primitives for the ZKBoo ecosystem.29LGPL-3.0-or-later Cryptography No standard library zkboo-modularModular arithmetic primitives for the ZKBoo ecosystem.130LGPL-3.0-or-later Cryptography No standard library zkboo-profilingProfiling backend for ZKBoo circuits.29LGPL-3.0-or-later Cryptography No standard library zkboo-sha2SHA-2 primitives for the ZKBoo ecosystem.123LGPL-3.0-or-later Cryptography No standard library zkbookZero-Knowlege Bookkeeping1,516MIT zkcA compiler specifically optimized for the ISA of zkVM.792Apache-2.0 WITH LLVM-exception zkcg-circuitsZero-knowledge circuits for the ZKCG protocol178Apache-2.0 Cryptography zkcg-commonShared types, errors, and utilities for the ZKCG protocol418Apache-2.0 Cryptography Data structures zkcg-verifierZKCG proof verifier supporting Halo2 circuits and zkVM execution receipts178Apache-2.0 Cryptography Data structures zkcg-zkvm-hosthost for zkvm163Apache-2.0 Cryptography Data structures zkcrossA zk bridge for WebAssembly based blockchain networks1,561MIT AND Apache-2.0 zkdatabaseA distributed off-chain database that's provable by ZKP1,581Apache-2.0 zkdbA distributed off-chain database that's provable by ZKP1,530Apache-2.0 zkdoc_cliCLI for zkdoc that allows generation of commitment, proof and verification of proof.2,966MIT zkdoc_sdkSDK for zkdoc allowing plug and play with any application3,286MIT zkevm-assemblyThe zkEVM common utilities176,992MIT OR Apache-2.0 Cryptography zkevm-hashesLibrary of ZK gadgets for hash functions in halo2. This is Axiom's modification of the circuits in the zkEVM project.8,350MIT OR Apache-2.0 zkevm_circuitsZKsync Era circuits for EraVM930,369MIT OR Apache-2.0 Cryptography zkevm_opcode_defsZKsync EraVM opcode definitions2,017,422MIT OR Apache-2.0 Cryptography zkevm_test_harnessZKsync Era proving utilities191,437MIT OR Apache-2.0 Cryptography zkfsA Zookeeper command-line tool with Linux-like file system commands79MIT Command line utilities zkhashRust implementations of Poseidon2 and similar arithmetization-oriented primitives1,396,921MIT OR Apache-2.0 zkhash-axiomRust implementations of Poseidon2 and similar arithmetization-oriented primitives5,720MIT OR Apache-2.0 zki_sieveAn implementation of SIEVE IR4,564MIT zkinkzk ink! pallet1,613Apache-2.0 zkinterfaceAn implementation of zkInterface32,748MIT zkinterface-libsnarkWrapper for libsnark / gadgetlib through zkInterface3,067MIT zkinterface_bellmanBellman circuit construction and proving system for zkInterface6,537MIT zkledgerzero-knowledge ledger1,544MIT zklenseA command-line tool for profiling, building, and deploying zero-knowledge proofs built with Noir for Solana Blockchain100MIT OR Apache-2.0 Command line utilities Development tools zkliCli around zookeeper4,932WTFPL zkllvm-rslang-typeszkLLVM field type wrappers1,195MIT OR Apache-2.0 zkllvm-rslang-types-prezkLLVM field type wrappers2,367MIT OR Apache-2.0 zkmatrixzk-SNAKR for linear algebra2,858MIT zkmcu-host-genGenerates Groth16/BN254 test vectors in EIP-197 format via arkworks, for use by zkmcu-vectors24MIT OR Apache-2.0 Command line utilities Cryptography zkmcu-vectorsBaked-in Groth16/BN254 test vectors (EIP-197 format) for zkmcu-verifier23MIT OR Apache-2.0 Cryptography Embedded development zkmcu-verifierno_std Groth16/BN254 zk-SNARK verifier for ARM Cortex-M and RISC-V microcontrollers65MIT OR Apache-2.0 Cryptography Embedded development zkmemoryAn universal memory prover in Zero-Knowledge Proof2,758Apache-2.0 Cryptography zkmlZero-knowledge machine learning1,496AGPL-3.0-or-later zkmqSimple Rust Message Queue, backed by Zookeeper16,525Apache-2.0 Concurrency zkopsRust traits for ZK operations.1,497GPL-3.0-only zkoracleA provable oracle in ZKP1,608Apache-2.0 zkpA toolkit for auto-generated implementations of Schnorr proofs30,121CC0-1.0 Cryptography zkp-criterion-utilsCriterion helpers to benchmark over size and number of processors5,480Apache-2.0 Rust patterns zkp-elliptic-curveA crypto-grade elliptic curve over `primefield`5,561Apache-2.0 Algorithms Cryptography zkp-elliptic-curve-cryptoPedersen commitments and digital signatures4,649Apache-2.0 Algorithms Cryptography zkp-error-utilsAssertion like macros for returning `Result::Err`5,519Apache-2.0 No standard library Rust patterns zkp-hashHash primitive used in `zkp-stark`5,534Apache-2.0 Algorithms Cryptography zkp-logging-allocatorWrapper around the system allocator that logs large allocations5,334Apache-2.0 Algorithms Memory management zkp-macros-declProcedural macros10,771Apache-2.0 Rust patterns zkp-macros-implImplementation crate for `proc_macro_hack`11,305Apache-2.0 Rust patterns zkp-macros-libLibrary of procedural macros implemented using `proc_macro2`11,636Apache-2.0 Rust patterns zkp-merkle-treeMerkle tree based vector commitment4,847Apache-2.0 Algorithms Cryptography zkp-mmap-vecReplacement for `Vec` that uses file-backed storage6,117Apache-2.0 Algorithms Memory management zkp-primefieldA 251-bit prime field suitable for FFTs.9,074Apache-2.0 Algorithms Cryptography zkp-starkImplementation of the STARK ZK-proof system7,164Apache-2.0 Algorithms Cryptography zkp-u256Performant implementation of 256-bit unsigned integers36,382Apache-2.0 Algorithms Cryptography zkp_fiat_shamir_libA Rust library for non-interactive ZKP Fiat-Shamir927MIT Algorithms Cryptography zkp_grpc_clientThe client using gRPC for ZKP(Zero Knowledge Proof) using chaum pedersen algorithm1,467MIT OR Apache-2.0 zkp_grpc_serverThe server using gRPC for ZKP(Zero Knowledge Proof) using chaum pedersen algorithm1,514MIT OR Apache-2.0 zkp_protobufThe gRPC protocol for ZKP(Zero Knowledge Proof) using chaum pedersen algorithm2,130MIT OR Apache-2.0 zkpipZero-Knowledge Proof Improvement Proposals (ZKPIP) main crate.380Apache-2.0 zkpip-placeholderZKPIP namespace placeholder (reserved).380Apache-2.0 zkplmtZero-knowledge Proof of Linear Member Tuple Library4,031MIT OR Apache-2.0 zkplmt-test-helpersTest Helper extension for the ZkPLMT Library2,080MIT OR Apache-2.0 zkplonkA pure-Rust implementation of the PLONK ZK-Proof algorithm3,075MPL-2.0 Algorithms Cryptography zkpoZero knowledge program operations6,141MIT OR Apache-2.0 zkpolynomialA Rust library for polynomial operations, including addition, multiplication, evaluation, and Lagrange interpolation for…2,975MIT zkpushThis package name is reserved by the ZKPush project as a defensive registration. It will never be published with functional code.…25Apache-2.0 Cryptography zkpush-cryptoName reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkpush-sdk24Apache-2.0 Cryptography zkpush-recipientName reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkpush-sdk24Apache-2.0 Cryptography zkpush-recipient-binaryName reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkpush-sdk24Apache-2.0 Cryptography zkpush-recipient-binary-guiName reserved by the ZKPush project. Official distribution is via GitHub Releases installers - see…22Apache-2.0 zkpush-recipient-coreName reserved by the ZKPush project. Official publishes land at public launch - see https://github.com/zkpush/zkpush-sdk21Apache-2.0 zkpush-recipient-mcpThis package name is reserved by the ZKPush project as a defensive registration. It will never be published with functional code.…25Apache-2.0 Cryptography zkpush-recipient-rustThis package name is reserved by the ZKPush project as a defensive registration. It will never be published with functional code.…24Apache-2.0 Cryptography zkpush-senderName reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkpush-sdk24Apache-2.0 Cryptography zkpush-sender-binaryName reserved by the ZKPush project. Real publishes land here — see https://github.com/zkpush/zkpush-sdk24Apache-2.0 Cryptography zkpush-sender-mcpThis package name is reserved by the ZKPush project as a defensive registration. It will never be published with functional code.…24Apache-2.0 Cryptography zkpush-sender-rustThis package name is reserved by the ZKPush project as a defensive registration. It will never be published with functional code.…24Apache-2.0 Cryptography zkpyc-stdlibStandard library for the ZKPyC compiler.1,181LGPL-3.0 zkrEvidence-backed temporal memory for personal agents1,145ISC zkriscA Zero-Knowledge CPU based on RISC-V and zkSNARK1,584Apache-2.0 Cryptography zkrollupzkrollup implementation2,106Apache-2.0 Cryptography zkrustUnofficial library of zkteco fingerprint attendance machines67MIT Hardware support Network programming zkrust-coreUnofficial library of zkteco fingerprint attendance machines435MIT Hardware support Network programming zkrust-transportUnofficial library of zkteco fingerprint attendance machines177MIT Hardware support Network programming zkrust-typesUnofficial library of zkteco fingerprint attendance machines177MIT Hardware support Network programming zkryptiumRust crypto library for zero-knowledge proofs244,652Apache-2.0 Authentication Cryptography zksZero Knowledge Swarm - Post-quantum secure networking SDK with built-in anonymity106AGPL-3.0-only Cryptography Network programming zks_cryptCryptographic primitives for ZKS Protocol - post-quantum secure encryption372AGPL-3.0-only Cryptography No standard library zks_pqcryptoPost-quantum cryptographic implementations for ZKS Protocol366AGPL-3.0-only Cryptography No standard library zks_protoProtocol layer for ZK Protocol - handshake and URL parsing186AGPL-3.0-only Cryptography Network programming zks_typesCore types and data structures for ZKS Protocol616AGPL-3.0-only Cryptography Data structures zks_wasmWebAssembly bindings for ZKS Protocol SDK32AGPL-3.0-only API bindings Cryptography zks_wireNetwork primitives for ZK Protocol - NAT traversal, STUN, and swarm networking279AGPL-3.0-only Cryptography Network programming zksdk-coreCore CPI helpers for ZKSDK FHE Coprocessor - privacy-preserving computation on Solana164MIT Cryptography zksdk-private-token-slotsPrivate token slots with FHE transfers for ZKSDK FHE Coprocessor55MIT Cryptography zksmartzkSNARKs for Matrix Computations962MIT zksnarkAn implementation of zkSNARK using groth16.5,280GPL-3.0-or-later zksnarkszksnaarks standard library4,748Apache-2.0 Cryptography zkstackZK Stack CLI is a set of tools for working with zk stack.877MIT OR Apache-2.0 zkstack-multiple-1Release please multiple zkstack 11,632MIT OR Apache-2.0 zkstack_cli_commonZK Stack CLI is a set of tools for working with zk stack.1,359MIT OR Apache-2.0 zkstack_cli_configZK Stack CLI is a set of tools for working with zk stack.1,110MIT OR Apache-2.0 zkstack_cli_git_version_macroProcedural macro to generate metainformation about build in compile time2,058MIT OR Apache-2.0 zkstack_cli_typesZK Stack CLI is a set of tools for working with zk stack.1,545MIT OR Apache-2.0 zkstateShare a struct across multiple instances of an application using zookeeper23,255Apache-2.0 Concurrency zkstdzero knowledge proof standard library26,600Apache-2.0 Cryptography zksvm-api-typesCommon API data types and serialization utilities for zkSVM server and clients.2,215MIT zksvm-clientUtility for creating and verifying proof requests with a zkSVM server.1,937MIT zksvm-libCryptographic commitments for zkSVM supporting transparent, hash-based, and Merkle tree commitments on Solana1,537MIT zksynczksync2,519MIT OR Apache-2.0 zksync-erazksync-era1,521MIT OR Apache-2.0 zksync-gpu-ffiZKsync GPU FFI111,455MIT OR Apache-2.0 Cryptography zksync-gpu-proverZKsync GPU prover utilities110,412MIT OR Apache-2.0 Cryptography zksync-web3-rsRust SDK for zkSync Era22,446MIT zksync-wrapper-proverZKsync GPU wrapper prover62,392MIT OR Apache-2.0 Cryptography zksync_base_token_adjusterZKsync base token adjuster10,398MIT OR Apache-2.0 Cryptography zksync_basic_typesZKsync primitive types34,296MIT OR Apache-2.0 Cryptography zksync_bellmanzk-SNARK library, based on bellman397,926MIT OR Apache-2.0 Cryptography zksync_block_reverterZKsync block reverter library10,968MIT OR Apache-2.0 Cryptography zksync_circuit_breakerZKsync circuit breakers9,358MIT OR Apache-2.0 Cryptography zksync_commitment_generatorZKsync commitment generator9,612MIT OR Apache-2.0 Cryptography zksync_concurrencyStructured concurrency framework531,471MIT OR Apache-2.0 zksync_configZKsync core configuration28,062MIT OR Apache-2.0 Cryptography zksync_consensus_bftZKsync consensus BFT component309,203MIT OR Apache-2.0 zksync_consensus_cryptoZKsync consensus cryptographic utilities486,803MIT OR Apache-2.0 zksync_consensus_engineZKsync consensus engine100,378MIT OR Apache-2.0 zksync_consensus_executorZKsync consensus executor component308,680MIT OR Apache-2.0 zksync_consensus_networkZKsync consensus network component309,731MIT OR Apache-2.0 zksync_consensus_rolesZKsync consensus node role types486,265MIT OR Apache-2.0 zksync_consensus_storageZKsync consensus storage320,578MIT OR Apache-2.0 zksync_consensus_toolsZKsync consensus tools1,999MIT OR Apache-2.0 zksync_consensus_utilsZKsync consensus utilities531,169MIT OR Apache-2.0 zksync_consistency_checkerConsistency checker for ZKsync network10,207MIT OR Apache-2.0 Cryptography zksync_contract_verification_serverZKsync contract verification server8,662MIT OR Apache-2.0 Cryptography zksync_contract_verifier_libZKsync contract verification utilities10,149MIT OR Apache-2.0 Cryptography zksync_contractsDefinitions of main ZKsync smart contracts29,236MIT OR Apache-2.0 Cryptography zksync_core_leftoversDeprecated package5,697MIT OR Apache-2.0 Cryptography zksync_crypto_primitivesZKsync core cryptographic primitives32,831MIT OR Apache-2.0 Cryptography zksync_cs_deriveDerive macro for boojum crate368,097MIT OR Apache-2.0 Cryptography zksync_da_clientZKsync DA client definition11,754MIT OR Apache-2.0 Cryptography zksync_da_clientsZKsync data availability clients7,390MIT OR Apache-2.0 Cryptography zksync_da_dispatcherZKsync data availability dispatcher8,137MIT OR Apache-2.0 Cryptography zksync_dalZKsync data access layer21,211MIT OR Apache-2.0 Cryptography zksync_db_connectionZKsync Postgres connection wrappers22,503MIT OR Apache-2.0 Cryptography zksync_default_da_clientsZKsync DA client implementations1,310MIT OR Apache-2.0 Cryptography zksync_env_configZKsync env deserialization for configs6,620MIT OR Apache-2.0 Cryptography zksync_eth_clientZKsync Ethereum client implementations16,299MIT OR Apache-2.0 Cryptography zksync_eth_proof_managerZKsync Ethereum proof manager2,581MIT OR Apache-2.0 Cryptography zksync_eth_senderZKsync Ethereum sender8,681MIT OR Apache-2.0 Cryptography zksync_eth_signerZKsync Ethereum signer17,331MIT OR Apache-2.0 Cryptography zksync_eth_watchZKsync Ethereum watcher8,361MIT OR Apache-2.0 Cryptography zksync_external_price_apiZKsync clients for fetching token prices10,660MIT OR Apache-2.0 Cryptography zksync_external_proof_integration_apiZKsync external proof integration API6,736MIT OR Apache-2.0 Cryptography zksync_ffLibrary for building and interfacing with finite fields, based on ff409,435MIT OR Apache-2.0 Cryptography zksync_ff_deriveProcedural macro library for zksync_ff, based on ff_derive408,582MIT OR Apache-2.0 Cryptography zksync_gateway_migratorComponent that handles the migration of the zkSync network from/to gateway4,382MIT OR Apache-2.0 Cryptography