Contracts serialized?

 I hope os, let me assum that.

Then for any participant who has completed a term in the contract will pass the entire contract remaining to the next participant. Each point where a term is completed, the block chain advances, recording  tem completions.

So, I guess, that is the bi deal with ethereum, really an escrow service. And here value added is automated security from race conditions via provability.  I am thinking we need a simple contract byte code the kernel can interpret right inside the instruction cache.  Most of the critical components of contracts is validation of an external ledger entry. Making sure payments were made and managing  recalls within timeout.  A simple byte code interpreter could simply be a compile time restriction to a limit set of binary code. Then spectre specifies compile time equivalence, and we can check sum each stable portion of  contract clauses, right in the instruction cache.   

So we have secured the codes, keys and bots from thumb print to pricing in the pits. We are perfectly compatible with btc, eth, dollars, and tethers.  The technology extends t any spectre compatible set up, having enforceable contracts.  We can divide BTC coins into any number of small cash pieces, collect them in whole or part, and put them back on block chain.  Smart card can handle ethereum contracts, as is. It can be a robotic Swift account, dispensing dollar bearer cash via a shadow network.

Smart card has enforceable contracts with Due Process stable exits. iPhone can do it. What is not to like?