01
应用密码学 · 2026-09-10 · 阅读约 6 分钟
把国密算法放进 EVM 的预编译合约
换算法标准不是机械替换:曲线运算和编码可以照搬,ecrecover 只能变成验证,签名必须留在链下,gas 要重新测量,C 边界上的检查决定一笔坏交易能不能让节点停下来。
文章
五篇文章,围绕两个主题:一个程序应该被允许碰什么,限制要放在哪里才绕不过去;以及把密码学和数据搬过标准、法律和网络划出的边界,需要做哪些取舍。
01
应用密码学 · 2026-09-10 · 阅读约 6 分钟
换算法标准不是机械替换:曲线运算和编码可以照搬,ecrecover 只能变成验证,签名必须留在链下,gas 要重新测量,C 边界上的检查决定一笔坏交易能不能让节点停下来。
02
系统设计与取舍 · 2026-09-08 · 阅读约 6 分钟
两个互不相通的 AWS partition 之间、一条 150 毫秒的链路上,一晚搬完 2TB:为什么托管工具都用不了,密钥如何在不共享对称秘密的情况下过去,带宽时延积的算术,状态机式的断点续传,以及 multipart ETag 的问题。
03
设计与威胁模型 · 2026-08-14 · 阅读约 5 分钟
一个代理在与 SSH 无关的任务里读了 ~/.ssh/id_rsa,而这次读取完全在权限之内。越界、被指挥、泄密是三个不同的问题,各需要一层机制;执行点放在协议层。
04
检测规则与取舍 · 2026-08-14 · 阅读约 5 分钟
一个注入检测器要做的决定只有三个:扫什么,命中后做什么,由谁判断。为什么命中后拦下整条结果,为什么第一版用规则而不是分类器,以及默认规则里一个由测试套件发现的真实漏洞。
05
隐私设计与取舍 · 2026-07-31 · 阅读约 6 分钟
把数据可能离开手机的途径逐条检查:没有网络权限也没有能联网的依赖,三条出口都经过用户操作的系统对话框,可选的应用锁,以及 1.6.0 才关掉的系统备份。每条附证据,附在 APK 上核对的办法。