See https://github.com/leanEthereum/leanSpec/pull/622 For now the spec uses a dummy fork digest (`12345678`), but we should structure the code to allow this to change in the future.
See leanEthereum/leanSpec#622
For now the spec uses a dummy fork digest (
12345678), but we should structure the code to allow this to change in the future.