最新消息Keelung Alpha Release

加速量子世代的計算優勢

BTQ 是一家全球性的量子科技公司,致力於保障關鍵任務的網路運行

創造數位資產的未來

量子安全

使用後量子密碼學打造的全方位安全平臺,即使是量子電腦也無法攻破

可驗證的智能合約

程式化驗證的智能合約讓漏洞降到最低

硬體加速

利用先進的半導體技術來加速後量子密碼學的計算

PQScale

Layer1 以及 Layer2 的擴容方案

為後量子數位簽章所打造的獨特擴容技術。PQScale 藉由零知識證明技術來處理數位交易,帶來了史無前例的交易速度以及成本節約。

Keelung

零知識的開發工具

打造零知識證明的完整方案。Keelung 是一套程式語言及編譯器,用於簡化零知識證明的開發流程。

關於我們

BTQ是由一群經驗豐富的後量子密碼學家構成,我們想解決量子電腦對數位安全構成威脅的急迫問題。在頂尖的學術機構和大學的合作下,BTQ將軟、硬體結合,經由獨特的後量子技術和解決方案來保障加密資產的安全。

最新消息

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.
2023年3月2日

Keelung Alpha Release

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.

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年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.

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