Princípio de implementação de prova recursiva

Como projeto representativo do zk-Rollup, o StarkNet verifica a validade das transações de segunda camada por meio de prova de validade. Ou seja, L2 envia um certificado de validade para L1, e este é verificado pelo verificador de L1.

A implementação da prova recursiva pode ser dividida em duas partes: L3 envia uma prova de validade para L2 e é verificada por L2. L2 compacta múltiplas provas em uma e as envia para L1 para verificação.

Forme uma estrutura recursiva perfeita. #crypto2023

6/n🧵