Solidity 编译器 Solar 实测:编译 4.8 秒对比 solc 2 小时,fuzzing 内存省 4.7 倍
banteg · x · 2026-11-08
banteg 转发 forkforkdog 的「Solar for fuzzers」收官实测:用 Echidna 对 Solidity 编译器做 fuzzing 的内存优化取得胜利,优化后内存稳定在约 19.3 GiB 的平台期。
- 优化方案:回滚到 Echidna 原版内存管理并叠加社区贡献(@0x310f1sh)的进一步优化;Solar 在 main 分支已修复一个被检测出的 bug,另一个较小的 bug 已上报。
- 编译速度对比:solc 编译需 2 小时 04 分,Solar 仅需 4.8 秒。
- 内存对比(fuzzing 7h13m 时):baseline solar 占用 71.9 GiB(最终涨至 103 GiB),优化版 Echidna + solar main 仅 19.3 GiB,baseline 内存是优化版的 4.7 倍。
「Infra」频道最新
- 马斯克背书太空算力构想:100GW/年或为SpaceX年增万亿美元营收 — elonmusk · 2026-11-08
- 常见 BF16 支持 GPU 的非稀疏 TFLOPs 对比表,维护者称其价值获验证 — TheZachMueller · 2026-11-08
- Starlink 单季新增 160 万用户,全球消费者用户达 1360 万 — XFreeze · 2026-11-08
- 利兹 AI 数据中心争议:用水量仅相当于 5 家洗车店 — danbri · 2026-11-08
- 美光回购性价比大增:同样的钱一个月内可多注销 52% 股份 — AntDX316 · 2026-11-08
- 本地 AI 社区正取代厂商成为模型运行配方的主导者 — AIFlow_ML · 2026-11-08