Orochi Network
  • 🚀Projects
    • 🔮Orochi Network
    • ☢️Orand: Decentralized Random Number Generator
      • 💟Contributing Guidelines
      • 🗒️Terminologies
      • 🤖Protocol
      • 📦Packages
        • 🀄Verifiable Random Function
        • 💫Publicly Verifiable Secret Sharing
        • 💾Key Value Storage
    • 🪄Orocle: Decentralized Oracle
    • 🛰️Orocom: Immutable Ledger Driver
    • 🐋Orosign: On-chain Custodian
    • 📟zkEVM: Verifiable EVM
    • 🦸zkWASM: Verifiable WebAssembly Runtime
  • Information
    • 💡Operation Team
    • 🎓Research Team
Powered by GitBook
On this page
  1. Projects

zkEVM: Verifiable EVM

A verifiable EVM powered by Succinct Non-Interactive Argument of Knowledge (SNARK)

We’re using soundness and completeness properties of Zero-Knowledge Proof (PLONK) to build up a Verifiable Executor version of Ethereum Virtual Machine (EVM). This approach allowed to move all expensive on-chain computation to off-chain.

Our zkEVM (Verifiable EVM, vEVM) is also an EVM, there is no need for any unique toolchains to develop smart contracts for zkEVM. The migration cost would be minimized to zero.

PreviousOrosign: On-chain CustodianNextzkWASM: Verifiable WebAssembly Runtime

Last updated 2 years ago

🚀
📟