Reference Implementations

The ATL Protocol is designed to be language-agnostic.

Below are the official reference implementations by Dmitrii Zatona (Evidentum Labs, Inc.).

Rust Ecosystem (Primary)

atl-core 

The foundational cryptographic library.

• Author: Dmitrii Zatona (Evidentum Labs, Inc.)
• Purpose: Pure math, Merkle proofs, Checkpoint verification, JCS.
• Status: Private
• License: Apache-2.0

atl-server 

The reference log operator implementation.

• Author: Dmitrii Zatona (Evidentum Labs, Inc.)
• Purpose: Storage, Ingestion API, Master Tree aggregation, Bitcoin/TSA anchoring.
• Status: Private
• License: Apache-2.0

atl-cli 

Command-line verification tool.

• Author: Dmitrii Zatona (Evidentum Labs, Inc.)
• Purpose: Offline verification of .atl receipts, auditing logs.
• Status: Private
• License: Apache-2.0

SDKs & Multi-Language Support (Planned)

To ensure identical cryptographic behavior across all environments, we are developing official SDKs that wrap the atl-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 receipt verified in one language will behave exactly the same in another, eliminating cross-platform inconsistency.