Add resource constraints to arbos storage and precompiles for resource constraints

[MishkaRogachev]

Closes NIT-3963, closes NIT-3978 and closes NIT-3488

Depends on:

• Add resource constraint methods to ArbOwner and ArbGasInfo nitro-precompile-interfaces#14
• feat: Update precompiles on resource constraint methods nitro-contracts#384
• arbitrum: Add helper to check resource kind go-ethereum#504

Implemented:

• Add weights to resource constraints with corresponding tests
• RLP Encode/decode for resource constraints
• Add resource constraints to arbos storage
• Add ArbOwner precompiles for resource constraints
• Add a system test for resource constraints precompiles

[github-actions]

❌ 7 Tests Failed:

Tests completed	Failed	Passed	Skipped
2156	7	2149	0

View the top 3 failed tests by shortest run time

TestMultipleResourceConstraintsPrecompiles

Stack Traces | 0.820s run time

=== RUN   TestMultipleResourceConstraintsPrecompiles
DEBUG[10-15|15:00:12.143] Dereferenced trie from memory database   nodes=217 size=29.93KiB   time="225.513µs"  gcnodes=2015 gcsize=384.19KiB  gctime=1.661673ms  livenodes=0    livesize=0.00B
INFO [10-15|15:00:12.143] New Key                                  name=Owner         Address=0x26E554a8acF9003b83495c7f45F06edCB803d4e3
INFO [10-15|15:00:12.143] New Key                                  name=Faucet        Address=0xaF24Ca6c2831f4d4F629418b50C227DF0885613A
WARN [10-15|15:00:12.143] Sequencer ReadFromTxQueueTimeout is higher than MaxBlockSpeed ReadFromTxQueueTimeout=1s MaxBlockSpeed=10ms
WARN [10-15|15:00:12.143] Sequencer ReadFromTxQueueTimeout is higher than MaxBlockSpeed ReadFromTxQueueTimeout=1s MaxBlockSpeed=10ms
=== PAUSE TestMultipleResourceConstraintsPrecompiles
=== CONT  TestMultipleResourceConstraintsPrecompiles
�[38;5;48;1myay!! we validated block 3 in 392.92ms�[0;0m
INFO [10-15|15:05:56.183] HTTP server stopped                      endpoint=127.0.0.1:38507
TRACE[10-15|15:05:56.183] P2P networking is spinning down
    resource_constraints_test.go:130: expected periodSecs=12 got 30
--- FAIL: TestMultipleResourceConstraintsPrecompiles (0.82s)

TestRedisProduceComplex/one_producer,_all_consumers_are_active

Stack Traces | 1.280s run time

... [CONTENT TRUNCATED: Keeping last 20 lines]
�[36mDEBUG�[0m[10-15|14:56:45.313] checkResponses                           �[36mresponded�[0m=50 �[36merrored�[0m=0 �[36mchecked�[0m=100
�[36mDEBUG�[0m[10-15|14:56:45.319] redis producer: check responses starting
�[36mDEBUG�[0m[10-15|14:56:45.364] checkResponses                           �[36mresponded�[0m=50 �[36merrored�[0m=0 �[36mchecked�[0m=50
�[31mERROR�[0m[10-15|14:56:45.369] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[36mDEBUG�[0m[10-15|14:56:45.370] redis producer: check responses starting
�[36mDEBUG�[0m[10-15|14:56:45.370] checkResponses                           �[36mresponded�[0m=0  �[36merrored�[0m=0 �[36mchecked�[0m=0
�[31mERROR�[0m[10-15|14:56:45.372] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[31mERROR�[0m[10-15|14:56:45.374] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[36mDEBUG�[0m[10-15|14:56:45.375] redis producer: check responses starting
�[36mDEBUG�[0m[10-15|14:56:45.375] checkResponses                           �[36mresponded�[0m=0  �[36merrored�[0m=0 �[36mchecked�[0m=0
�[31mERROR�[0m[10-15|14:56:45.375] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[31mERROR�[0m[10-15|14:56:45.378] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[31mERROR�[0m[10-15|14:56:45.378] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[31mERROR�[0m[10-15|14:56:45.379] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
�[36mDEBUG�[0m[10-15|14:56:45.381] redis producer: check responses starting
�[36mDEBUG�[0m[10-15|14:56:45.381] checkResponses                           �[36mresponded�[0m=0  �[36merrored�[0m=0 �[36mchecked�[0m=0
�[31mERROR�[0m[10-15|14:56:45.381] Error from XpendingExt in getting PEL for auto claim �[31merr�[0m="context canceled" �[31mpenindlen�[0m=0
    pubsub_test.go:331: mergeMaps() unexpected error: duplicate key: 1760540204175-1
�[36mDEBUG�[0m[10-15|14:56:45.449] Error destroying a stream group          �[36merror�[0m="dial tcp 127.0.0.1:36463: connect: connection refused"
--- FAIL: TestRedisProduceComplex/one_producer,_all_consumers_are_active (1.28s)

TestValidationInputsAtWithWasmTarget

Stack Traces | 2.860s run time

=== RUN   TestValidationInputsAtWithWasmTarget
=== PAUSE TestValidationInputsAtWithWasmTarget
=== CONT  TestValidationInputsAtWithWasmTarget
    validation_inputs_at_test.go:70: goroutine 1490853 [running]:
        runtime/debug.Stack()
        	/opt/hostedtoolcache/go/1.25.3/x64/src/runtime/debug/stack.go:26 +0x5e
        github.com/offchainlabs/nitro/util/testhelpers.RequireImpl({0x408b3f0, 0xc074fc0a80}, {0x4049180, 0xc0a90e5980}, {0x0, 0x0, 0x0})
        	/home/runner/work/nitro/nitro/util/testhelpers/testhelpers.go:29 +0x55
        github.com/offchainlabs/nitro/system_tests.Require(0xc074fc0a80, {0x4049180, 0xc0a90e5980}, {0x0, 0x0, 0x0})
        	/home/runner/work/nitro/nitro/system_tests/common_test.go:1723 +0x5d
        github.com/offchainlabs/nitro/system_tests.TestValidationInputsAtWithWasmTarget(0xc074fc0a80)
        	/home/runner/work/nitro/nitro/system_tests/validation_inputs_at_test.go:70 +0x970
        testing.tRunner(0xc074fc0a80, 0x3cd3168)
        	/opt/hostedtoolcache/go/1.25.3/x64/src/testing/testing.go:1934 +0xea
        created by testing.(*T).Run in goroutine 1
        	/opt/hostedtoolcache/go/1.25.3/x64/src/testing/testing.go:1997 +0x465
        
    validation_inputs_at_test.go:70: �[31;1m [] failed calculating position for validation: batch not found on L1 yet �[0;0m
--- FAIL: TestValidationInputsAtWithWasmTarget (2.86s)

📣 Thoughts on this report? Let Codecov know! | Powered by Codecov

[gligneul]

I wonder if we should add a field with a version number, in case we want to change this in the future.

[gligneul]

For the multi single-dimensional constraints, we decided to store each field directly to storage. I wonder whether we should do the same for the multi-dimensional constraints. We should check with the team before proceeding.

[eljobe]

I think we should. But, I also think we should talk with @tsahee and @hkalodner about the tradeoffs here to understand the historical context for using this tree of storage objects.

[MishkaRogachev]

I would love to revisit this PR and rethink it after completing work on Multi-Constraint Pricer. It will definitely be possible to reuse it.