Foresight News 消息，零知識證明軟件開發商 RISC Zero 推出智能合約證明器 Steel 1.0，Steel 將智能合約執行轉移到鏈下，旨在提高運行效率的同時保持鏈上安全。