Selvedge and execution with receipts

A sandbox can keep code in a corner, but it does not prove what happened inside. Selvedge wraps WASM and Kera execution in policy, deterministic replay,...