ZK-Rollup
ZK-Rollups são soluções de escalabilidade de Camada 2 que agrupam múltiplas transações em uma única transação, usando provas de conhecimento zero para validar sua correção na cadeia principal.
ZK-Rollups aprimoram a escalabilidade do blockchain processando transações fora da cadeia e, em seguida, enviando uma prova de validade para a mainnet. Essa prova confirma a integridade das transações fora da cadeia sem revelar os dados subjacentes. Essa abordagem reduz significativamente a carga computacional na cadeia principal, levando a maior taxa de transferência e taxas de transação mais baixas para os usuários. O uso de provas de conhecimento zero garante que as transições de estado sejam válidas, mantendo a segurança do blockchain subjacente.
ZK-Rollups oferecem uma vantagem significativa em termos de escalabilidade e eficiência em comparação com outras soluções de Camada 2. Eles aproveitam provas criptográficas para verificar a validade das transações, permitindo tempos de transação mais rápidos e custos reduzidos. O princípio central envolve o agrupamento de múltiplas transações em um único lote, gerando uma prova sucinta e, em seguida, enviando essa prova para a mainnet. Esse método permite que a mainnet verifique rapidamente a validade do lote sem reexecutar todas as transações.
graph LR
Center["ZK-Rollup"]:::main
Pre_zero_knowledge_proof["zero-knowledge-proof"]:::pre --> Center
click Pre_zero_knowledge_proof "/terms/zero-knowledge-proof"
Rel_optimistic_rollup["optimistic-rollup"]:::related -.-> Center
click Rel_optimistic_rollup "/terms/optimistic-rollup"
Rel_validium["validium"]:::related -.-> Center
click Rel_validium "/terms/validium"
Rel_data_availability["data-availability"]:::related -.-> Center
click Rel_data_availability "/terms/data-availability"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 Explique como se eu tivesse 5 anos
Certificado mágico.
🤓 Expert Deep Dive
ZK-Rollups leverage succinct non-interactive arguments of knowledge (SNARKs or STARKs) to compress transaction data and provide cryptographic validity. The process typically involves an operator (sequencer) collecting transactions, executing them off-chain, generating state transitions, and constructing a validity proof. This proof attests to the correctness of the state transition function applied to the batch of transactions. The Layer-1 contract verifies this proof, which is computationally cheaper than re-executing all transactions. State updates are managed via state roots stored on-chain. Data availability is a critical component; ensuring that the transaction data (or at least its compressed representation) is available off-chain (e.g., via data availability committees or posting compressed data to Layer-1 calldata) is crucial for users to reconstruct the state and exit the rollup if the operator misbehaves. Different ZK-Rollup designs vary in their proof systems (SNARK vs. STARK), data availability strategies, and mechanisms for handling withdrawals and potential operator failures.