Skip to content
@faulhornlabs

Faulhorn Labs

Pinned Loading

  1. hash-circuits hash-circuits Public

    Hashing circuits implemented in circom

    Haskell 2

  2. r1cs-solver r1cs-solver Public

    R1CS soundness testing tool

    Haskell 5 1

  3. zikkurat-algebra zikkurat-algebra Public

    Algebraic primitives for ZK proof systems

    Haskell 2 1

  4. zikkurat-groth16 zikkurat-groth16 Public

    circom-compatible Groth16 prover and verifier

    Haskell 1

Repositories

Showing 9 of 9 repositories
  • csip Public
    faulhornlabs/csip’s past year of commit activity
    Haskell 9 BSD-2-Clause 1 0 0 Updated Feb 18, 2025
  • hash-circuits Public

    Hashing circuits implemented in circom

    faulhornlabs/hash-circuits’s past year of commit activity
    Haskell 2 MIT 0 0 0 Updated Jan 24, 2025
  • ZKP Public
    faulhornlabs/ZKP’s past year of commit activity
    0 0 0 0 Updated Jul 17, 2024
  • zikkurat-algebra Public

    Algebraic primitives for ZK proof systems

    faulhornlabs/zikkurat-algebra’s past year of commit activity
    Haskell 2 1 1 0 Updated Mar 24, 2024
  • zikkurat-groth16 Public

    circom-compatible Groth16 prover and verifier

    faulhornlabs/zikkurat-groth16’s past year of commit activity
    Haskell 0 1 0 0 Updated Mar 14, 2024
  • zikkurat-formats-binary Public

    Parsing binary file formats (ptau, r1cs, wtns) used in zero-knowledge proof tooling

    faulhornlabs/zikkurat-formats-binary’s past year of commit activity
    Haskell 0 1 0 0 Updated Mar 13, 2024
  • cppqed-qutip-benchmark Public
    faulhornlabs/cppqed-qutip-benchmark’s past year of commit activity
    0 0 0 0 Updated Jul 13, 2023
  • r1cs-solver Public

    R1CS soundness testing tool

    faulhornlabs/r1cs-solver’s past year of commit activity
    Haskell 5 BSD-3-Clause 1 0 0 Updated May 17, 2023
  • vcpkg Public Forked from microsoft/vcpkg

    C++ Library Manager for Windows, Linux, and MacOS

    faulhornlabs/vcpkg’s past year of commit activity
    CMake 0 6,847 0 0 Updated Feb 18, 2022

Top languages

Loading…

Most used topics

Loading…