2 Introduction
2.1 AMATELUS Protocol Overview
The AMATELUS protocol is a cryptographic authentication mechanism integrating:
Decentralized Identifiers (DIDs)
Verifiable Credentials (VCs)
Zero-Knowledge Proofs (ZKPs)
2.1.1 What AMATELUS Provides
AMATELUS delivers the following cryptographic capabilities:
Public key infrastructure (PKI) based distributed identifiers
Zero-knowledge proof-based attribute ownership verification
Verifiable credentials for claim issuance and storage
Cryptographic trust guarantees
2.1.2 What AMATELUS Does NOT Provide
AMATELUS does not provide:
Centralized directory services (DID resolution is local-only)
Mediation or relay infrastructure
User authorization decisions
Communication endpoint management
Message delivery guarantees
2.1.3 Design Philosophy
AMATELUS is a cryptographic authentication mechanism, not a communication infrastructure.
The boundary between cryptographic verification (AMATELUS responsibility) and service provision (service provider responsibility) eliminates distributed infrastructure complexity while preserving cryptographic security properties.
2.2 Scope of Formal Verification
The Lean development models protocol data and decision rules under abstract cryptographic interfaces. A field-preservation theorem, a terminating recursion, or a numeric security-parameter inequality is not a proof of end-to-end protocol security. Production signature verification, ZKP circuit soundness, canonical serialization interoperability, randomness, trusted time and operational identity checks require separate validation. The revised audit, presentation and revocation chapters state which facts are proved and which remain verifier or issuer contracts.