Carbon Capture Verification Through Dynamic Traceability and Oracles. - Diego Valdeolmillos Villaverde; Carlos Álvarez López; Mario González Morán (BLOCKCHAIN, 2024)