Spectre proofing the processor

 Memory which is neither readable nor writable. It has hardware limits on operations. Typically, make random key and make derivatives keys on that for output.  The random never goes to a programmable bus. But events have timeouts.

The hidden memory also has another random key. That random key makes public keys that only the foundry can decode.  Otherwise the instruction cache is Spectre proofed as normal, in the code. But the instruction cache has access to the key operations in kernel. The whole thing integrated,  trusted accounts can check the processor validity.

From there it is fairly simple to Spectre proof up the ledger, including operational codes. Block chain is simple. The processor holding the shard off the chain end point has its own public key on the account, and only that processor can double spend. A network of secure processors can share this secret.  From there, my shard server is running public mining code over the construction cache, as the contracts are proofed by call to external trusted miner.

So, any set of trusted miners can band together and create a shard chain, maintain a link of the Btc chain for short chain cash. I went over this once, but I want to remind again on account of covid is gone and the market has reopened. The timeout can be guaranteed on the shard root. The timeout count makes all this stuff work, negative or positive. But we need Spectre proofing because we really want a robotic account on the Btc chain.  Robotic owner with timeout makes short chain work in a proof of stake operation.

In the fundamental case this is simply ensuring a protocol is stable between parties. The protocol being a network exchange that balances account. The protocol cannot be stuck with half the exchange and needs a timeout cancellation.  Double spending is really a serialization problem. The protocol ensures that two ledger operations are in proper serial order on their respective ledgers. For Btc shards this means the Spectre proof bot cannot double spend until a known time.  And with high probability any counterfeit is quickly caught and you have courts. The same miners running the shard also run on Btc main.  

And counterfeits are very difficult, almost impossible as long as we have the foundry connection and a good random key generator.