PANews reported on June 11 that Ethereum co-founder Vitalik Buterin stated on social media that the design concept of "building index-tracking assets based on options rather than liabilities" has been implemented and iterated by multiple teams, who have showcased different implementation schemes in community posts. He emphasized that if the relevant protocol is planned to launch on the mainnet as soon as possible, formal verification should be completed before then, and specifically requested that the Vyper community and developers of formal verification tools such as Verity participate in security audits. Buterin also called for prioritizing "robust optimization oracles" in the design to reduce systemic risks when running on the mainnet in the future.