Carbon Capture Verification Through Dynamic Traceability and Oracles | Publicación