ChainCatcher news, the Arbitrum development team Offchain Labs announced that they have written a complete and effective fraud proof program for the next-generation programming environment Stylus. Stylus allows users to deploy contracts written in their favorite programming languages, including Rust, C, C++, and more. Additionally, it enhances the security of Stylus contracts in WASM using Nitro and expands EVM+ support. Stylus is expected to undergo auditing this year and be ready for production. (source link)