zkEVM (Zero-Knowledge Ethereum Virtual Machine) — віртуальна машина з нульовими знаннями

zkEVM є EVM-сумісними середовищами виконання, які використовують докази нульових знань для перевірки правильності обчислень поза ланцюгом, що дозволяє масштабувати і приватні транзакції Ethereum.

zkEVM розроблені для виконання транзакцій Ethereum та смарт-контрактів, генеруючи докази з нульовим розголошенням. Ці докази дозволяють перевіряти дійсність транзакцій, не розкриваючи базові дані. Цей підхід значно покращує масштабованість, розвантажуючи обчислення з основного ланцюга Ethereum та зменшуючи витрати на транзакції. Різні типи zkEVM пропонують різні рівні сумісності з EVM, впливаючи на простоту міграції існуючих додатків.

        graph LR
  Center["zkEVM (Zero-Knowledge Ethereum Virtual Machine) — віртуальна машина з нульовими знаннями"]:::main
  Pre_cryptography["cryptography"]:::pre --> Center
  click Pre_cryptography "/terms/cryptography"
  Rel_ethereum["ethereum"]:::related -.-> Center
  click Rel_ethereum "/terms/ethereum"
  Rel_evm_ethereum_virtual_machine["evm-ethereum-virtual-machine"]:::related -.-> Center
  click Rel_evm_ethereum_virtual_machine "/terms/evm-ethereum-virtual-machine"
  Rel_scalability["scalability"]:::related -.-> Center
  click Rel_scalability "/terms/scalability"
  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;

      

🧒 Простими словами

🔐 Це як 'магічна копія' мозку [Ethereum](/uk/terms/ethereum). Вона може робити все те саме (контракти, додатки), але набагато швидше і дешевше, бо замість повторення кожного кроку вона просто показує основній мережі крихітний 'математичний чек' (доказ).

🤓 Expert Deep Dive

zkEVM класифікуються за рівнем сумісності. Тип 1 цілком еквівалентний Ethereum; Тип 2 еквівалентний EVM; Тип 4 компілює код (Solidity) у ZK-дружній байт-код. Вони покладаються на схеми ZK-SNARK/STARK.

🔗 Пов'язані терміни

Попередні знання:

📚 Джерела