Selvedge en uitvoering met bewijsrecords

Een sandbox kan code in een hoek houden, maar bewijst niet wat er binnen gebeurde. Selvedge wikkelt WASM- en Kera-execution in policy, deterministische...