Aleo 用同一个 snarkOS 程序分出三类节点：验证者只管共识、客户端做全节点服务、证明者专职解题换奖励。本文按官方 README 与文档梳理三类节点的职责、分层拓扑与随之而来的信任边界。