By Viktor Lin
Keelung is a Domain-Specific Language (DSL) developed by BTQ for building zero-knowledge proof (ZKP). It's built so developers can build ZK applications without related underlying cryptography knowledge. Since Keelung is embeded in Haskell, we can make use of existing Haskell features and toolchain without introducing another set of tools.
Programmer @ BTQ