@cwebber have you seen what the deepspec people are up to? Want a proof chain from the app specification to the processor. https://deepspec.org/