According to Foresight News, zero-knowledge proof software developer RISC Zero has launched the smart contract prover Steel 1.0. Steel transfers the execution of smart contracts to the off-chain, aiming to improve operational efficiency while maintaining on-chain security.