Reference Implementations
The AHL Protocol is designed to be language-agnostic.
Below is the official reference implementation by Dmitrii Zatona.
Rust Ecosystem (Primary)
ahl-core
The foundational statement, closure, and receipt library.
- Author: Dmitrii Zatona
- Purpose: Statement construction and validation for all seven statement types, commitment computation (
plain/keyed), Merkle tree operations, closure computation and verification, Evidence Receipt generation and verification for every claim type in the registry. - Status: Pre-release (private)
- License: Apache-2.0 (on publication)
- Source: Private repository; publication under Apache-2.0 is a gate for the public draft.
Deterministic Test-Vector Corpus
ahl-core ships the deterministic test-vector corpus described in Test Vectors: statement vectors for all seven types, batch/input-set/disposition tree vectors, closure computation over a published toy corpus, witness cosignature and refusal evidence, and Evidence Receipts for every claim type — including a deliberately over-claiming receipt that MUST fail verification.
SDKs & Multi-Language Support (Planned)
To ensure identical cryptographic and closure-computation behavior across environments, official SDKs will wrap the ahl-core Rust engine using WebAssembly (WASM) and Foreign Function Interface (FFI).
- JavaScript / TypeScript: Powered by WASM. Suitable for browser and Node.js environments.
- Python: High-performance bindings via FFI.
- Go: C-bindings for seamless integration with Go services.
This “Single Source of Truth” approach guarantees that a statement, closure, or receipt verified in one language behaves exactly the same in another, eliminating cross-platform inconsistency.
Log Adaptors (Planned)
AHL anchors into any log meeting the log-binding contract. A published, content-addressed adaptor profile is a publication gate for the public draft; ATL is the expected first adaptor, alongside Rekor and CT-style logs as candidates.