🚀 CertiK 第六次因发现 Apple Vision Pro 漏洞获苹果致谢
#CertiK #Apple #AppleVisionPro #漏洞 #Web3 #安全 #眼动追踪 #计算机科学
据 Foresight News 报道，Web3 安全机构 CertiK 宣布，CertiK 的工程师因发现 Apple Vision Pro MR 头显设备中的关键漏洞而获得 Apple 公司认可。这是 Apple 公司第六次公开发布对 CertiK 的致谢，CertiK 依旧是苹果公开感谢次数最多的 Web3 安全机构。该问题由 CertiK 的工程师与其他 5 位计算机科学家共同发现，揭示了 Apple Vision Pro 的眼动追踪数据如何被利用破解如密码、PIN 码和消息在内的敏感信息。#CertiK #Apple #AppleVisionPro #漏洞 #Web3 #安全 #眼动追踪 #计算机科学
🚀 Peter Todd 否认是比特币发明者并因安全问题被迫躲藏
#PeterTodd #比特币 #中本聪 #纪录片 #安全问题 #Cointelegraph #HBO #身份揭秘 #暗号学 #计算机科学
据 Cointelegraph 报道，加拿大密码学家和计算机科学家 Peter Todd 表示，由于 HBO 纪录片将他揭露为比特币发明者，他被迫躲藏以确保安全。
该纪录片名为《Money Electric: The Bitcoin Mystery》，于 10 月 9 日播出，声称揭示了“中本聪”的真实身份。纪录片最终以 Todd 说“是的，我是中本聪”结束。
Todd 多次否认自己是中本聪，并在接受 Wired 采访时表示，由于安全担忧，他被迫躲藏。他指责导演 Cullen Hoback 使用虚假证据得出错误结论。
然而，据多方消息和纪录片中的片段显示，Todd 曾开玩笑地说“我是中本聪”，类似于电影《斯巴达克斯》中的台词“我是斯巴达克斯”。
Todd 表示，他同意参与纪录片是因为他认为这是关于比特币历史的纪录片，而不是揭露中本聪身份的尝试。他认为错误地将普通人认定为中本聪会带来抢劫和绑架等威胁。
导演 Hoback 则认为 Todd 和其他人反应过度，并表示揭露中本聪身份并未对被调查者构成实际威胁。#PeterTodd #比特币 #中本聪 #纪录片 #安全问题 #Cointelegraph #HBO #身份揭秘 #暗号学 #计算机科学
🚀 StarkWare 任命 Moni Naor 为首席研究员
#StarkWare #MoniNaor #首席研究员 #计算机科学 #比特币 #密码学 #去中心化 #公钥系统 #不可延展密码学 #视觉密码学 #验证码 #工作量证明
据 ChainCatcher 报道，StarkWare 宣布计算机科学教授 Moni Naor 加入其科学委员会，担任首席研究员。
在 StarkWare，Moni Naor 将主要关注比特币密码学和 Starknet 去中心化等主题。
StarkWare 表示，Moni Naor 对计算机科学做出了开创性贡献，包括公钥系统、不可延展密码学、视觉密码学及验证码概念的研究。他与 Cynthia Dwork 提出了工作量证明的首次概念。#StarkWare #MoniNaor #首席研究员 #计算机科学 #比特币 #密码学 #去中心化 #公钥系统 #不可延展密码学 #视觉密码学 #验证码 #工作量证明
🚀 邵中教授在Web3峰会上发布LiDO模型及扩展框架
#Web3 #LiDO模型 #扩展框架 #邵中教授 #拜占庭容错 #共识协议 #安全性 #活性 #去中心化 #PoS #Coq #计算机科学 #CertiK #Jolteon #主流公链
据Odaily星球日报报道，2025年4月8日，在Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。该成果通过三层细化验证框架，为复杂拜占庭容错共识协议提供安全性与活性证明，提升Web3生态的可靠性和规模化发展。LiDO已应用于Jolteon等协议，完成超万行Coq代码验证。邵中教授表示，LiDO针对PoS共识协议的安全性、活性与去中心化难题，提出系统性解决方案，并正探索与主流公链合作。#Web3 #LiDO模型 #扩展框架 #邵中教授 #拜占庭容错 #共识协议 #安全性 #活性 #去中心化 #PoS #Coq #计算机科学 #CertiK #Jolteon #主流公链