Trail of Bits 开源 trailmix 电路工具链，得分超越 Google 量子 ECC 白皮书
jedisct1 · x · 2026-09-11
Trail of Bits 工程师 Joe Doyle 构建的 trailmix 是今年 6 月开源的量子可逆电路工具链，相关论文的电路即基于它构建，其排行榜成绩已超过 Google Quantum AI 的 ECC 白皮书基线。
- 目标任务：secp256k1 椭圆曲线点加法的可逆量子电路——即 Shor 攻击 ECDLP 的内循环
- 对照 Google 白皮书的两个工作点：≤1175 逻辑量子比特 / ≤2.7M Toffoli，与 ≤1425 量子比特 / ≤2.1M Toffoli
- 工具链包含：可逆电路 IR、64 路并行模拟器、基于抽象解释的相位正确性检查、时间旅行调试器、分段性能剖析器
- 支持 secp256k1、Curve25519、SM2、Brainpool 等曲线
仓库还提供 zkpecc 原生模拟器（编译进 SP1 zkVM guest），可回放 .kmx 电路并校验资源计数。
「研究」频道最新
- 预印本：无真实信号下数据泄露仍可让 AUC 达 0.8 — bttyeo · 2026-09-11
- Caltech 本科生办 AI 数学竞赛遭质疑,组织者公开回应争议 — Singularitarian · 2026-09-11
- 前 NeurIPS 审稿人赞 YOCO：设计干净、消融扎实的好论文 — donglixp · 2026-09-11
- 「数学自动形式化计划」启动:称距把全部已知数学转成形式化代码仅差三个数量级 — i_dg23 · 2026-09-11
- Marin 直播训练 535B MoE 模型,Clement Delangue 呼应「信风险就开源百倍研究」 — dlwh · 2026-09-11
- Google 发布 ToolGrad:答案优先生成工具调用数据,通过率近 100% — DuRuofei · 2026-09-11