According to Foresight News, RISC Zero, a zero-knowledge proof software developer, tweeted that it will deploy a verifier on Starknet. This will enable developers to perform unlimited computations, thereby enhancing their expressiveness in Rust and enabling cross-verification between proof systems.
