# @vitalik.eth: options-based index tracking assets being built urges verification

Source: https://farcaster.xyz/vitalik.eth/0xd096c742

## Summary

Vitalik Buterin says options-based index tracking assets are already being built and urges that any of them be formally verified before reaching mainnet. He points readers to an Ethereum Research thread where people are developing different versions of the idea, which builds index-tracking assets on top of options instead of debt. He also hopes the Vyper team and the Verity project, with Fricoben, can help with verification and notes that now is a good time to think about robustness-optimized oracles.

## Article

Looks like the options thing is happening already!

See also: various people thinking through and building different versions of the idea in the thread: https://ethresear.ch/t/building-index-tracking-assets-on-top-of-options-instead-of-debt/25036

Though I do strongly urge that if any of these get on mainnet quickly, we formally verify it first. I hope @vyperlang and/or https://github.com/lfglabs-dev/verity folks ( @Fricoben) can help!

(Also, now is a good time to be thinking about robustness-optimized oracles)
 https://firefly.social/post/x/2064949619583308107