Adopt spawned v0.7: ActorSystem shutdown, supervision, test mocks, metrics and a testing roadmap

Cargo.toml

@@ -90,8 +90,13 @@ hex = "0.4"
 hmac = "0.12"
 base64 = "0.22"
 
-spawned-concurrency = "0.5.0"
-spawned-rt = "0.5.0"
+# spawned main b1a17e6c (v0.7.0 plus canary and drop-panic fixes) plus the unreleased spawned-test crate (lambdaclass/spawned#198). Every
+# spawned crate must name the same revision so they share one set of types.
+# `metrics`: the actor runtime's own counters (mailbox depth, queue wait,
+# handler time, actor exits), appended to `/metrics` by ethlambda-rpc.
+spawned-concurrency = { git = "https://github.com/lambdaclass/spawned", rev = "fc35abafe7a850aa27f4b511b60e28dc49b4a393", features = ["metrics"] }
+spawned-rt = { git = "https://github.com/lambdaclass/spawned", rev = "fc35abafe7a850aa27f4b511b60e28dc49b4a393" }
+spawned-test = { git = "https://github.com/lambdaclass/spawned", rev = "fc35abafe7a850aa27f4b511b60e28dc49b4a393" }
 tokio = "1.0"
 tokio-util = "0.7"
 

README.md

@@ -494,6 +494,8 @@ Some features we are looking to implement in the near future, in order of priori
 - [Add a guest program and ZK proving of the STF](https://github.com/lambdaclass/ethlambda/issues/156)
 - Rewrite the STF in the concrete programming language to enable formal verification
 
+The [testing and verification roadmap](docs/testing_roadmap.md) proposes how we plan to test the client: a seeded chain-logic simulator first, then model checking, fault injection and long-running soak tests.
+
 ### Experimental features
 
 We have a proof-of-concept formalization of a part of the state transition function in Lean4 in PR [#269](https://github.com/lambdaclass/ethlambda/pull/269).

bin/ethlambda/Cargo.toml

@@ -36,6 +36,7 @@ rayon.workspace = true
 libssz.workspace = true
 libssz-types.workspace = true
 
+spawned-concurrency.workspace = true
 tokio.workspace = true
 tokio-util.workspace = true
 tracing.workspace = true