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(vitalik.eth)