Alpha Release of Keelung, the New Haskell DSL Designed for Creating Zero-knowledge Proofs (ZKPs)

We are thrilled to announce the alpha release of Keelung, a new domain-specific language (DSL) designed to make fast, private, and secure application development easy for developers.

Both Keelung and its compiler have been implemented in Haskell, enabling you to produce high-level zero-knowledge proofs protected by Haskell’s cutting-edge type system while leveraging Haskell’s extensive ecosystem and tooling. What’s more, Keelung will be 100% open-source, aligning with our values of transparency, collaboration, and community-driven development.

Check out our blog post of Keelung alpha release for more detail. If you’re interested in using Keelung to build privacy-preserving applications, please visit our GitHub repository. Our documentation also provides detailed information on how to use Keelung, including installation instructions, examples, and tutorials.

If you have any questions about Keelung or would like to contribute to the project, please start a thread on our GitHub discussions page or reach out to us via email at We’re always happy to help and would love to hear from you!

Thank you and we can’t wait to see what you build with it!

BTQ team