According to Foresight News, zero-knowledge proof software developer RISC Zero has introduced Steel 1.0, a smart contract prover. Steel aims to shift the execution of smart contracts off-chain, enhancing operational efficiency while maintaining on-chain security.