fix: use branch of halo2curves without nostack

[yi-sun]

No description provided.

[codspeed-hq]

CodSpeed Performance Report

Merging #2252 will improve performances by 21.52%

_{Comparing fix/aot-asm (ceb7507) with feat/aot (0cbc78c)}

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

Summary

⚡ 2 improvements
✅ 22 untouched
⏩ 36 skipped¹

Benchmarks breakdown

	Mode	Benchmark	BASE	HEAD	Change
⚡	WallTime	benchmark_execute[revm_snailtracer]	8.6 ms	7.1 ms	+21.52%
⚡	WallTime	benchmark_execute_metered[revm_snailtracer]	8.2 ms	7.3 ms	+12.46%

Footnotes

1. 36 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	222	322,658	2,058,654	-	-	-
fibonacci	964	1,500,209	2,100,402	-	-	-
regex	2,404	4,137,502	17,695,216	-	-	-
ecrecover	699	122,859	2,265,100	-	-	-
pairing	1,480	1,745,742	25,468,210	-	-	-

Commit: ceb7507

Benchmark Workflow