[20241209] Merge develop into master#2868

Merged

dannywillems merged 14 commits intomasterfrom

dw/merge-back-develop-in-master

Feb 3, 2025

Commits on Oct 29, 2024

Remove circuit-construction (again)
volhovm
committed

Commits on Oct 30, 2024

Merge pull request #2735 from o1-labs/volhovm/remove-circuit-construction
volhovm
authored

Commits on Nov 14, 2024

Merge pull request #2756 from o1-labs/chunking/zkrows_error-develop
dannywillems
authored

Commits on Jan 12, 2025

Merge branch 'master' into dw/merge-back-develop-in-master
dannywillems
committed

Commits on Jan 27, 2025

Merge branch 'master' into dw/merge-back-develop-in-master
dannywillems
committed