[Vitalik: Index Asset Solutions Built with Options Have Been Tested in the Ethereum Ecosystem] Ethereum co-founder Vitalik Buterin stated on social media that the design concept of 'constructing index-tracking assets based on options rather than debt' has been implemented and iterated by multiple teams. He shared various versions of implementation plans in a community post. He emphasized that if related protocols plan to go live on the mainnet soon, formal verification should be completed beforehand. He specifically called on the Vyper community and developers of formal verification tools like Verity to participate in security audits. Buterin also urged prioritizing 'robustly optimized oracles' in the design to reduce systemic risks when operating on the mainnet in the future.