Running Core's real consensus code inside a zkVM

Implementation
10

Agreed. There may be improvements I haven’t thought of yet.