据 Foresight News 报道,零知识证明软件开发商 RISC Zero 推出智能合约证明器 Steel 1.0。Steel 将智能合约执行转移到链下,旨在提高运行效率的同时保持链上安全。