Loading the repository README…
Showing 5 of 5 collected skills.
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.
Copy this prompt into the AI assistant you're using.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/ethereum/sol-whir-p3.The repository README could not be loaded. You can still explore its Skills below.