Lib.rs

› Keywords #circuit #elliptic-curve #zero-knowledge-proofs #proof #halo #hash

#halo2

  1. halo2curves

    Elliptic curve implementations and wrappers for halo2 library

    v0.8.0 17K #elliptic-curve #halo2 #ecosystem #bls12-381 #bn256

  2. halo2_poseidon

    The Poseidon algebraic hash function for Halo 2

    v0.1.0 7.3K #halo #poseidon #hash #algebraic #halo2

  3. halo2-base

    Embedded domain specific language (eDSL) for writing circuits with the halo2 API. It simplifies circuit programming to declaring constraints…

    v0.4.1 110 #circuit #halo2 #virtual #generation #witness #lookup-tables #programming-language

  4. halo2-ecc

    In-circuit elliptic curve library for halo2

    v0.4.1 #elliptic-curve #zero-knowledge-proofs #circuit #halo2 #bn254 #proof #fields

  5. halo2-wasm

    Wasm bindings for the halo2 circuit library

    v0.3.4 #zero-knowledge-proofs #wasm-bindings #wasm-module #circuit #halo2 #proof #building

  6. halo2

    [BETA] Fast zero-knowledge proof-carrying data implementation with no trusted setup

    v0.1.0-beta.2 35K #halo #zkp #zk-snarks #recursion #proofs #recursive

    7. Try searching with DuckDuckGo.

  7. snark-verifier

    Generic (S)NARK verifier for Rust, halo2, and EVM. This is a fork of PSE's version.

    v0.1.7 #verifier #halo2 #snark #evm #nark #generic #fork

  8. halo2_summarizer

    A summarizer for Halo2's MockProver output

    v0.1.1 #halo2 #output #summarizer #mock-prover

  9. zkevm-hashes

    ZK gadgets for hash functions in halo2. This is Axiom's modification of the circuits in the zkEVM project.

    v0.2.1 #circuit #keccak #hash #halo2 #zk-evm #gadget #axiom
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy