On October 8, RISC Zero, a zero-knowledge proof software developer, launched Steel 1.0, a smart contract prover that moves smart contract execution off-chain, with the aim of improving operational efficiency while maintaining on-chain security.