Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Please see the eth2 specs repo https://github.com/ethereum/eth2.0-specs
Have you heard of the K framework? It has already been used to write an executable specification of EVM. It seems like a better fit for the use-case than Scala, since K can be used for model checking or formal verification.
Finally I am not sure if you are aware of bitcoin-s? It's a Bitcoin implementation and toolkit written in pure Scala. Note that it's not yet migrated to Scala 3 from what I can see. But maybe have better luck finding the person you are looking for in their community channels.