# ETHDenver 2024 Session Submission Form
--------------------------------------

ETHDenver 2024 Session Submission Form 

## Introduction

ETHDenver brings together all kinds of different perspectives to realize the potential of distributed computing. Each year, we ask our global community to put forth your most thoughtful, insightful ideas to share on our journey toward decentralization. 

We welcome submissions from innovative minds of all backgrounds who can speak first-hand about the promises and challenges of this emerging technology. Our mission is to curate a speaker lineup reflecting the creative diversity within the ETHDenver community. 

Pro Tip: ETHDenver is a no shill zone. So lead with big ideas, interesting research, or educational content before promoting your own solution, project, or protocol. Definitely steer clear of shilling a token or any other opportunistic nonsense. :) 

The Speaker Application has 6 steps-fill out each one fully before moving on to ensure no information gets lost. Refer to the FAQ for guidance. 

Please submit complete proposals addressing details like target audience, key takeaways, and why your perspective is valuable before the deadline on January 14, 2024 at 11:59pm MST. A few pointers: 

We love (if not prefer!) new faces. DO NOT BE SHY. Show us whatcha got! 

Accepted speakers will be required to complete an ETHDenver attendance application if you haven't already in order to issue your ticket. Speakers who have a ticket through a sponsor organization will still have to complete an application for attendance. 

Deadlines: 

1\. Applications Open \- November 30, 2023 at 10:00AM 

2\. Applications Close \- January 14, 2024 at 11:59PM 

3\. Applications after January 15 will be automatically added to our Community Waitlist and we'll only respond to you if there is specific 

interest in having you speak. 

We are excited to see what you've got for us! 

The ETHDenver 2024 Content Stewards 

**Session Organizer **

As the session organizer, you will be the primary point of contact, and owner, of this proposal. You are responsible for all session information related to this proposal. If this proposal is accepted as part of the ETHDenver 2024 Content lineup and you are later unable to act as the primary point of contact, you will have the opportunity to assign your role to someone else at a later date. 

Please ensure that the Session Organizer is the same email address used when applying to attend ETHDenver 2024. 

Privacy Note: Some Speaker application fields may include PII (Personal Identifiable Information). This information will NEVER be shared with any third-parties for any reason. 

**Sponsor Submission Type** (choose one)


First Name: Xin (Sinka)

Last Name: Gao

Email: [e-mail]

Please use the email address used with tokenproof 

# Telegram Username 

Please include the https:// 

# How are you associated to this proposal? 

If you have selected "Speaker", please fill in your information in the "Primary Speaker" section below. 

Speaker 

# Speaker Details
**Session Title + Description**

Give your idea a title, description, and add a takeaway that your session will answer, regarding the idea proposed. Please do not include a number in front of your answers or list additional speakers or their companies they work for. 

**Session Title** 
Turn a WASM based browser application into an ethereum rollup via ZKWASM (A ZK virtual machine that supports Web Assembly).

Pick something that lets your audience know exactly what your proposal will cover. Maximum of 60 characters (including spaces).

**Describe your idea**

Delphinuslab opensourced ZKWASM (https://github.com/DelphinusLab/zkWasm) on November 2022. With this ZKVM developpers can now generates ZK proofs for WASM applications (Presented in zk-proof 5th conference: https://www.youtube.com/watch?v=SzT7zHUuvm4). Since WASM is a native supported bytecode for morden browsers, the ZKWASM VM provides a potential way to port rich browser web application onto Ethereum via ZK rollup. In Feb 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.

**What is one key takeaway our audience should expect to learn from your session?**

1. WASM basics as the native bytecode for moden browsers.
2. How ZKWASM generates zk proofs of WASM application
3. What addons we needed to support WASM applications that runs in a morden browser.
4. Current performance and benchmarks for ZKWASM.
5. A reference demo of browser application that utlies ZKWASM.

150 Characters Maximum (including spaces) 

**What else would you like us to know?**

Please do not use this space to list additional contributors or the companies they work for. 300 Characters Maximum (including spaces)

➖➖➖➖➖➖-------- 

**Audience \+ Attributes**

**Track**: Infrastructure


**Format Type** 

Techinical Workshop

Panel discussions will be open for submission closer to the event. 


**Level of Expertise** 

The level you select should be appropriate to your idea. This is the audience level of expertise, not your level of expertise. 

**Intended Audience** 

Advanced


**Technical Conversation**
technical

**Show Off Your Sweet Moves** 

ZK-Proof 5th conference talk of ZKWASM:
https://www.youtube.com/watch?v=SzT7zHUuvm4

ZK-Summit 9th workshopt talk of running game in ZKWASM:
https://www.youtube.com/watch?v=dLZbfTWLGNI

If you are submitting a pitch, please include hashtags: #ETHDenver #EDEN24, #YEAROFTHESPORKWHALE or #PUTASPORKINIT. 

**Link to YouTube video*** 

Must begin with https:// 

**Other resource links** 
The zkWASM main github repo
https://github.com/DelphinusLab/zkWasm
The zkWASM cloud that generates proofs
https://explorer.zkwasmhub.com/
The zkWASM circuit:
https://hal.science/hal-03995514/

300 Characters Maximum (including spaces) 

**What is the airspeed velocity of an unladen PegaSporkWhale?** 

Depends on the speed of a zk proof of the existence of whimsical creature can be generated.

**Proposed Speaker**

In selecting speakers for your proposal, it's important to align with ETHDenver's commitment to fostering diversity in both ideas and backgrounds. 

Please note that at ETHDenver, all speakers are limited to participating in a maximum of two sessions. If your proposal is approved, you may need to adjust your speaker lineup. This could involve replacing some of your chosen speakers, or ETHDenver may facilitate these changes for 

you. 

First Name  Xin, Gao

Last Name 

Email Address 

Please use the email address used with tokenproof, or will be used with tokenproof 

Website Profile Photo 

* 

You may upload any photo that represents you the best. A headshot or NFT PFP is acceptable along with any art that you have legal right to use. 1350 H x 1080 W minimum size. 

Drop files here or browse 

VIGUBILE FIVINE FNOLO 

You may upload any photo that represents you the best. A headshot or NFT PFP is acceptable along with any art that you have legal right to use. 1350 H x 1080 W minimum size. 

Phone Number 

Drop files here or browse 

Country 

Russia 

Telegram 

Must Include https:// (Example: https://t.me/username) 

(X) Twitter 

Must include https://x.com/ 

Projects/Team/DAOS 

Short Bio * 

300 Characters Maximum (including spaces) 

Role/Title 

### What makes this speaker an expert in this topic and why is this topic exciting to them? 

Short Bio * 

Xin, Gao get his Math PHD from UNSW Australia. He is an expert in programming language and applied cryptography. Following are some 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 DelphinusLab

He is the founder of DelphinusLab and has gave a few early presentations about the ZKWASM vitual machin in 2022 zk-proofs 5th conference and zksummit 9th 2023. He drives the ZKWASM ecosystem development for about 18 months, and is the advisor of applications that run on ZKWASM, including Hyperoracl and OKX zkdex.

Publication:

seL4: From general purpose to a proof of information flow enforcementseL4: From general purpose to a proof of information flow enforcement
IEEE Symposium on Security and Privacy · May 1, 2013

Formally verified system initialisationFormally verified system initialisation
Proceedings of the 15th International Conference on Formal Engineering Methods · Oct 1, 2013

On Beurling's uncertainty principleOn Beurling's uncertainty principle
Bulletin of the London Mathematical Society · Feb 10, 2016

The zkWASM circuit. https://hal.science/hal-03995514/ 2022

### What is this speaker's prior speaking experience? 

ZK-Proof 5th conference talk of ZKWASM:
https://www.youtube.com/watch?v=SzT7zHUuvm4

ZK-Summit 9th workshopt talk of running game in ZKWASM:
https://www.youtube.com/watch?v=dLZbfTWLGNI

Spork DAO Member Wallet 

Type in the speaker's SporkDAO Membership wallet address, if a member. 

* 

Application Review 

Your proposal is almost complete. Once you click the "Submit Proposal" below, you will no longer be able to edit your proposal. Please take the time to review all aspects of your proposal and make any necessary last minute changes. After you have reviewed your proposal, carefully read the "Contributor Proposal" 

I have fully reviewed ETHDenver's Contributor Proposal Agreement and agree on behalf of myself and all contributors included in my proposal. 

ETHDenver Contributor Proposal Agreement 

I have fully reviewed my answers and understand that once I have submitted my application, it is final and I will no longer be able to make 

any edits or changes. 

I (Session Organizer) have confirmed that the speakers in this proposal have applied and been accepted to attend ETHDenver 2024\. If they have not, I understand that it is my responsibility to make sure that they have applied to attend. 

Applicant acknowledges and agrees that Applicant has read and understands the Contributor Proposal, Terms of Service, and Privacy Policy and intends to be legally bound by its terms. By clicking the button below it signifies my acceptance of these Terms and Conditions, Terms of services, and Privacy Policy agreements. 

**