Принцип реализации рекурсивного доказательства

Будучи репрезентативным проектом zk-Rollup, StarkNet проверяет достоверность транзакций второго уровня посредством доказательства достоверности. То есть L2 отправляет сертификат действительности L1, и он проверяется верификатором L1.

Реализация рекурсивного доказательства может быть разбита на две части: L3 отправляет доказательство достоверности L2 и проверяется L2, сжимает несколько доказательств в одно и отправляет его L1 для проверки.

Сформируйте идеальную рекурсивную структуру. #crypto2023

6/н🧵