Lib.rs

› Search #groth16 #zero-knowledge #risc-v #ospp #privacy #monerochan #solana

  1. rsnark

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.6 330 #zero-knowledge-proofs #write #back-end #gnark #groth16 #macro-derive

  2. monerochan-recursion-gnark-ffi

    Monero-Chan, The Open-Source Privacy Platform (OSPP)

    v5.2.12 #monerochan #risc-v #run-time #ospp #privacy

  3. rsnark-provers-gnark

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.8 430 #prover #back-end #gnark #circuit #rsnark #zero-knowledge #groth16 #type-system

  4. monerochan-recursion-gnark-cli

    Monero-Chan, The Open-Source Privacy Platform (OSPP)

    v5.2.12 #monerochan #risc-v #run-time #ospp #privacy

  5. light-indexed-merkle-tree

    indexed (and concurrent) Merkle tree in Rust

    v5.0.0 1.1K #merkle-tree #solana #protocols #indexed #zk #compression #concurrency #concurrent-merkle-tree #light-protocols #development-environments

  6. sp1-recursion-gnark-ffi

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v5.2.4 73K #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  7. gnark-bn254-verifier

    gnark verifier for BN254 curve

    v1.0.2 #zk-snarks #gnark #zero-knowledge #cryptography

  8. light-prover-client

    interacting with Light Protocol circuits

    v5.0.1 160 #solana #protocols #light-protocols #circuit #compression #dev-env

  9. bn254_hash2curve

    hash-to-curve for the BN254 elliptic curve

    v0.1.2 150 #elliptic-curve #bn254 #hash-to-curve #hashing #cryptography

  10. taceo-groth16-sol

    Generation of Solidity verifiers for Groth16 zkSNARKs, based on the Groth16 verifier template from gnark

    v0.1.0 500 #zk-snarks #solidity #verifier #groth16

    11. Try searching with DuckDuckGo or on crates.io.

  11. sp1-recursion-gnark-cli

    SP1 is a performant, 100% open-source, contributor-friendly zkVM

    v5.2.4 #zk-vm #succinct-sp1 #zero-knowledge #succinct #sp1

  12. rsnark-provers-mock

    write Zero-Knowledge circuits for multiple prover systems

    v0.1.4 220 #zero-knowledge-proofs #write #rsnark #back-end #macro-derive #gnark

  13. bellperson-emulated

    Nonnative arithmetic library using bellperson inspired by the emulated package in Gnark

    v0.2.0 #emulating #math #bellperson #package #gnark #nonnative

  14. gnark-verifier-solana

    verify Gnark proofs on solana

    v1.0.2 #solana #proof #verification-key #verifier #gnark #commitment #vk #on-chain

  15. light-circuitlib-rs

    interacting with Light Protocol circuits

    v0.1.4 #solana #protocols #light-protocols #circuit #compression

  16. cometbls

    soon™

    v0.0.0 #ethereum #cosmwasm #nix #typescript #solidity #relayer #svelte #astro #blockchain #soon-tm