在比特币的早期阶段,所做研究大多是短期的,由技术爱好者在bitcointalk.org等论坛上进行。学术界的密码学家在很大程度上忽略了比特币。从那以后的几年里,这两个群体开始产生交集。密码学的学术界已经融入了快速发展的加密货币世界——而且这个行业已经是成熟的了。
我们Blockstream致力于为新兴的比特币经济建设基础设施。我们的应用研究团队是创新战略的重要组成部分,专注于使用新颖、充满创造性但经过检验的数学工具来解决复杂问题。通过积极研究和开发新想法,我们的团队继续做出贡献,推动该领域的进步。
研究什么?
我们可以从两个层面对区块链进行分析:产品和平台。
- 产品(代币、钱包、交易所和智能合约)迎合终端用户的需求。
- 平台(或脚本语言、区块链和签名方案)迎合开发人员的需求。
研究成果将最终转化为可以投入市场的解决方案,应用研究则侧重于长期创新。由于开发强大的平台需要广泛的设计和实现,因此平台被视为主要的研究领域。
我们的工作
我们的团队专注于推进比特币生态系统核心平台,解决复杂的问题,并突破可能的界限。当我们努力推进这一层面的技术时,我们相信可以在未来的几个月和几年时间内看到令人兴奋的进展。
脚本语言
- Simplicity - 一种更强大的编程语言,旨在替代比特币脚本。
- Miniscript - 一种用于编写结构化比特币脚本的更安全的语言,支持分析、组合、通用签名等。
- Elements Script - 一组比特币脚本的扩展,从像CSV这样最终融入比特币的脚本,到仍在探索中的新的契约操作码。
数字签名/Schnorr签名
- 交叉输入聚合签名 (CISA/XISA) - 允许单个交易中的多个输入共享单个签名。这减少了交易所占空间,提高了比特币网络的效率。
- MuSig2 - 一种旨在使比特币多重签名交易更高效的同时更私密的解决方案。MuSig2使一组“n-of-n”签名者能够在给定交易上生成单个的半交互式签名,从而在创建多重签名交易时显著改善用户的隐私性。
- ROAST - 一个简单的协议,用于避免“t-of-n”签名中的拒绝服务攻击(例如在像液态网络这样的联盟中)。
链下协议
- Scriptless Scripts - 一种链下执行智能合约的解决方案,利用Schnorr签名提供诸如更高的安全性、隐私性和可扩展性等好处。
- Fedimint - 一种联盟电子现金协议,使签名者网络能够接受比特币存款和取款,并为用户铸造电子现金票据,同时在联盟层面维护隐私。
- Codex32 - 一个在不使用电子计算机的情况下创建、校验、拆分和恢复BIP 32种子(BIP32 seeds)的项目,适用于担心侧链通道、bug或其他难以检测的计算机问题可能导致泄露机密信息的用户。
开源贡献
- Bitcoin Core - 一个免费的开源软件项目,作为比特币协议的实现参考。
- rust-bitcoin - 一组用于构建比特币相关应用程序的Rust语言库。
- libsecp256k1 - 一个安全高效的椭圆曲线加密库,被用于Bitcoin Core。它专为secp256k1曲线构建,提供优于OpenSSL等替代方案的安全性、速度和可靠性。
- libsecp256k1-zkp - libsecp256k1的一个分叉,支持像隐私资产和MuSig2这样的高级功能或实验性功能。
团队介绍
2015年以来,研究团队一直积极的为未来的项目打基础。在这样的努力下,我们的团队如今已经发展到拥有十名经验丰富的研究人员和贡献者。
研究总监,Andrew Poelstra
- Andrew Poelstra是德克萨斯大学奥斯汀分校的计算机科研人员也是数学家。他于2011年加入比特币社区,并以最先开始用Rust语言实现比特币,以及为libsecp256k1做出贡献而闻名。Poelstra和其他人一起共同发明了Bulletproofs、Confidential Assets、Miniscript和Taproot。
核心技术工程师,Andrew Chow
- Bitcoin Core开发人员,以其对开源社区的贡献而闻名,包括BIP 174(部分签名的比特币交易格式)的实现、PSBT实现、Bitcoin Core中的原生描述钱包(Native Descriptor Wallets)。
核心技术工程师,Dr. Russell O'Connor
- Russell O'Connor博士是一名具有数学和计算机科学背景的核心技术工程师。他拥有Radboud University Nijmegen的科学博士学位。O'Connor博士以其作为“Simplicity:区块链的新语言”的开发者和作者而闻名。Simplicity经过五年多的努力开发,预计将于今年推出。
核心技术工程师,Christian Lewe
- Christian Lewe拥有TU Dresden的计算机科学硕士学位。他于2022年加入脚本团队,并迅速成为Simplicity的主要贡献者。他还在帮助维护Miniscript方面发挥了重要作用。今年,Christian开始关注形式验证和零知识证明,这两个领域有望在Simplicity中发挥关键作用。
Sanket Kanjalkar, Cryptographic Engineer
密码学工程师,Sanket Kanjalkar
- Sanket Kanjalkar拥有伊利诺伊大学香槟分校 (UIUC)的计算机科学硕士学位。Kanjalkar是Miniscript的共同发明人和Simplicity的积极贡献者,并且还因其在“我不敢相信这不是Stake!”方面的工作而闻名,这是影响超过26种不同加密货币的资源耗尽漏洞的最大协同披露。
密码学Team Lead,Jonas Nick
- Jonas Nick是一名专注于密码学的开发和研究人员,他拥有苏黎世联邦理工学院的计算机科学硕士学位。2022年,他成为Blockstream研究团队中的密码学团队负责人。Nick是libsecp256k1的维护者,是BIP 341(Taproot)、BIP 340 (Schnorr Signatures) 和 BIP MuSig2的合著者。Nick还以nix-bitcoin的创建者而闻名,nix-bitcoin是Nix软件包和NixOS模块的集合,可以轻松安装功能齐全的比特币节点,并注重安全性。
密码学工程师,Dr. Tim Ruffing
- Tim Ruffing是一名密码学家和开发人员,他在Saarland University获得博士学位,研究领域为加密货币的密码学。他是libsecp256k1的维护者,BIP 340(Schnorr签名)、BIP 324(P2P加密)和BIP MuSig2的合著者。他还是多篇以比特币为重点的研究论文的作者,最近发表的论文包括“MuSig2:简单的两轮Schnorr多重签名”(2021年)和“ROAST:稳健的异步Schnorr阈值签名”(2022年),两者都旨在改进多方Schnorr签名。
密码学工程师,Liam Eagen
- Liam Eagen毕业于University of Texas at Austin,是研究团队的最新成员。他目前的侧重点是开发Bulletproofs++,这是一种新型的零知识证明,用于更高效的隐私资产和更短范围的证明。
赞助研究员,Eric Sirion
- Eric Sirion是Fedimint的创建者和主要维护者。与团队中的许多人一样,埃里克是一名密码朋克,一名专注于分布式系统、计算机网络和隐私增强技术的计算机科学研究员。
研究成果科普,Kiara Bickers
- Kiara Bickers是一位自学成才的开发人员,于2022年加入Blockstream Research团队。她是Bitcoin Clarity的作者,这本书将比特币的复杂系统简化为非技术读者可以轻松理解的模型。作为一名研究成果的传播者,她的主要目标是让学术界以外的更广泛的比特币技术的爱好者能够访问和使用研究成果。
更多信息
今天,我们很高兴地宣布推出Blockstream Research品牌,作为与社区成员产生连接的工具。我们的许多举措现在已经成熟,并准备面向更广泛的人群。在接下来的几周到几个月的时间里,我们将更频繁的定期发布相关进展和我们一直在努力做的事情。要及时了解这些信息以及Blockstream Research在做的事情,请在推特@blksresearch和GitHub上关注我们的官方账号。