以太坊进阶

以太坊基础架构（账户模型、EVM 执行环境、交易池机制）参见 以太坊基础。进阶部分主要讨论以太坊网络层的可扩展性演进、计算外包模型与前沿密码学证明系统：

• Rollup 扩容机制：将交易执行下沉至 Layer 2，通过数据可用性（DA）、有效性/欺诈证明以及双向跨链桥将最终安全性锚定在以太坊主网。分析 L2 系统需系统考察状态根提议与争议裁决机制、数据发布成本结构，以及抗审查强制提款通道。
• 零知识证明系统：基于多项式承诺与算术化约束系统的完备性（Completeness）、可靠性（Soundness）与零知识性（Zero-Knowledge）。有效性证明（Validity Proof）保障了链下计算状态转移在代数层面满足预设规则，构成了 ZK-Rollup 与隐私计算的基础。

关于智能合约工程层面的安全审计与进阶复合漏洞模型，已统一归并在 安全与审计 专题中。