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