Lib.rs

› Keywords #llzk #haloumi #midnight #elliptic-curve #zero-knowledge-proofs

#halo2

  1. halo2curves

    Elliptic curve implementations and wrappers for halo2 library

    v0.9.0 44K #elliptic-curve #bls12-381 #points #secp256k1 #halo2 #pairing-cryptography #bn256 #deserialize #assembly #performance-optimized

  2. halo2-base

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

    v0.5.1 11K #halo2 #constraints #lookup-tables #column #witness #constant-value #multi-threading #domain-language #advice #edsl

  3. blake2b_halo2

    Midnight-proofs circuit for Blake2b

    v0.1.0 #halo2 #blake2b #chip #operation #hold #warnings

  4. midnight-circuits

    Circuit and gadget implementations for Midnight zero-knowledge proofs

    v6.0.0 #zero-knowledge-proofs #midnight #variable-length #native #elliptic-curve #halo2 #sha-256 #sha-512 #hash-to-curve #finite-state

  5. mdnt-support

    Support for integrating Midnight with the extractor

    v0.2.9 #extractor #integrating #midnight #halo2 #chip

  6. haloumi-ir

    Intermediate representation of the haloumi framework

    v0.2.3 #halo2 #haloumi #llzk

  7. haloumi-ir-base

    Types used by the IR and by some modules that the IR depends on

    v0.2.0 #halo2 #haloumi #llzk

  8. haloumi-lowering

    Core traits for enabling types to integrate with the codegen module

    v0.2.1 #halo2 #haloumi #llzk

  9. mdnt-groups-support

    Support traits for the picus::group macro

    v0.2.0 #traits #groups #cell #halo2 #macro #debugging #partial-eq

  10. halo2_poseidon

    The Poseidon algebraic hash function for Halo 2

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

  11. haloumi-core

    Core types and traits of the Halo2 frontend for LLZK

    v0.2.0 #traits #halo2 #framework #front-end #llzk

  12. mdnt-support-macros

    Proc-macros for defining groups for extraction

    v0.2.5 #groups #extract #halo2 #testing #input #proc-macro #midnight

  13. halo2-wasm

    Wasm bindings for the halo2 circuit library

    v0.3.4 #zero-knowledge-proofs #halo2 #wasm-bindings

  14. halo2

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

    v0.1.0-beta.2 91K #zk-snarks #halo #zkp #recursion

    15. Try searching with DuckDuckGo.

  15. halo2_summarizer

    A summarizer for Halo2's MockProver output

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

  16. zkevm-hashes

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

    v0.3.0 #halo2 #zk-evm #hash #keccak #axiom

  17. zk-psi-verifier

    Zero-knowledge Private Set Intersection verifier using Halo2 for zkVerify

    v0.1.0 #zero-knowledge-proofs #halo2 #zero-knowledge