4.2 可验证计算技术