Keelung Homepage, Documentation and Downloads – Zero Knowledge Proof Compiler – News Fast Delivery
It is a domain-specific language designed for fast, private and secure application development (DSL).After years of in-depth research on post-quantum zero-knowledge cryptography, we created Keelung for developers to create secure and trusted post-quantum zero-knowledge proofs without professional cryptography skills. Keelung and its compiler are installed on Haskell. With the protection of Haskell, developers can write […]