We are about to run out of our funds procured during GG19 and GG20. New funds will be used to pay the project developer to flesh out the execution engine and storage mechanisms for the memory and state tries inside a motoko canister.  If enough are left over we can builds support libraries such as contract and memory importers that can allow soft forking of data from existing evm chains into the execution environment for transaction simulation and verification.