選擇權合成資產十天冒出三個實作，Vitalik：上主網前先過形式驗證

Vitalik Buterin 6 月 1 日在 ethresear.ch 提出用選擇權取代債務型抵押來打造指數追蹤資產：把 1 顆 ETH 拆成漲、跌兩種憑證，到期才結算一次，讓合成資產同時擺脫強制清算與即時預言機這兩個 DeFi 的老風險。構想發表當下還只是研究貼文，沒有任何實作。

6 月 11 日他發文說「這件事已經在發生」：討論串十天內出現至少三個實作，包括已上線的 SIR、Czar102 的 Blueprints 設計，以及 Mayur Chougule 在 Base 上用實物交割結算、不讀價格預言機的版本，另有 Cleave 測試網跟進。Vitalik 同時畫下安全線：要快速上主網的版本得先通過形式驗證，並點名 Vyper 與 LFG Labs 的 Verity 團隊協助。