艾达币（ADA）是Cardano区块链原生代币，采用Ouroboros权益证明机制、Haskell语言构建、双层架构设计及硬分叉组合器实现安全高效升级。
一、艾达币是卡尔达诺区块链的原生代币
艾达币（ADA）是Cardano区块链平台的原生加密货币，由Charles Hoskinson与Jeremy Wood于2015年发起，采用科学验证驱动的开发路径。该代币以19世纪数学家Ada Lovelace命名，体现其对计算逻辑根源的致敬。
二、基于Ouroboros权益证明机制
Ouroboros是首个经过同行评审的PoS共识协议，通过数学证明保障安全性与活性。该机制使节点无需高功耗硬件即可参与网络验证，大幅降低运行门槛并提升能源效率。
1、用户将ADA存入支持质押的节点或池中；
2、系统按持币比例分配区块奖励；
3、验证行为由随机选取的权益持有者执行，确保抗女巫攻击能力。
三、采用Haskell编程语言构建核心协议
Haskell是一种强类型、纯函数式语言，具备形式化验证支持能力，可精确建模智能合约与协议逻辑，显著减少运行时错误与漏洞风险。
1、所有关键模块均通过形式验证工具进行数学一致性校验；
2、交易脚本在部署前需通过Plutus验证器编译检查；
3、链上执行环境隔离关键状态变更操作，防止未授权修改。
四、双层架构设计实现功能解耦
Cardano将结算层（SL）与计算层（CL）分离，使ADA代币仅承载价值转移职能，而智能合约逻辑运行于独立可升级的计算层，提升系统稳定性与维护灵活性。
1、结算层负责ADA转账与余额记录；
2、计算层通过Plutus平台支持图灵完备合约部署；
3、两层间通过跨层消息协议同步必要状态数据。
五、硬分叉组合器支持无中断升级
该机制允许网络在不中断服务的前提下完成协议变更，所有节点可在预定区块高度自动切换至新版规则集，避免链分裂与用户操作中断。
1、升级提案经治理投票通过后进入准备阶段；
2、新旧协议并行运行指定区块数以验证兼容性；
3、触发时间点到达后全网节点同步启用新规则。
