We built a proof of concept (incomplete) which included smart contracts for Put and Call options, support for pBTC as collateral and DAI for payment of option premia, and an on and off ramp for going between pBTC and tBTC.

How it's made

Solidity for smart contracts, + flask for the incomplete DApp. pBTC<>tBTC app built using React and ptokenjslib.