Keelung

The zero-knowledge programming language (DSL) designed to help developers and privacy-centric companies in easily building applications that prioritize privacy.
GET STARTED
GET STARTED
GITHUB REPO
GET STARTED
No items found.

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.

Finance

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.

Resources

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

Examples

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.
Copyright © 2023 BTQ |  Privacy Policy

Privacy Policy

Last updated: Oct 02, 2022

Personal information policy for users of this website who do not submit their email address:

We want to process as little personal information as possible when you use our website. That’s why we’ve chosen Fathom Analytics, which doesn’t use cookies and complies with the GDPR, ePrivacy (including PECR), COPPA, and CCPA. Using this privacy-friendly website analytics software, your IP address is only briefly processed, and we (running this website) have no way of identifying you. As per the CCPA, your personal information is de-identified. You can read more about this on Fathom Analytics ’ website.

The purpose of us using this software is to understand our website traffic in the most privacy-friendly way possible so that we can continually improve our website and business. The lawful basis as per the GDPR is “Article 6(1)(f); where our legitimate interests are to improve our website and business continually.” As per the explanation, no personal data is stored over time.

Personal information policy for users of this website who submit their email address:

When you choose to contact us through our website by submitting your email address, we may use this information to contact you. By providing this information, you consent to being contacted by us, and you also consent to us retaining this information for the purpose of contacting you. You also consent to the terms and conditions of Mailchimp, which we use as a third-party service provider to manage your email and personal information when submitted. For more information about Mailchimp’s terms and conditions, please see here: https://mailchimp.com/en-ca/legal/data-processing-addendum/

For additional information, please contact our legal department at desk@btq.com.

Consent:

By using the website, you hereby consent to this policy and agree to its terms.

‍