设计理念

有效性证明

相信数学

欺诈性证明

相信人、奖励与惩罚机制