Prototypes with Spectre (consensus) and Axiom (storage) proofs integration - View it on GitHub