devcon 6 / technical details of the opcode compatible zkevm
- YouTube
- IPFS
- Details
Technical Details of the Opcode Compatible zkEVM
Duration: 00:25:11
Speaker: Jordi Baylina
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Oct 2022
I will explain some technical details on how we, at PolygonHermez, built the opcode compatible zkEVM. This will include some design details of specific pieces like the storage, the arithmetic state machine, the keccak circuit, among others. I will also go thru some snippets of the zkASM code that emulates the Ethereum VM. I will include in the talk some performance measures and I will do a live demo of the testnet.
Categories
- Related
Devcon
Breakout
25:06
Scalabilty with zKSNARKs
Scalabilty with zKSNARKsThis session will introduce iden3’s zkSNARKs implementation and how it will be used at two scenarios: For the trustless relayer implementation at the identity management environment, allowing the identities to perform claims without cost at big scale.And the rollup project for Ethereum scalability, allowing verifiable computation off-chain to increase transaction throughput
Devcon
Talk
20:52
Scalable Blockchains & Asynchronous Programming
Ethereum's Vitalik Buterin presents on scalability and asynchronous programming.
Devcon
Talk
19:25
zkEVM Vs EVM: Full Equivalence?
At Polygon-Hermez we have bet for the zero-knowledge EVM to solve Ethereum scalability. We will talk about what is the ZK-EVM and how are we dealing with it at Polygon. We will explain the differences between zkEVM and EVM, Also the main challenges, tricks, tech decisions and differences we had to apply to achieve EVM compatibility will be explained.
Devcon
Talk
25:22
Less Gas, More Fun: Optimising Smart Contracts through Yul
Due to the relative simplicity of the Ethereum Virtual Machine, it is possible to perform heavy analyses in order to optimize bytecode. The jump operations are a main obstacle for this, because they might require a preservation of all basic blocks in the worst case. To overcome this, Solidity's new optimizer operates on an intermediate language called Yul, which is close to EVM bytecode (and also wasm) but abstracts jump operations through real function calls. Each of the many optimizing operations are simple local equivalence transforms whose effects can be inspected at any time and which in combination should be both more reliable and efficient than the classic optimizer.
Devcon
Talk
22:13
Raiden Network: Getting to a production ready payment channel network
The Raiden Network is the payment channel network for Ethereum aiming to help scale Ethereum payment and all Dapps that utilize Ethereum for payments and rely on no on-chain side effects of the payments. There will be a small explanation of what is payment channels and a payment channel network, an explanation of the raiden network protocol and a demo of using Raiden (hopefully by then live on the mainnet). We will close with future plans, expansion of the protocol and showcasing potential applications.
Devcon
Lightning Talk
An Overview and Wishlist for Rollup Escape Hatches
Escape hatches are meant to be a way to exit assets or state from a rollup in the hopefully unlikely event that sequencers are offline. In this talk, we review which projects have these hatches and what plans are publicly available for future rollups or versions of these rollups. We list some ideas that these, and other rollups, may implement or adopt in the future, for more robust and secure rollups. The suggestions will be rooted in our concern for security and the issues presented by bridges.
Devcon
Talk
21:20
ENS Cross Chain Integration Strategy
In general, most cross chain use cases are “asset transfer” for bridges to cross tokens from one chain to another then each application deploys the exact copy from L1 to other chains. However, ENS (Ethereum Name Service) has a set of unique challenges because ENS functions as a “global address book” to resolve addresses on any chains from any wallets. We have received lots of requests from chains and dapp developers about how to integrate ENS into their chain of choice and I am going to explain
Devcon
Talk
25:29
Scroll Pre-Alpha Testnet Upgrade
Why do we need secure scaling? How is Scroll different from existing zkRollups? What can Scroll bring to users and developers? In this 20-minute session, we will introduce the design, principles, and the whole workflow of zkEVM, demonstrate our bytecode-level compatible zkEVM on testnet, and show you how easy it is for developers to deploy smart contracts on it.
Devcon
Talk
24:16
Understanding L2: Ordering and Execution (aka Everything You've Always Wanted to Know About Sequencers But Were Afraid To Ask)
Overview of design patterns in handling ordering and execution; will cover separation of roles between sequencers and validators, tradeoffs in different ways handing execution & ordering, current approaches — i.e., what various L2 rollups are doing in production, what is and isn't possible in principle.
Devcon
Talk
18:06
A Fast and Scalable Blockchain for Enterprise Users
Almost every bank and major financial institution inChina as well as across the world is eager to revamp their computing infrastructure through blockchain. What a blockchain designed for them should look like? Is it enough to replace PoW with PBFT? What else can we do to leverage the resources enterprise users have? You will find the answers in CITA.