在分布式计算中，认证方案由一组状态及其上的条件构成，使得图中的每个节点能够高效地验证……