AMATELUS Protocol Spec

2 Introduction

2.1 AMATELUS Protocol Overview

Definition 1
✓
#

Lean declarations

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

Proposition 2
✓
#

Uses

Lean declarations

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

Proposition 3
#

Uses

Lean declarations

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

Proposition 4
✓
#

Uses

Lean declarations

AMATELUS is a cryptographic authentication mechanism, not a communication infrastructure.

Theorem 5
✓
#

Uses

Lean declarations

The boundary between cryptographic verification (AMATELUS responsibility) and service provision (service provider responsibility) eliminates distributed infrastructure complexity while preserving cryptographic security properties.