Set ZK constants in compile time

[yaziciahmet]

Description

Made certain variables constant in zk. Only environment variable needed is CITREA_NETWORK, and all the constant values are decided based on the network env value. Valid CITREA_NETWORK values are:

• mainnet
• testnet
• devnet
• nightly

If no CITREA_NETWORK env variable is found, it defaults to nightly. And to make things more testable, if the network is nightly, the exact values for each constant value can be provided through env variable.

Batch Proof:

• FORKS
• SEQUENCER_PUBLIC_KEY
• SEQUENCER_DA_PUBLIC_KEY

Light Client Proof:

• L2_GENESIS_ROOT
• BATCH_PROOF_METHOD_ID
• BATCH_PROVER_DA_PUBLIC_KEY

TODO:

• Make needed variables constant in guest
• Update circuit methods to take constants as arguments
• Separate network fork lists and use one of them based on the provided network (through CLI in native, and through env in guest)
• Update guest Dockerfile & Makefile
• Update release CI files

Linked Issues

• Fixes Take some of the inputs as constants in ZK circuits #1444
• Fixes MockDA: Separate the sender addresses of sequencer and prover #672
• Fixes Remove Simulate proof mode #1626
• Fixes E2E flaky: prover_skips_preproven_commitments_test #1371
• Fixes Build pipeline -- light client depends on batch proof method id #1635

Testing

Describe how these changes were tested. If you've added new features, have you added unit tests?

Docs

Describe where this code is documented. If it changes a documented interface, have the docs been updated?

[eyusufatik]

If using VSCode, set the following key-value into your settings.json:

you can put a setting.json under .vscode under this pr I think.

Also create a test_builds.env file unders guests/ so that people can see the env vars in the repo

[kpp]

option_env!, please.

[codecov]

Codecov Report

Attention: Patch coverage is 63.68715% with 65 lines in your changes missing coverage. Please review.

Project coverage is 78.2%. Comparing base (04dff78) to head (443b7ed).
Report is 1 commits behind head on nightly.

Files with missing lines	Patch %	Lines
crates/citrea-stf/src/verifier.rs	0.0%	13 Missing ⚠️
...tes/sovereign-sdk/rollup-interface/src/fork/mod.rs	64.5%	11 Missing ⚠️
...ates/sovereign-sdk/rollup-interface/src/network.rs	0.0%	11 Missing ⚠️
crates/sovereign-sdk/rollup-interface/src/spec.rs	0.0%	10 Missing ⚠️
...overeign-sdk/adapters/mock-da/src/types/address.rs	86.4%	5 Missing ⚠️
bin/citrea/src/rollup/bitcoin.rs	0.0%	3 Missing ⚠️
crates/primitives/src/forks.rs	84.2%	3 Missing ⚠️
crates/light-client-prover/src/da_block_handler.rs	0.0%	2 Missing ⚠️
crates/prover-services/src/parallel/mod.rs	75.0%	2 Missing ⚠️
...module-system/sov-modules-stf-blueprint/src/lib.rs	0.0%	2 Missing ⚠️
... and 3 more

Additional details and impacted files

Files with missing lines	Coverage Δ
bin/citrea/src/lib.rs	0.0% <ø> (ø)
bin/citrea/src/main.rs	0.0% <ø> (ø)
bin/citrea/src/rollup/mock.rs	77.0% <100.0%> (-2.2%)	⬇️
crates/batch-prover/src/da_block_handler.rs	78.0% <100.0%> (ø)
crates/batch-prover/src/proving.rs	88.9% <100.0%> (-0.1%)	⬇️
crates/batch-prover/src/runner.rs	85.9% <100.0%> (ø)
crates/evm/src/evm/conversions.rs	98.0% <100.0%> (ø)
crates/evm/src/query.rs	89.6% <100.0%> (-0.1%)	⬇️
crates/fullnode/src/da_block_handler.rs	77.1% <100.0%> (-0.1%)	⬇️
crates/fullnode/src/runner.rs	82.3% <100.0%> (ø)
... and 25 more

... and 8 files with indirect coverage changes

[eyusufatik]

update all evm tests to use fork1 spec unless we test for specific behaviour going from genesis to fork1

option_env implemented