Hey all, as I was reading this thread, and inspired by @michaelsproul’s thoughtful message about end-to-end FVing Lighthouse, I decided it’s worth exploring the various avenues for end-to-end FVing an Ethereum client, building on @alexanderlhicks’s breakdown from above.
Here is our attempt (written with @kevaundray) at enumerating the various approaches that exist for end-to-end FV: Ethereum's TCB, Part 1: The client
For example, @ramana 's compile-via-CakeML route is our Option 5.