Yung-Luen Lan retweeted
Anthropic 发了一篇很好玩的文章。NIST P-256 这些椭圆曲线的 seed 到底是怎么来的,密码学圈猜了二十多年,结果 Claude 不到半小时就算出来了。答案是用 Unix 时间戳初始化 C 库自带的随机数生成器跑出来的。更好玩的是它算出来之后的第一反应,居然是怀疑自己是不是在测试环境里。
2000 年 NIST 把这几条曲线写进 ECDSA 标准,曲线的系数由一个 seed 哈希得到,而 seed 是 NSA 给的,没有任何说明。所以一直有人怀疑里面藏了后门,Filippo Valsorda 还专门挂了悬赏。唯一的线索来自 NSA 的 Jerry Solinas,他说 seed 好像是一句玩笑话的哈希,类似 Give Bob and Jerry a raise,但细节他自己也记不清了。他 2023 年去世之后,这事基本就没人能问了。
Anthropic 有好几个员工照着这条线索找过,都没找到,因为线索本身就是错的。这次有人直接问内部的研究模型能不能查出来,也没提这条线索。Claude 换了个思路,去猜 90 年代生成曲线的程序是怎么写的,判断它大概用了当时 C 库自带的 PRNG。这种老 PRNG 很弱,输出能被认出来。
它先注意到 4 个 binary 曲线的 seed 按 32 位切开后,每一段的最高位都是 0。这正是 lrand48 的特征。lrand48 每次只输出 48 位内部状态里的高 31 位,所以最高位永远是 0。剩下 17 位直接暴力枚举,内部状态就恢复出来了。prime 曲线的 seed 每次只取 lrand48 输出的一个字节,能看到的位更少,就当成格问题用 LLL 解出来。
lrand48 往回推跟往前推一样容易。Claude 把状态一路倒推回 srand48 刚初始化时的样子。NIST 和 ANSI X9.62 里一共 10 个 prime 曲线 seed,初始值全是 1997 年 5 月到 1998 年 4 月之间的 Unix 时间戳。比如 P-256,就是从 1997-08-16 01:52:34(UTC)开始跑,取的第 1842 个候选。
4 条 binary 曲线更好笑,倒推出来的时间是 1984 年 2 月。把时间戳乘以 2,就变成 1998 年 4 月 17 日,刚好在 P-224 那次运行的两周后。所以当年的程序很可能是先把时间除以 2,再拿去当种子。
我觉得最有意思的是 Claude 接下来的思考。它先是很激动,觉得自己解开了一个 25 年的悬案,然后马上停下来怀疑,自己是不是在某种模拟或测试环境里。
于是它开始找证据。算出来的 seed 跟它记忆里的真实值对得上,在它的知识里这个悬赏一直没人解开。而且 20 个最高位全是 0 这种事,碰巧发生的概率大概百万分之一。到这里它才确认这是真实世界,说了句哇,这是真的发现。
然后它又怀疑了一次,这么明显的东西 25 年都没人发现,是不是有点可疑?最后还是靠直接计算说服了自己。一个 32 位的时间戳加一个很小的序号,就能完整算出 160 位的 seed。10 条曲线全部对上,不可能是巧合。
这件事对 ECDSA 的安全性没有影响,反而让后门的说法可信度低了很多。seed 就是普通随机数生成器拿时钟初始化跑出来的,现在谁都能复现,能动手脚的空间很小。悬赏的 36864 美元会捐给 Let’s Encrypt 背后的 ISRG。
原文还附了能直接复现所有 seed 的 Python 代码,感兴趣可以自己跑一下
Yung-Luen Lan retweeted
See? Not so ugly after all :)
@ctjlewis @ojoshe @kleddamag @wand_125 @guzhou0806 @ManassehA06 et al.
Yung-Luen Lan retweeted
Hot take: “AI could not write the TypeScript compiler. It can’t. We tried.”
- Anders Hejlsberg.
Yung-Luen Lan retweeted
先月(26年7月)に行った台湾・高雄のことを投稿せぬままアメリカ渡航が近づいてきました。
ホテルの近くにあった、24時間無人販売の猫草店(ちょっと「つげ義春」的な世界観)。もちろん野良猫は食べ放題の大盤振る舞い。
高雄は、ぱっと見なんだかわからないお店も多かったりする大変包容力があり趣のある大好きな都市。
Yung-Luen Lan retweeted
A bunch of deeply unimpressive politicians are paralysing Taiwan’s democracy for shameful, self-interested reasons. China is the only winner. My column on the KMT-led opposition antics holding Taiwan politics hostage.
economist.com/international/…
from The Economist
Yung-Luen Lan retweeted
皆既日食のニュースを見て思い出したけどそろそろ2035年皆既日食の交通問題を考え始めないといけないんだろうな
なまじ東京から近い上に日食が日曜の午前10時なので下手したら南関東から群馬栃木茨城に数百万人が押しかけかねない訳で交通大混乱の予感しかしない
長野では野宿者が大量に出そうだし
Yung-Luen Lan retweeted
为什么Apple Music涨价了我还是续费?30个真实理由:
1. 我先说最实在的:Apple Music播一次歌给音乐人差不多1美分,Spotify只有它的三分之一。同样是听歌,我干嘛不让创作者多拿点?
2. 它没有免费版。有人觉得这是缺点,但我觉得这才是对音乐最基本的尊重——听歌不花钱,那音乐人吃什么?
3. 现在AI写歌满天飞,Apple Music要求所有AI生成内容必须标注,不准冒充真人。别的平台管不管我不知道,但至少苹果在管。
4. 光去年他们就清掉了20亿次刷量播放,把版税还给了真音乐人。20亿啊,细思极恐。
5. 疫情的时候演出全停了,苹果直接掏了5000万美金给独立厂牌做预付款。没发通稿吹,但做了。
6. 独立音乐人在苹果拿到的分成和大厂牌一样,每首歌70美分。说实话能做到这点的平台真不多。
7. 他们还收购过一个叫Platoon的公司,专门挖独立新人,Billie Eilish就是那儿出来的。
8. 再说音质。无损和杜比全景声,苹果直接免费给所有用户开了,别家有的还要加钱。
9. 你们知道Mastered for iTunes吗?就是专门有一套流程保证你听到的音频尽量接近录音室母带。现在叫Apple Digital Masters,榜单前100有75%都走这个流程。
10. Apple Music是唯一一家还养着一大批真人编辑的平台。你看到那些歌单推荐语,是人写的,不是AI生成的。这一点我真的很吃。
11. 他们还专门给古典乐单独做了一个App,500万首曲子,带导览带解说。古典乐才占多少流量?但苹果就是做了。
12. Apple Music广播是24小时直播的,经常有艺人上去聊天、放歌。你不觉得这种"活着的电台"比算法推荐有温度多了吗?
13. 再说点历史。iPod当年出来的时候,音乐行业快被盗版干死了,是它让数字音乐第一次能正经卖钱。
14. iTunes音乐商店巅峰时占了全球数字音乐市场的75%。这个行业能活到今天,苹果是真的拉了一把。
15. 格莱美给苹果发过技术奖,乔布斯也被追授过理事奖。这不是我瞎吹,是行业认的。
16. Logic Pro不用我说了吧,专业圈子里就是顶级的。GarageBand更是让普通人也能做歌,全球过十亿设备在用。
17. Logic Pro现在还加了AI功能,能把混音里不同声部拆开,还能帮你找回忘记录的灵感片段。苹果做AI是帮你创作,不是取代你。
18. Apple Music for Artists这个工具特别实用,音乐人能看到自己歌的播放数据,甚至能查全球哪个地方的人在Shazam上识别你的歌——这个洞察真的很有价值。
19. 他们在洛杉矶开了一个超大的艺人中心,有录音棚有混音室,纽约东京柏林也都有。不是只做线上的,实打实地投。
20. 苹果跟Save The Music合作给全美2800多所学校捐乐器和设备。做音乐教育这事,他们一直在做。
21. 再说一个冷知识:苹果当年给Windows做了iTunes。他们明明靠卖Mac赚钱,却专门给对手的系统开发软件,就是为了让更多人能方便地买到正版音乐。连自己生态的围墙都拆了,就为了普及数字音乐。
22. iTunes Store把专辑拆开卖单曲这件事,现在看来没啥,当年可是颠覆性的。以前你为了听一首喜欢的歌得买一整张专辑,苹果说你可以只付99美分买那一首。唱片公司一开始全拒绝,是乔布斯一个一个去谈下来的。
23. 披头士的歌2010年终于上了iTunes。你知道乔布斯追了多久吗?披头士的版权方Apple Corps跟苹果商标官司打了几十年,乔布斯硬是把结解开了。上架首周卖了45万张专辑、200万首单曲。能让披头士点头,这个面子是乔布斯用十几年换来的。
24. 苹果跟U2的合作也是教科书级别。出过U2限量版iPod,主唱Bono跟乔布斯私交极深。听说Bono在乔布斯生病期间经常去他家,两个人聊音乐聊到深夜——这关系早就超出商业了。
25. 马友友在乔布斯葬礼上演奏了。乔布斯生前最爱马友友的巴赫大提琴组曲,两人私交甚好。这种从创始人骨子里长出来的对音乐的热爱,是写在基因里的,其他科技公司学不来。
26. Apple Music的歌词功能也值得说。逐字逐句时间轴同步,支持点歌词跳转。我对比过别家的加载速度和准确度,苹果好用太多了,比有些专门的歌词软件还准。
27. 苹果还给音乐人专门做了提交歌词的工具。通过Apple Music for Artists自己就能提交歌词和时间轴,不需要经过第三方。你想保证自己歌词显示准确,自己就能控制。很小但很关键的细节。
28. 苹果的空间音频是让创作者真正参与进来的。他们不是用算法把立体声转成多声道,而是要求音乐人自己重新混音制作杜比全景声版本,苹果提供免费的技术指导和混音室。你听到的每一首空间音频,都是创作者亲手调整过的。跟那些一键AI转环绕声的完全不在一个维度。
29. 最后一条,Mac上预装的GarageBand完全免费。任何一个对音乐有兴趣的人,打开电脑就能开始做歌。全世界多少独立音乐人的第一首demo是在GarageBand上完成的?没人统计过,但我相信是天文数字。
30. 说一个我自己的事。我用Apple Music的MusicKit开发了一个叫Sleeve的专辑播放器,纯属个人兴趣做的。你们猜苹果收了我多少钱?一分钱没有。API随便调用,曲库随便接,而且他们的开发者技术支持工程师回复我的邮件特别快
Yung-Luen Lan retweeted
この秋開催する、椎名林檎の全国ツアー「椎名林檎と彼奴等と試す煩悩菩提」。8月13日~8月20日までで、チケットぴあのいち早プレリザーブ先行を実施しております。
t.pia.jp/pia/event/event.do?…
Yung-Luen Lan retweeted
[残念なお知らせ]
昨日未明、大水槽のお魚が全滅してしまいました。原因は現在調査中です。
大水槽ウミガメ及びその他水槽の無事は確認しているため、通常通り営業と餌やり体験はおこなっています。
Yung-Luen Lan retweeted
La performance musicale Dragon Ball qui avait été diffusée en Chine sur bilibili.
C'est trop bien ! Ça a l'air de retracer l'intégralité de l'histoire du manga et il y a même Hiroki Takahashi en personne qui débarque pour chanter Makafushigi Adventure! #DragonBall
Yung-Luen Lan retweeted
哭,threads 帳號也莫名其妙被鎖,我什麼也沒做,兩天沒發文而已啊.....還有陪兒子看醫生等四五個小時,很無聊滑了半天 按按讚。就這樣,早上收到一封信說被鎖了,要我verify 手機.... 結果 sms code 一直沒收到,按到他叫我24hr 再重試。 氣死



































