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.
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.
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
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.
Get started with the step-by-step tutorial and set up your own project.
Personal information policy for users of this website who do not submit their email address:
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 firstname.lastname@example.org.
By using the website, you hereby consent to this policy and agree to its terms.