10月8日消息，零知识证明软件开发商 RISC Zero 推出智能合约证明器 Steel 1.0，Steel 将智能合约执行转移到链下，旨在提高运行效率的同时保持链上安全。