3.1.2 可验证计算及其设计