Repositories list

• csip

  Public
  Haskell

  •

  BSD 2-Clause "Simplified" License

  •1•8•0•0•Updated Feb 5, 2025Feb 5, 2025

• hash-circuits

  Public
  Hashing circuits implemented in circom

  Haskell

  •

  MIT License

  •0•2•0•0•Updated Jan 24, 2025Jan 24, 2025

• ZKP

  Public
  0•0•0•0•Updated Jul 17, 2024Jul 17, 2024

• zikkurat-algebra

  Public
  Algebraic primitives for ZK proof systems

  Haskell

  •

  Other

  •1•2•1•0•Updated Mar 24, 2024Mar 24, 2024

• zikkurat-groth16

  Public
  circom-compatible Groth16 prover and verifier

  Haskell

  •

  Other

  •1•0•0•0•Updated Mar 14, 2024Mar 14, 2024

• zikkurat-formats-binary

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

  Haskell

  •

  Other

  •1•0•0•0•Updated Mar 13, 2024Mar 13, 2024

• cppqed-qutip-benchmark

  Public
  0•0•0•0•Updated Jul 13, 2023Jul 13, 2023

• r1cs-solver

  Public
  R1CS soundness testing tool

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1•5•0•0•Updated May 17, 2023May 17, 2023

• vcpkg

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

  CMake

  •

  Other

  •6.6k•0•0•0•Updated Feb 18, 2022Feb 18, 2022