Synonyms:
Recursion
递归是计算机科学中的一种常见的逻辑结构。简单来说,它指的是一个函数或者算法在执行过程中不断调用自身的循环,直到满足某个终止条件为止。在区块链场景下,递归也被常用于零知识证明应用中,以实现对多个交易或者计算证明结果的逐层嵌套验证。
简单来说,递归的逻辑就像是一组 “俄罗斯套娃”:每一层娃娃里装着一个更小的娃娃,直到最后一个娃娃上面写着:到底了哦。对于递归零知识证明来说,验证者只需要看最外面的那一层,就知道这套俄罗斯套娃的结构了。进一步来说,递归证明就像套娃式的验证,最外层包含了所有内层的结果,既安全又高效。验证者只要看最外层那个娃娃(证明),就能确信里面所有小娃娃(所有子证明)都是正确的,不用一个个拆开检查。