This repository contains experiments with circuit compilation and zk-snarks. Initially I wanted to make a standalone DSL that compiles to R1CS, but I pivoted to making a Haskell eDSL for now.
Vaporware warning: This is just a toy project for me to better understand zk-snarks.