저장소 README를 불러오는 중…
수집된 skill 5개 중 5개를 표시합니다.
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.
원문 언어: 영어
이 프롬프트를 복사해 사용 중인 AI 어시스턴트에 입력하세요.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/ethereum/sol-whir-p3.README를 불러오지 못했습니다. 아래의 저장소 Skill 목록은 계속 이용할 수 있습니다.