设计理念

有效性证明
相信数学
欺诈性证明
相信人、奖励与惩罚机制