6.2 可验证随机函数