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