feat: update plonky3 to 0.4

[zlangley]

Updates to plonky3 v0.4.0. Syncs with openvm-org/stark-backend#195

closes INT-4245

[codspeed-hq]

CodSpeed Performance Report

Merging #2293 will improve performances by ×2.2

_{Comparing update-plonky3 (455714e) with main (77adf7e)¹}

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

⚡ 1 improvement
✅ 23 untouched
⏩ 36 skipped²

Benchmarks breakdown

	Mode	Benchmark	BASE	HEAD	Change
⚡	WallTime	benchmark_execute_metered[quicksort]	19.5 ms	9.1 ms	×2.2

Footnotes

1. No successful run was found on develop-v1.5.0 (77adf7e) during the generation of this report, so main (77adf7e) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩

2. 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. ↩

[Copilot]

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

[jonathanpwang]

I will just remark that their Bn254 naming is confusing because Bn254 is the name of the curve, but it's being used to refer to the scalar field of the curve

[jonathanpwang]

The rand biguint sampling comment can be addressed in a follow-up, but please address the assert_tern and length check comments before merging.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	225	322,705	2,059,194	-	-	-
fibonacci	1,024	1,500,209	2,100,402	2,052	2,381,039	12,952,364
regex	2,352	4,137,502	17,695,216	5,677	5,765,758	46,233,234
ecrecover	805	122,859	2,263,998	2,842	2,936,853	29,780,582
pairing	1,533	1,745,742	25,408,302	2,925	3,905,180	32,402,184
fib_e2e	6,505	12,000,209	14,203,554	14,589	14,103,591	81,241,460
kitchen_sink	2,504	155,210	18,376,578	5,812	10,152,833	118,591,458

Commit: 455714e

Benchmark Workflow

[jonathanpwang]

kitchen sink e2e with halo2 on cpu run: https://github.com/openvm-org/openvm/actions/runs/20323776312/job/58384716873