gxceed
← 論文一覧に戻る

Software/code supporting "Emission Impossible: Cryptographically Verifiable Carbon Emissions Reporting for Cloud Computing"

「不可能な排出：クラウドコンピューティングのための暗号学的に検証可能な炭素排出報告」を支援するソフトウェア/コード (AI 翻訳)

Jessica Man, Martin Kleppmann

Apollo (University of Cambridge)ジャーナル2026-05-25#炭素会計経営インパクト: 調達リスク対象セクター: it
DOI: 10.17863/cam.130100
原典: https://doi.org/10.17863/cam.130100

🤖 gxceed AI 要約

日本語

本コードリポジトリは、クラウドコンピューティングにおける炭素排出量の暗号学的検証を可能にするゼロ知識証明システムの実装です。o1jsフレームワークを用いた3つのzkプログラム、証明者・検証者実装、サンプルデータ生成コードが含まれます。このプロトタイプにより、排出量報告の改ざん防止と透明性が向上します。

English

This code repository implements a zero-knowledge proof system for cryptographically verifiable carbon emissions reporting in cloud computing. It includes three zk programs using the o1js framework, prover/verifier implementations, and sample data generation. The prototype enhances tamper-proof transparency of emissions disclosures.

Unofficial AI-generated summary based on the public title and abstract. Not an official translation.

📝 gxceed 編集解説 — Why this matters

日本のGX文脈において

日本では、SSBJ（サステナビリティ基準委員会）の開示基準や有報でのGHG排出量報告が義務化されつつあります。本技術は、報告データの信頼性を暗号学的に担保するもので、日本企業の開示品質向上と投資家からの信頼獲得に寄与する可能性があります。

In the global GX context

Globally, TCFD/ISSB frameworks emphasize reliable emissions data. This work introduces cryptographic verifiability to carbon reporting, addressing greenwashing risks in cloud supply chains. It aligns with the need for auditable disclosure infrastructure.

👥 読者別の含意

🔬研究者:Researchers in carbon accounting and verifiable computing can explore the integration of zero-knowledge proofs with emissions reporting.

🏢実務担当者:Cloud providers and their customers can use this prototype to design verifiable emission reports, enhancing trust in sustainability claims.

🏛政策担当者:Policymakers should note that cryptographic methods can enable cost-effective, tamper-evident compliance with disclosure regulations.

📄 Abstract（原文）

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.

🔗 Provenance — このレコードを発見したソース

🔔 こうした論文の新着を逃したくない方は キーワードアラート に登録（無料・3キーワードまで）。

gxceed は公開メタデータに基づく研究支援データセットです。要約・翻訳・解説は AI 支援で生成されています。 最終的な解釈・検証は利用者が原典資料に基づいて行うことを前提とします。