在 Noir 中使用 Barretenberg 的 UltraHonkBackend 进行递归聚合的连接。Honk 证明被其他嵌套的 Honk 证明递归验证,就像加密的俄罗斯套娃一样,全部缝合在 bb.js 中。 顺便说一下,@aztecnetwork 的开发者们要为这不可避免的脑动脉瘤负责。