Carbon taxes are easy. You tax anyone who pulls it out of the ground or imports it. With international agreements you might drop the import tax and let to source country tax the extraction. The producers will just pass the added cost on to the users. Even this simple solution will be shot down by politics.