#proof-generation

  1. grovedb

    Fully featured database using balanced hierarchical authenticated data structures

    v3.1.0 470 #merkle-tree #path-query #database #data-structures #hierarchical-data #authentication #merk #proof-generation #storage-layer #database-system
  2. rust-rapidsnark

    Rust wrapper for the Rapidsnark proof system

    v0.1.3 #proof-systems #verify-proof #compilation #system #proof-generation #mobile-devices #target-platform
  3. merkle

    tree implementation with support for generation of inclusion proofs

    v1.11.0 250 #merkle-tree #proof-generation #merkle-proof
  4. atlas-token-confidential-transfer-proof-generation

    Atlas Program Library Confidential Transfer Proof Generation

    v0.6.0 #proof-generation #confidential-transfer #atlas
  5. spl-token-confidential-transfer-proof-generation

    Solana Program Library Confidential Transfer Proof Generation

    v0.5.1 238K #solana #confidential-transfer #proof-generation #spl-token #elgamal #token-programs
  6. agglayer-evm-client

    contains the client use to communicate with EVM rpc

    v0.13.0 2.1K #agglayer #rpc #evm #test-suite #communicate #proof-generation #succinct-prover #pessimistic
  7. agglayer-primitives

    contains various structs and traits that are the ground of agglayer protocol

    v0.13.0 3.3K #agglayer #traits #protocols #struct #structs-and-traits #test-suite #proof-generation #pessimistic #succinct-prover
  8. agglayer-interop

    contains all the shared structs and traits used in agglayer protocol

    v0.13.0 2.1K #agglayer #protocols #interop #secure #chain #test-suite #structs-and-traits #proof-generation
  9. agglayer-bincode

    Agglayer Bincode utilities

    v0.13.0 3.2K #agglayer #bincode #sp1 #test-suite #proof-generation
  10. Try searching with DuckDuckGo.

  11. kzg-commitment

    perform KZG polynomial commitment scheme

    v0.1.3 120 #polynomial-commitment-scheme #kzg #random #proof-generation #proof-verification #verify-proof #cryptographic-primitives
  12. agglayer-errors

    Error handling utilities with tracing integration and pattern matching macros for eyre errors

    v0.13.0 #agglayer #pattern-matching #tracing #error #integration #eyre #macro-error #test-suite #proof-generation #pessimistic
  13. ark-circom

    Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust

    v0.5.0 600 #arkworks #proof-generation #circom #witness #groth16 #ethereum
  14. rialo-s-spl-token-confidential-transfer-proof-generation

    Solana Program Library Confidential Transfer Proof Generation

    v0.1.10 #solana #proof-generation #confidential-transfer #elgamal #spl-token #on-chain-programs
  15. grovedb-merk

    Merkle key/value store adapted for GroveDB

    v3.1.0 490 #key-value-store #merkle-tree #merk #grove-db #proof-generation #avl-tree #proof-verification #blockchain
  16. p3-miden-uni-stark

    A minimal univariate STARK framework providing core components for proof generation and verification

    v0.4.0 #proof-generation #miden #verification #air #prover #stark-prover #univariate #core-components
  17. clone-spl-token-confidential-transfer-proof-generation

    Solana Program Library Confidential Transfer Proof Generation

    v0.3.0 160 #confidential-transfer #proof-generation #spl #generation
  18. varisat-lrat

    LRAT proof generation for the Varisat SAT solver

    v0.2.2 #sat-solver #proof-generation #varisat #lrat
  19. tpl-token-confidential-transfer-proof-generation

    TPL Token Confidential Transfer Proof Generation

    v3.2.2 #proof-generation #confidential-transfer #token #tpl
  20. txoo-bitcoind-client

    implementing a bitcoind RPC client

    v0.10.0 110 #bitcoin #rpc-client #txoo #proof-generation #spv
  21. gorb-ctpg

    Gorb Token Library - Confidential Transfer Proof Generation

    v1.0.0 #proof-generation #confidential-transfer #token-programs #gorbchain #solana #gorb #blockchain #non-fungible #third-parties #token-2022
  22. worldcoin-ark-circom

    Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust

    v0.2.0 #arkworks #proof-generation #circom #witness #groth16 #ethereum
  23. verkle-tree

    Verkle Trees, a powerful upgrade to Merkle Trees that offers improved efficiency and reduced proof sizes. This crate provides a robust, performant, and easy-to-use library for creating…

    v0.1.0 #merkle-tree #elliptic-curve #verkle #proof-generation #data-verification #kzg #proof-verification #merkle-proof #commitment #ark-bls12-381