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.
Check out our GitBook for more information.
The language reference is now available on Hackage.
The standard library is available here.
Find us on Discord!
Get started using Keelung in GitHub codespaces by navigating to Code -> Codespaces in Keelung Examples!