<div dir="ltr">Hello developers,<div><br></div><div><span style="font-variant-ligatures:common-ligatures;background-color:rgb(255,255,255)"><font face="arial, sans-serif" style="" color="#000000">I'm Ting with BTQ. We are thrilled to announce the alpha release of Keelung, a new domain-specific language (DSL) designed to make fast, private, and secure application development easy for developers.</font></span><span aria-label="" class="gmail-c-mrkdwn__br" style="box-sizing:inherit;display:block;height:8px;font-variant-ligatures:common-ligatures"></span><span style="font-variant-ligatures:common-ligatures;background-color:rgb(255,255,255)"><font face="arial, sans-serif" color="#000000">Both Keelung and its compiler have been implemented in Haskell, enabling you to produce high-level zero-knowledge proofs protected by Haskell's cutting-edge type system while leveraging Haskell's extensive ecosystem and tooling. What's more, Keelung will be 100% open-source, aligning with our values of transparency, collaboration, and community-driven development.</font></span><span aria-label="" class="gmail-c-mrkdwn__br" style="box-sizing:inherit;display:block;height:8px;font-variant-ligatures:common-ligatures"></span><font face="arial, sans-serif" style="background-color:rgb(255,255,255)" color="#000000"><span style="font-variant-ligatures:common-ligatures">Check out our </span><a target="_blank" class="gmail-c-link" href="https://www.btq.com/en/blog/keelung-alpha-release" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">blog post</a><span style="font-variant-ligatures:common-ligatures"> of Keelung alpha release for more detail. If you're interested in using Keelung to build privacy-preserving applications, please visit our </span><a target="_blank" class="gmail-c-link" href="https://github.com/btq-ag/keelung" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">GitHub repository</a><span style="font-variant-ligatures:common-ligatures"> and </span><a target="_blank" class="gmail-c-link" href="https://hackage.haskell.org/package/keelung" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">Hackage</a><span style="font-variant-ligatures:common-ligatures">. Our </span><a target="_blank" class="gmail-c-link" href="https://btq.gitbook.io/keelung/" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">documentation</a><span style="font-variant-ligatures:common-ligatures"> also provides detailed information on how to use Keelung, including installation instructions, examples, and tutorials.</span></font><span aria-label="" class="gmail-c-mrkdwn__br" style="box-sizing:inherit;display:block;height:8px;font-variant-ligatures:common-ligatures"></span><font face="arial, sans-serif" style="background-color:rgb(255,255,255)" color="#000000"><span style="font-variant-ligatures:common-ligatures">If you have any questions about Keelung or would like to contribute to the project, please start a thread on our </span><a target="_blank" class="gmail-c-link" href="https://github.com/btq-ag/keelung/discussions" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">GitHub discussions</a><span style="font-variant-ligatures:common-ligatures"> page or reach out to us via email at </span><a target="_blank" class="gmail-c-link" aria-haspopup="menu" aria-expanded="false" href="mailto:desk@btq.li" rel="noopener noreferrer" style="box-sizing:inherit;text-decoration-line:none;font-variant-ligatures:common-ligatures">desk@btq.li<span aria-label="(opens in new tab)" style="box-sizing:inherit"></span></a><span style="font-variant-ligatures:common-ligatures">. We're always happy to help and would love to hear from you!</span></font><span aria-label="" class="gmail-c-mrkdwn__br" style="box-sizing:inherit;display:block;height:8px;font-variant-ligatures:common-ligatures"></span><span style="font-variant-ligatures:common-ligatures;background-color:rgb(255,255,255)"><font face="arial, sans-serif" style="" color="#000000">Thank you and we can't wait to see what you build with it!</font></span><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div style="word-spacing:1px;font-family:-apple-system,HelveticaNeue;border-color:rgb(34,34,34)"><font face="trebuchet ms, sans-serif" style="font-family:"trebuchet ms",sans-serif;border-color:rgb(34,34,34)" color="#666666"><br></font></div><div style="word-spacing:1px;font-family:-apple-system,HelveticaNeue;border-color:rgb(34,34,34)"><br></div><div style="word-spacing:1px;border-color:rgb(34,34,34);color:rgb(34,34,34)"><font face="trebuchet ms, sans-serif" style="border-color:rgb(34,34,34)"><table cellpadding="0" cellspacing="0" style="word-spacing:0px;vertical-align:-webkit-baseline-middle;font-size:medium;font-family:"Open Sans";height:150px"><tbody><tr style="height:95px"><td style="height:85px;width:603px"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle;font-family:"Open Sans""><tbody><tr><td style="vertical-align:top;width:300px"><h3 color="#000000" style="margin:0px;color:rgb(0,0,0)"><font face="trebuchet ms, sans-serif"><span style="font-size:18px">Ting Wang </span><font size="2">(Ms.)</font></font></h3><p color="#000000" style="margin:0px;color:rgb(0,0,0);font-size:14px;line-height:30px"><font face="arial, sans-serif">Product Manager</font></p></td><td style="width:8px"><div style="width:8px"></div></td><td color="#7C8199" style="width:10px;border-bottom:none;border-left:2px solid rgb(124,129,153)"></td><td style="width:8px"><div style="width:8px"></div></td><td style="vertical-align:middle;width:500px"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle;font-family:"Open Sans""><tbody><tr height="25" style="vertical-align:middle"><td width="30" style="vertical-align:middle"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle;width:14px;height:14px"><tbody><tr style="height:14px"><td style="vertical-align:bottom;width:22px;height:14px"><span color="#2a2f48" width="21" style="display:block;background-color:rgb(42,47,72)"><img src="https://i.imgur.com/zg90ort.png" color="#f80040" width="21" style="display:block;background-color:rgb(255,255,255)"></span></td></tr></tbody></table></td><td style="padding:0px"><font face="arial, sans-serif"><a href="mailto:ty.wang@btq.li" color="#2a2f48" style="color:rgb(42,47,72);font-size:14px" target="_blank">ty.wang@btq.li</a><br></font></td></tr><tr height="25" style="vertical-align:middle"><td width="30" style="vertical-align:middle"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle"><tbody><tr><td style="vertical-align:bottom"><span color="#2a2f48" width="21" style="display:block;background-color:rgb(42,47,72)"><img src="https://i.imgur.com/rq1e1qy.png" color="#f80040" width="21" style="display:block;background-color:rgb(255,255,255)"></span></td></tr></tbody></table></td><td style="padding:0px"><a href="https://www.btq.com/" color="#2a2f48" style="color:rgb(42,47,72);font-size:14px" target="_blank"><font face="arial, sans-serif">www.btq.com</font></a></td></tr><tr height="25" style="vertical-align:middle"><td width="30" style="vertical-align:middle"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle"><tbody><tr><td style="vertical-align:bottom"><span color="#2a2f48" width="21" style="display:block;background-color:rgb(42,47,72)"></span></td></tr></tbody></table></td><td style="padding:0px"><br></td></tr></tbody></table></td></tr></tbody></table></td></tr><tr style="height:65px"><td style="height:65px;width:603px"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle;font-family:"Open Sans";width:603px;height:64px"><tbody><tr style="height:5px"><td height="5" style="height:5px"></td></tr><tr style="height:5px"><td color="#7C8199" height="1" style="width:603px;border-bottom:2px solid rgb(124,129,153);border-left:none;display:block;height:4px"></td></tr><tr style="height:5px"><td height="5" style="height:5px"></td></tr><tr style="height:65px"><td style="height:65px;width:603px"><table cellpadding="0" cellspacing="0" height="62" style="vertical-align:-webkit-baseline-middle;font-family:Arial;width:456.266px"><tbody><tr><td style="vertical-align:top;width:255.383px"><img src="https://i.imgur.com/191gFUB.png" width="150" style="display:inline-block"></td><td style="width:200.883px"><table cellpadding="0" cellspacing="0" style="vertical-align:-webkit-baseline-middle;font-family:Arial;display:inline-block"><tbody><tr style="text-align:center"><td><a href="https://twitter.com/btq_ag" color="#0aa2ff" style="color:rgb(17,85,204);display:inline-block;padding:0px;background-color:rgb(10,162,255)" target="_blank"><img src="https://i.imgur.com/pi7MZEi.png" alt="twitter" color="#ffffff" height="36" style="background-color:rgb(255,255,255);max-width:135px;display:block"></a></td><td width="5"><div></div></td><td><a href="https://www.linkedin.com/company/btqag/about/" color="#0aa2ff" style="color:rgb(17,85,204);display:inline-block;padding:0px;background-color:rgb(10,162,255)" target="_blank"><img src="https://i.imgur.com/bA9XWrK.png" alt="linkedin" color="#ffffff" height="36" style="background-color:rgb(255,255,255);max-width:135px;display:block"></a></td><td width="5"></td></tr></tbody></table><br><br></td></tr></tbody></table></td></tr></tbody></table></td></tr></tbody></table></font></div></div></div></div></div></div>