Laut Foresight News hat der Entwickler von Zero-Knowledge-Proof-Software RISC Zero Steel 1.0 vorgestellt, einen Smart-Contract-Prover. Steel zielt darauf ab, die Ausführung von Smart Contracts außerhalb der Blockchain zu verlagern und so die betriebliche Effizienz zu steigern und gleichzeitig die Sicherheit in der Blockchain aufrechtzuerhalten.