Schedule

Xin (Sinka) Gao

Role:
Founder
Company:
zkWASM/Delphinus Lab
About
Xin, Gao gets his Math PHD from UNSW Australia. He is an expert in programming language and applied cryptography. Here's a summary of his working experience. 1. Main contributor of SEL4 micro-kernel (2013-2019). 2. Write Haskell specification of SEL4 micro kernel (2014). 3. System architecture of Hua Wei HM micro kernel (2019-2021). 4. Contributor of DARPA’s High‐Assurance Cyber Military Systems (HACMS) project. 5. Owner of Lustre online editor. 6. Contributor of Skyeye emulator (2021). 7. Get Aztec bounty for finding their double spent issue in ZK circuits (2021). 8. Main contributor of Halo2 circuit aggregator for Scroll (2022). 9. Founder of Delphinus Lab.
Speaking On:
Turn a WASM-Based Browser Application Into an Ethereum Rollup via ZKWASM
Trident Stage
#BUIDLHub
February 25, 2024
3:50 pm
Delphinus Lab open-sourced ZKWASM (https://github.com/DelphinusLab/zkWasm) in November 2022. With this, ZKVM developers can now generate ZK proofs for WASM applications (presented in ZKProof 5th Workshop held in Israel: https://www.youtube.com/watch?v=SzT7zHUuvm4). Since WASM is a native supported bytecode for modern browsers, the ZKWASM VM provides a potential way to port rich browser web applications onto Ethereum via ZK rollup. In April 2023 zkSummit, a proof of concept demo runs a WASM game in browser and then generates and submits proofs of it to a Ethereum verifier contract (https://www.youtube.com/watch?v=dLZbfTWLGNI). After putting a few more months of efforts since then, by supporting customizable ZKWASM host circuits, continuation and some of the WASI specification, we are more confident to say that connecting browser application with Ethereum is not only possible but also practical via existing ZK techniques (ZKWASM).