This is the implementation of the prototype for the "Emission Impossible: Cryptographically Verifiable Carbon Emissions Reporting for Cloud Computing" paper accepted at the 17th ACM International Conference on Future and Sustainable Energy Systems (E-Energy '26). In the zip file you will find the src directory, which contains the code for three proof-generating zk programs using o1js framework, the prover and verifier implementation, and code to generate sample data. There is also a test directory that contains code to do some sanity checks.