正在加载仓库 README…
已展示 5 / 5 个已收集 Skill。
Optimize measured finite-field arithmetic bottlenecks in Solidity verifiers using relevant algorithms and papers, explicit coefficient and overflow bounds, independent arithmetic references, and complete verifier validation.
原文语言：英语
Profile Solidity execution gas with Foundry harnesses, headless flamegraph parsing, and targeted optimized IR builds.
原文语言：英语
Refresh verifier gas calibration and affected schedule scores after Solidity or cost-model changes. Preserve measurement provenance, verify source fingerprints and receipt inputs, and regenerate reports with the repository's calibration gates.
原文语言：英语
Analyze optimized Solidity IR and assembly to explain gas regressions, repeated computation, stack spills, and inlining effects. Use when evaluating compiler-sensitive verifier optimizations and their deployed bytecode cost.
原文语言：英语
Measure verifier transaction gas with Anvil, preserve broadcast receipts, and compare baseline and candidate runs.
原文语言：英语
复制这段 Prompt，发给你正在使用的 AI 助手。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/ethereum/sol-whir-p3.暂时无法加载仓库 README。你仍可浏览下方的 Skill 目录。