信頼できる検証プロトコルを備えた分散システムのためのサンプリングに基づく証明

合理的な参加者に正直な行動を促すナッシュ均衡に基づく安全で汎用的なサンプリングベースの検証プロトコルを提案する。