DHT一致性语义

DHT事实意义上只保证最终一致性。现有的方案可以防止数据不可用/不耐久/被篡改，但是作恶节点可以轻易导致停滞（stalled）的返回结果。

借助可验证随机函数（verifiable random function）来保证非作恶节点高概率参与到操作当中（或者反过来说，操作不会在接触到非作恶节点之前结束），从而实现一致性语义的保证。