# Keelung

Keelung is a domain-specific language (DSL) embedded in Haskell that is designed for creating zero-knowledge proofs (ZKPs). With Keelung, developers can create high-quality and reliable ZKPs with ease, even without expertise in cryptography.

<img width="1268" alt="keelung5" src="https://user-images.githubusercontent.com/97019448/219329651-d30c0134-f153-4755-979f-c5b77d6d2724.png">

## Documentation

Check out our [GitBook](https://btq.gitbook.io/keelung/) for more information.

## Language Reference

The language reference is now available on [Hackage](https://hackage.haskell.org/package/keelung).

## Standard Library

The standard library is available [here](https://github.com/btq-ag/keelung-stdlib).