DeHedge — Decentralized risk-hedging CRYPTOCURRENCY