Zero-Knowledge Rollup (ZK-Rollup)
ZK-Rollups, birden fazla işlemi tek bir işlemde birleştiren, doğruluklarını ana zincirde doğrulamak için sıfır bilgi kanıtları kullanan Katman-2 ölçeklendirme çözümleridir.
ZK-Rollups, işlemleri zincir dışı işleyerek ve ardından ana ağa bir geçerlilik kanıtı göndererek blockchain ölçeklenebilirliğini artırır. Bu kanıt, temel verileri ifşa etmeden zincir dışı işlemlerin bütünlüğünü doğrular. Bu yaklaşım, ana zincirdeki hesaplama yükünü önemli ölçüde azaltarak kullanıcılar için daha yüksek verim ve daha düşük işlem ücretlerine yol açar. Sıfır bilgi kanıtlarının kullanılması, durum geçişlerinin geçerli olmasını sağlayarak temel blockchain'in güvenliğini korur.
ZK-Rollups, diğer Katman-2 çözümlerine kıyasla ölçeklenebilirlik ve verimlilik açısından önemli bir avantaj sunar. İşlemlerin geçerliliğini doğrulamak için kriptografik kanıtlar kullanırlar, bu da daha hızlı işlem sürelerine ve daha düşük maliyetlere olanak tanır. Temel prensip, birden fazla işlemi tek bir toplu işlemde birleştirmeyi, öz bir kanıt oluşturmayı ve ardından bu kanıtı ana ağa göndermeyi içerir. Bu yöntem, ana ağın tüm işlemleri yeniden yürütmeden toplu işlemin geçerliliğini hızlı bir şekilde doğrulamasına olanak tanır.
graph LR
Center["Zero-Knowledge Rollup (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;
🧒 5 yaşındaki gibi açıkla
Binlerce matematik problemini yapmak için ayrı bir odaya sahip olmak gibidir. Herkese tüm çalışmanızı göstermek yerine, sadece ana odaya geri dönersiniz ve onlara tüm matematiği doğru yaptığınızı kanıtlayan tek bir 'sihirli sertifika' gösterirsiniz.
🤓 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.