Keelung products


We simplify building Zero-Knowledge Proofs, making it easy to adapt ZK applications whenever the market demands.

Write in Haskell
Keelung is a domain-specific language (DSL) embedded in Haskell. This allows developers to write high-level ZKPs guarded by Haskell’s advanced type system while leveraging the ecosystem and toolings of Haskell.
Flexibility built-in
Build for today, adapt for tomorrow. Don’t be limited by the design choices you make today. Keelung allows you to easily adapt your zero-knowledge components in the future.
Cross-chain compatible
Keelung gives you the flexibility to adjust the downstream proving system targeted by the R1CS circuit. This means you only need to compile one R1CS circuit to take advantage of an entire ecosystem of proving systems.

Contact Us