How a crypto protocol uses DeFi and tokenized carbon offsets to push companies to reduce their carbon emissions and help projects that reduce emissions elsewhere.