feat: twisted Edwards curve support with new execution

[Avaneesh-axiom]

Similar to #1255 but incorporated changes to tracegen design.

[codspeed-hq]

CodSpeed WallTime Performance Report

Merging #1858 will degrade performances by 10.09%

_{Comparing feat/edwards-curve-new-execution (16a8d32) with feat/new-execution (b371303)¹}

⚠️ 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

⚡ 3 improvements
❌ 1 regressions
✅ 23 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	BASE	HEAD	Change
⚡	benchmark_execute[bubblesort]	38.2 ms	34 ms	+12.46%
❌	benchmark_execute[factorial_iterative_u256]	152.1 ms	169.1 ms	-10.09%
⚡	benchmark_execute[keccak256]	37.6 ms	33.9 ms	+10.94%
⚡	benchmark_leaf_verifier_execute_preflight	2.7 s	2.1 s	+30.12%

Footnotes

1. No successful run was found on feat/ed25519 (b371303) during the generation of this report, so feat/new-execution (f4a011c) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	2,144	322,688	18,750,180	-	-	-
fibonacci	2,423	3,000,420	51,504,507	-	-	-
regex	7,657	8,217,194	164,734,992	-	-	-
ecrecover	1,422	280,974	8,866,654	-	-	-
pairing	3,805	3,765,878	98,834,293	-	-	-

Commit: 16a8d32

Benchmark Workflow