Ethereum co-founder Vitalik Buterin announced that the concept of creating index-tracking assets using options has been successfully tested within the Ethereum ecosystem. Multiple teams have implemented and iterated on this design, presenting various solutions in community discussions. Buterin stressed the importance of completing formal verification before any protocol launches on the mainnet, urging the involvement of the Vyper community and developers of verification tools like Verity for security audits. He also highlighted the need for robust optimization oracles to minimize systemic risks in future mainnet operations.