以太坊的leanVM完成端到端形式化验证,全面后量子安全过渡目标定于2028年12月
相关推荐
Justin Drake:ECDSA最坏或数月内被破解,建议大户迁移资产至新地址
PANews 10月8日消息,密码学研究员Justin Drake在X平台发帖称,呼吁区块链行业冷静着手规划“地堡模式”,建议大额持有者将大部分资金迁移至从未签名过交易、公钥仍隐藏在哈希之后的新地址,此后每次签名也应将剩余资金转至新地址。他认为,AI正推动数学领域快速突破,ECDSA有可能在量子计算“Q-Day”之前被经典算法破解,最坏情况下或在数月而非数年内发生,即可借助大型GPU集群在约一周内恢复私钥。Drake同时强调无需恐慌和仓促迁移,并称Binance、Bitbank、Robinhood、Bitfinex和Tether可借机加固冷钱包。
Sean Bowe:Justin Drake 量子预警将自损公信力
火星财经消息,Tachyon 联合创始人 Sean Bowe 在 X 发文,批评以太坊基金会研究员 Justin Drake 近期关于量子威胁的预警表述。他称,这类含糊示警将在多个层面造成损害,并成为其量子倡导工作的自我伤害。Sean Bowe 表示:量子与人工智能威胁真实存在,行业团队正就如何务实应对风险、帮助用户处理不确定性作出审慎决策。部分团队拥有判断力较强的密码学家,另一些则需参考可信专家;由于涉及维度复杂,相关取舍几乎无法向非密码学家解释,专家应保持冷静并承担相应责任。他还称,情况澄清后,人们或将发现这至多是一次非故意的宣传举动,大量信任会因此流失,且无人清楚后续该如何行动。他认为相关方向判断本身正确,此前预警曾有意义,但已逐渐变成缺乏反馈约束的失控预测,并会长期影响对经典密码学合理担忧的信任。他指出,对方自己承认此次并无新信息驱动,并要求 Justin Drake 解释为何认为该做法正确。
孙宇晨设立“Justin Sun Prize”数学奖,强调机器验证与链上透明
PANews 9月16日消息,TRON创始人孙宇晨宣布设立“Justin Sun Prize”,以数学为核心奖励机制,面向解决重要数学难题的证明者与将证明形式化为机器可验证代码的“formalizer”。该奖项不设年龄与年度名额限制,仅以“机器从首行到末行完整验证通过”为唯一发放条件,奖金资金池已锁定在区块链地址上,只能追加、不可撤回。每个问题仅能新增、不能删除,若题目表述有误也仍按约定支付赏金,并重新挂单。孙称自己不参与具体评审,仅负责确定问题清单及对应悬赏金额,目标是在AI与形式化验证时代,为纯理论数学与链上公开激励之间建立长期机制。
a16z crypto发布开源zkVM新版本Lattice Jolt,具备抗量子安全性
PANews 9月9日消息,a16z crypto宣布其开源零知识虚拟机Jolt发布新版本Lattice Jolt,将底层密码学从椭圆曲线替换为格密码,实现三大特性:具备抗量子安全性;证明者与验证者速度提升2-3倍;生成低于100KB的短证明,为所有抗量子zkVM中最小,且仍有进一步压缩空间。该方案基于标准的Module-SIS假设,同样支撑ML-DSA和ML-KEM等全球正在部署的抗量子标准。新多项式承诺方案Akita由LayerZero主导开发,并与卡内基梅隆大学、南加州大学及a16z crypto团队合作完成。
American Bitcoin高管Justin Mateen增持近30.7万股公司股票,价值约193万美元
PANews 8月8日消息,据 CoinDesk 报道,American Bitcoin(股票代码:ABTC)董事会成员 Justin Mateen 于 8 月 5 日至 6 日期间,共计购入该公司 306,981 股股票,总价值约 193 万美元。交易完成后,Mateen 持有 492,297 股 A 类股票(已根据该公司近期进行的反向股票分割进行调整)。
Justin Sun自曝人生打法:融合巴菲特、马斯克与特朗普,自封宾大「第四巨头」
火星财经消息,10 月 22 日,Justin Sun 近期在与金明的对谈中谈及个人传播与人生打法的效仿对象,称自己并非单纯效仿某一个人,而是马斯克、特朗普和巴菲特三人的「杂交混合体」。Justin Sun 提到一个有趣的巧合,这三位都是其母校宾夕法尼亚大学的校友。随着他将三人的打法融为一体,外界开始戏称慢慢浮现出了「第四巨头」,即 Justin Sun 本人。在具体的策略拆解上,其表示投资和风控完全吸收巴菲特与芒格看重基本面的价值投资思路,把老派的 Playbook 搬进加密领域,反而形成了降维优势。 在业务增长与传播层面,Justin Sun 指出马斯克弥补了巴菲特在科技叙事和预期驱动上的短板,形成了基本面与高科技高增长的双轮驱动。而在个人品牌和传播方面,他主要借鉴特朗普,甚至坦言自己最初学英语口语就是跟着特朗普主持的《学徒》节目。Justin Sun 还分享了一个趣事,称这三人其实存在「互相看不上定律」。例如他曾和巴菲特吃饭时建议对方收购低谷期的特斯拉,但巴菲特拒绝了,因为巴菲特认为如果一家公司太具颠覆性、充满「惊喜」,就不符合他的投资风格。