Decentralized Carbon Market
What is the project about?
Several blockchains projects are working towards a decentralized market place for carbon credits. Due to the distributed nature of climate data and lack of transparency in CO2 accounting, blockchains are a unique technology for this application. However, current initiatives lack scientific underpinning, standardization, and security of implementation. The latter is crucial due to billions lost each due to do hacking.
In this project research was carried out to describe the science behind decentralized carbon markets or more specifically on token standards for Green DeFi such as semi-fungible tokens. The researchers in the project specified details about these tokens and their security properties and furthermore integrated these in a prototype Decentralized exchange.
Host Institution(s):
Aarhus University (AU)
Principal Investigator:
Bas Spitters, Associate Professor, Department of Computer Science
Partners:
Concordium ApS and Nomadic Labs
Grant:
200.000 DKK
Looking for more?
SOFTWARE
You can access the software developed in the project on github with a permissive open source license here:
LINK
RESEARCH ARTICLE
Formalising Decentralised Exchanges in Coq by Eske Hoy Nielsen, Danil Annenkov, Bas Spitters:
LINK
BLOGPOST
Please read a blogpost about the project here:
LINK

Curious for more?
Check out the projects below!