可验证证明

中本聪的比特币课程第2集谈及语义网应用程序、可证明公平游戏、可验证证明以及零知识证明。