Building Zero-knowledge proofs with Keelung
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.
Blockchain and Distributed Ledger
TR 212