The go-to specialized hardware provider for zero-knowledge provers for accelerating ZK computation with fast, affordable, and accessible technology.
By using CIM techniques, we can save up to 2x of power
Provides hardware acceleration for NIST Compliant post quantum cryptography
CIM can boost the performance of calculation compared to non-CIM architecture

Write ZKPs 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.

Flexible ZKPs

Easily transition to post-quantum. Keelung's modular design allows you to seamlessly move between pre-quantum and post-quantum cryptographic primitives.

One R1CS circuit to rule them all

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.

Maximal interoperability

Keelung provides the flexibility to change the target environment for proof verification. Deploy Keelung proofs in any environment capable of zero-knowledge proof verification.

Zero-Knowledge Use Cases

Privacy-Preserving Analytics

ZKPs can be used to enable secure and private data analysis without revealing sensitive information with applications in business intelligence, data analytics and machine learning. For example, a company could use zero-knowledge proofs to prove that their revenue is above a certain threshold without revealing the actual revenue number.


ING bank uses ZKPs to prove that mortgage applicants incomes are within the admissible range without revealing their exact salary.

Anonymous verifiable voting

Eligible voters can prove the right to cast a ballot without revealing their identity. Voters may also request a verifiable proof that their vote was included in the final tally by the administration organizing the vote.


White Paper

Get started with the step-by-step tutorial and set up your own project.
Learn More

Language Reference

Read the reference of the language and documentation on the compiler.
Learn More


Learn Keelung by some examples on a variety of topics.
Learn More

Standard Library

Check out the standart library for Keelung.
Learn More

Contact Us

Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.

Subscribe for Updates

Sign up for our monthly newsletter, where we’ll keep you up-to-date with the latest Keelung updates.
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.