We are thrilled to announce the alpha release of Keelung, a domain-specific language (DSL) designed for fast, private, and secure application development. After a year of intensive research and development focused on post-quantum zero-knowledge cryptography, we have created Keelung to empower developers to create secure and reliable post-quantum zero-knowledge proofs without requiring specialized cryptography skills. Both Keelung and its compiler have been implemented in Haskell, enabling developers to produce high-level zero-knowledge proofs protected by Haskell's cutting-edge type system while leveraging Haskell's extensive ecosystem and tooling.
2022年12月2日
BTQ in Taiwan!
BTQ is happy to announce that the company has received government approval for the establishment of a branch office in Taiwan. While BTQ initially set up a representative office in 2021, our Taipei operations have grown considerably since then, and the transition to a branch office structure is the logical next step for the company. BTQ now has a bustling office in the heart of Taipei’s Zhongzheng district, and registering as a branch office of the parent company has expanded the scope of available business activities, which were somewhat more constrained for our previous representative office. By setting up a branch office in Taipei, BTQ has deepened its commitment to building next generation encryption technology within Taiwan’s world-class semiconductor ecosystem, with an ever-growing IP portfolio generated by Taiwan’s brightest talents in the field of post-quantum cryptography. With additional offices in Australia and Liechtenstein and collaborations with high-level research institutions including Taiwan’s ITRI, BTQ is now poised to take the lead in bringing quantum secure technology to the global market.
2022年11月22日
Blockchain security in the quantum era
Blockchain public-key infrastructure is built on top of two mathematical problems: integer factorization and discrete logarithm problems, both of which are vulnerable to quantum attacks. This essay describes some of the options and challenges in light of the quantum threat.