feat(arithmetization): use #[cost:<identifier>] annotation to compute cost of zkc instructions

[lorenzogentile404]

This PR implements issue(s) #3283

Fixes the failing sample-guest-programs-run GitHub Actions job by correcting the default zkc compiler reference used in CI.

Root Cause

The arithmetization-sample-guest-programs-run.yml workflow always defaulted GO_CORSET_REF_FOR_ZKC to 'main' when triggered by a pull request (no manual input). Because GO_CORSET_REF_FOR_ZKC is set as an environment variable, it overrides the Makefile's ?= default (9f911becf5b02cdd96db75d0fa482c9ececf04c9). The main branch of LFDT-Lineth/zkc does not yet support the #[cost:...] attribute syntax, causing unexpected token errors on every .zkc file that uses cost annotations.

Fix

Changed the workflow's fallback default from 'main' to '9f911becf5b02cdd96db75d0fa482c9ececf04c9' — the same pinned commit already used by the Makefile (tip of the 1841-feat-cost-annotation-proposal branch in LFDT-Lineth/zkc). Custom refs provided via workflow_dispatch or workflow_call continue to work as before.

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• If this change is deployed to any environment (including Devnet), E2E test coverage exists or is included in this PR.
• I have informed the team of any breaking changes if there are any.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution.
7 out of 9 committers have signed the CLA.

✅ Tabaie
✅ thedarkjester
✅ ivokub
✅ eloi010
✅ fluentcrafter
✅ jonesho
✅ lorenzogentile404
❌ linea-release-bot[bot]
❌ Copilot
_{You have signed the CLA already but the status is still pending? Let us recheck it.}

[codecov]

❌ 2 Tests Failed:

Tests completed	Failed	Passed	Skipped
1151	2	1149	1

View the full list of 2 ❄️ flaky test(s)

maru.app.MaruConsensusSwitchTest::follower node correctly switches from QBFT to POS after peering with Sequencer validator()

Flake rate in main: 66.67% (Passed 4 times, Failed 8 times)

Stack Traces | 175s run time

java.lang.AssertionError: invalid block time: expected=1 actual=2 blocks timestamps=[1780863825, 1780863826, 1780863827, 1780863828, 1780863829, 1780863830, 1780863831, 1780863832, 1780863833, 1780863834, 1780863835, 1780863836, 1780863837, 1780863838, 1780863839, 1780863840, 1780863841, 1780863842, 1780863843, 1780863844, 1780863845, 1780863847, 1780863849, 1780863850, 1780863852, 1780863853, 1780863854, 1780863855, 1780863856, 1780863857, 1780863858, 1780863859, 1780863860, 1780863861, 1780863862, 1780863863, 1780863864, 1780863865, 1780863866, 1780863867, 1780863868, 1780863869, 1780863870, 1780863871, 1780863872, 1780863873, 1780863874, 1780863875, 1780863876, 1780863877, 1780863878, 1780863879, 1780863880, 1780863881, 1780863882, 1780863883, 1780863884, 1780863885, 1780863886, 1780863887, 1780863888, 1780863889, 1780863890, 1780863891, 1780863892, 1780863893, 1780863894, 1780863895]
	at testutils.Checks.verifyBlockTime(Checks.kt:129)
	at maru.app.MaruConsensusSwitchTest.verifyConsensusSwitch(MaruConsensusSwitchTest.kt:95)
	at maru.app.MaruConsensusSwitchTest.follower node correctly switches from QBFT to POS after peering with Sequencer validator(MaruConsensusSwitchTest.kt:187)
	at java.base/java.lang.reflect.Method.invoke(Method.java:565)
	at java.base/java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:511)
	at java.base/java.util.concurrent.ForkJoinPool$WorkQueue.topLevelExec(ForkJoinPool.java:1450)
	at java.base/java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:2019)
	at java.base/java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:187)

maru.test.MaruClusterTest::should instantiate multiple nodes in the cluster with discovery()

Flake rate in main: 27.27% (Passed 8 times, Failed 3 times)

Stack Traces | 129s run time

java.lang.AssertionError: 
Expecting actual:
  0
to be greater than or equal to:
  2

	at maru.test.MaruClusterTest.should_instantiate_multiple_nodes_in_the_cluster_with_discovery$lambda$0(MaruClusterTest.kt:175)
	at org.awaitility.core.AssertionCondition.lambda$new$0(AssertionCondition.java:53)
	at org.awaitility.core.ConditionAwaiter$ConditionPoller.call(ConditionAwaiter.java:248)
	at org.awaitility.core.ConditionAwaiter$ConditionPoller.call(ConditionAwaiter.java:235)
	at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:328)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1090)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:614)
	at java.base/java.lang.Thread.run(Thread.java:1474)

To view more test analytics, go to the Test Analytics Dashboard
_{📋 Got 3 mins? Take this short survey to help us improve Test Analytics.}