NEW: Brazil's state oil giant @Petrobras tests @Cardano blockchain to track green fuel certificates, using ADA to prevent double-counting of sustainable aviation fuel credits and trace renewable diesel through its supply chain.