Blockchain scientist. Intern @0xZentra. Minus Theory and first Useful PoW.

Canada
Joined April 2007
孩子 你把我数据库删了,感谢你没有 rm / -rf
48
终于可以直接在链上查看当前的代码了,不用再去 github 上对照了。 接下来,该把汇编代码也顺便显示出来。
167
你们要的抗量子签名和RPC,哈希签名 github.com/kernel1983/zentra… 把VM和区块链解耦以后,很多事情并没有想象中那么难! 其实我们还是要等正式的抗量子EOA的标准,目前并没有过度设计
如果考虑EVM设计的话,确实复杂很多,因为量子签名的pk非常的大 但是在 Zentra 架构中,事情就简单太多了 明天用 SLH-DSA / SPHINCS+ 做个 RPC 原型,格密码就算了
1
4
259
根本无需考虑签名大小,因为签名进入全局状态之前会被丢弃。 对了,今天要做一个支持哈希签名的RPC的,开工!
1
1
453
如果考虑EVM设计的话,确实复杂很多,因为量子签名的pk非常的大 但是在 Zentra 架构中,事情就简单太多了 明天用 SLH-DSA / SPHINCS+ 做个 RPC 原型,格密码就算了
Replying to @inSmallhome
没啥难的,支持一下哈希签名就行了
1
1
449
ZIP2 功能完善 并且实现了trade_*函数到spot_*函数的重命名 希望这些功能在主网上永远不会被用到,但是有备无患
1
168
这些银行卡里的芯片都支持 secp256 r1 (P-256) 签名 前天刚刚聊到这个,今天 Anthropic 就排除了多年来 r1 曲线有后门这个传闻
Replying to @cmk105
说真的,如果硬件钱包已经简单到像公交卡那种,一个芯片,一个线圈,芯片私钥永远无法导出(电路级别,不排除物理手段 这就是通用设备了啊,哪里都能搞到,多好? 有没有链能支持公交卡签名的,技术细节我也不太懂,说不定可以搞? 唯一问题就是私钥自己也搞不到,扔火堆里钱就真丢了
2
5
483
the choice of secp256k1 over r1 (P-256) in bitcoin (and ethereum) was heavily influenced by the fear of an NSA backdoor. this has been very annoying for wallet developers because the secure enclave chips found in most consumer devices only support r1. passkeys use r1 as well. turns out there is no backdoor after all... amazing work by anthropic. anthropic.com/research/ecdsa…
1
81
这个mark一下,曲线的参数以前就听说可能有问题,现在看来也不需要x25519了 最搞笑的是,AI觉得这么简单居然没人知道!知识可能也就是记忆+阅读量的问题
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 代码,感兴趣可以自己跑一下
1
9
3,513
大家试想一下把全世界美元换成最小面额的硬币,需要多少金属? 以太坊全局状态问题,甚至比特币允许无限分割到聪这个问题,大概就是区块链基础设施的现状。 几年前大家还会搭个全节点,现在已经完全不会这么干了。
Replying to @chainalertme
或者说,基础设施和我们想要的相去甚远
2
249
科技考古:经常在各种 DOS 游戏启动的时候出现的 DOS/4GW 是由传奇的编译器 Watcom C/C++ 提供的,以突破 DOS 下640KB内存的限制。 Watcom International Corporation 加拿大公司,后来被 Powersoft 收购,Powersoft 被 Sybase 收购,现代编译器基本是金主支持并开源,玩法彻底变了
1
5
457
又查到了 DJGPP (DJ's GNU Programming Platform) • 最著名的 32位保护模式 编译器 • 它通过 DPMI(DOS保护模式接口)让DOS程序突破了传统的 640KB 常规内存限制,可以直接使用 4GB 平坦内存
1
1
151
那些geek喜欢的酷炫技术在Windows到来之后突然不值得一提,之前DOOM和仙剑等大量游戏都需要DOS/4GW。在Win 3.0上做开发开始,就默认能获得使用全部内存的能力 而这个故事似乎仍然在重复:现在的区块链开发,平台从个人电脑换成了世界计算机,有很多限制,原地优化不解决根本问题,需要下一代技术
73
经过了一整个夏天以后,Zentra Playground 已经在好几个应用开发的洗礼中,变得越来越好用了
3
132
估计在08年左右的时候,Python社区一位大牛沈游侠高呼:“代码行数是人类的最大敌人!” 这句话在AI时代含金量还在提升。 为啥我从来没遇到AI生成的代码量爆炸这件事情呢? 因为在懂行的人面前它不敢,这就和出租车司机不敢绕路一样
越来越觉得,因为所谓“模型越变越强”的原因,鼓励工程师们完全不读代码、不看实现的做法是错误的。 LLM 仍然擅长按已有输入提供输出(所谓 garbage in/out)。所以,在项目开发中任何一次主动去打破抽象,用提示词优化实现的提示词,都会带来复利效应。就像一本写巴菲特的书名——这就是《滚雪球》。
2
3
1,301
代码很便宜,对的代码很贵 能获得注意力的代码更贵!
1
1
6
367
这两天又折腾出一个小工具 github.com/kernel1983/his 重要的是灵感,执行已经不成问题
在 Reddit 上宣传获得了很纯粹的反馈! 喜提 3 个 issues
1
483
作为一个密码学专业人士,行业又一次验证了我的观点 硬件钱包是智商税 (其实我这几年不提这个了,而是换了一种说法:专用硬件风险很大)
14
2
1
63
12,039
还有之前我的那些被一一验证的观点,数不过来了
5
1,362
几千年前人类的智力(总和)相当于现在的小学生,如果离散对数问题可以有效的解决,人类又长大了。当然不仅仅是离散对数问题这一项。 如果这是真的,这太酷了! 我觉得AI真的应该好好解决分配问题,让人们可以毫无顾虑的生活和研究有趣的事物。
1
308