Skip to content

Repository files navigation

Kaimeter

DOI Paper

Open, verifiable CBAM compliance: the CBAM methodology encoded as executable, hash-identified rule bundles, with zero-knowledge proofs that a declared embedded-emissions figure is the correct output of the identified rules — without disclosing the underlying activity data. The design and its legal fit are set out in the working paper Prove, Don't Disclose (Kaimeter Working Paper 2026-01).

Release status

Release Target Content Status
paper-v1.1 September 2026 Working paper preprint, DOI 10.5281/zenodo.22740284 Published 2026-09-15
v0.1 October 2026 kaimeter-rules: period, sector-dependent mark-ups, default-value selection, Art. 14 precursor averaging, scope table for current Annex I aluminium codes; primary aluminium with slope-method PFCs; the Appendix B vector passing at full precision; bundle-hash; no prover Released 2026-09-16
v0.2 November 2026 First fixed-interpreter zkVM guest evaluating the aluminium bundle as witness with in-circuit bundle hash; native/guest differential tests; overvoltage method; secondary aluminium; two-supplier precursor vector Planned
v0.3 Q1 2027 Steel sector; proof envelope and offline verifier; stable interpreter image IDs; attestation-policy schema and key resolution; signed bundle distribution; reproducible-build pipeline with SBOM and provenance Planned
Later 2027–2028 Cement and fertilisers (indirect emissions); hydrogen; Article 9 once adopted; downstream module as adopted; recursive proof composition; independent circuit audit Planned

Repository layout

Path Purpose
crates/ Reference implementation crates (kaimeter-rules)
paper/ Working paper sources, LaTeX template, build script and conformance vectors
xtask/ Repository automation, including the comment-policy check
.github/workflows/ Rust quality gates and the paper build and validation workflow

License

About

Kaimeter — the open, auditable CBAM toolkit

Resources

Contributing

Stars

6 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages