devcon 6 / proving evm bytecode execution in the zk evm
- YouTube
- IPFS
- Details
Proving EVM Bytecode Execution in the zk-EVM
Duration: 00:24:37
Speaker: Franklin Delehelle, Olivier Bégassat
Type: Talk
Expertise: Advanced
Event: Devcon
Date: Oct 2022
Rollups are the go-to solution to scaling Ethereum and at the heart of the Ethereum roadmap. Programmable rollups and zk-evms have gathered a lot of attention and research interest. Provers in particular, which produce cryptographic proofs of evm execution, pose challenging problems both theoretically and practically. In this talk we will present our arithmetization and proving scheme, and demo the zk-evm under development at ConsenSys, providing an EVM bytecode compatible end to end solution.
- Related
Devcon
Talk
20:52
Scalable Blockchains & Asynchronous Programming
Ethereum's Vitalik Buterin presents on scalability and asynchronous programming.
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
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
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:11
Technical Details of the Opcode Compatible zkEVM
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.
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
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
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.
Devcon
Talk
22:16
FunFair Technologies' Fate Channels: Lessons learned Implementing State Channels
Jeremy Longley, CTO of FunFair Technologies, will offer a post-mortem on the delivery of their own version of state channels, Fate Channels, to Mainnet. There have been significant challenges along the way, and there's likely to be many more to come as their use scales up. Having deployed a flexible and creative approach, Jeremy will outline how others can bypass these challenges and embrace state channels as best they can.