加载中…
加载中…
Techub News 消息，Blockstream Research 研究员 Jonas Nick 与合作者发布 C 语言概念验证库 libshrincs，该库采用机器校验证明与 AI 辅助验证技术，旨在为比特币提供抗量子计算攻击的签名方案。 该库实现了 SHRINCS 签名方案中的 WOTS+C 组件，支持有状态（约 324 字节）和无状态两种模式，包含约 6200 行 VST 和 13400 行 Rocq 形式化验证代码。目前该库尚未达到生产部署标准，安全定理也未提供完整的后量子边界。（CryptoBriefing）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。
本网站不保证信息的准确性、有效性、及时性和完整性。
任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
Techub News 消息，Blockstream Research 研究员 Jonas Nick 与合作者发布 C 语言概念验证库 libshrincs，该库采用机器校验证明与 AI 辅助验证技术，旨在为比特币提供抗量子计算攻击的签名方案。 该库实现了 SHRINCS 签名方案中的 WOTS+C 组件，支持有状态（约 324 字节）和无状态两种模式，包含约 6200 行 VST 和 13400 行 Rocq 形式化验证代码。目前该库尚未达到生产部署标准，安全定理也未提供完整的后量子边界。（CryptoBriefing）
如您认为本页面（或本平台）内容存在侵权或违规情形，请您在发现之日起尽快与我们联系，并提供：权利人姓名/名称及联系方式、被侵权作品名称及权属证明、具体侵权链接及情况说明。我们在核实后将及时处理相关内容。
联系方式：creator@techub.news
商务合作：contacting@techub.news
点击链接下载 Techub News App，获取最新讯息：
https://www.techub.news/download
（或扫描下方二维码下载）
本网站所提供的所有信息仅供参考之用。本网站不保证信息的准确性、有效性、及时性和完整性。任何依赖于本网站所提供信息的行为，均由用户自行承担风险。
