metal with deterministic proof gen#15

Open

lighter-zz wants to merge 10 commits into

devfrom

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Remove gate profiling overhead from vanishing_poly.rs

timemeansalot
and
claude
committed
Add benchmark reports, cost analysis, and Metal bench guide

timemeansalot
and
claude
committed
Add benchmark goal and CPU baseline instructions to bench guide

timemeansalot
and
claude
committed

Commits on Mar 18, 2026

deterministic proofs
lighter-zz
committed