硬核议程公布！首届Web3学者峰会：学术、产业与VC精英共议Web3机遇

峰会议程 / Agenda

开场

09:00-09:10：欢迎致辞

09:10-09:30：开幕致辞

—邱达根，香港特别行政区立法会议员 （科技创新界）

议程一：密码学

9:30-10:15 密码学在区块链技术中的应用概览 

The Role of Cryptography in Blockchain Technology

—区文浩，香港理工大学电子计算学系教授

10:15-10:40 Web3标准化研究 

Research on Web3 Standardization

—李鸣，IEEE 计算机协会区块链和分布式记帐技术委员会主席

10:40-11:00 递归SNARKs：增量可验证计算与折叠方案 

Recursive SNARKs: Incremental Verifiable Computation andFolding Scheme

—高尚，香港理工大学电子计算学系研究助理教授

11:00-11:15：茶歇

议程二：加密经济学

11:15-11:45 BlindHub：支持可变金额的比特币兼容隐私保护支付通道中心 

BlindHub: Bitcoin-Compatible Privacy-Preserving Payment Channel Hubs Supporting Variable Amounts

—阮子瀚，香港大学计算机科学系助理教授

11:45-12:15 MEV黑暗森林：量化区块链可提取价值（V2） 

Blockchain Extractable Value: How dark is the forest (V2)

—周立翊，伦敦帝国理工学院，Decentralized Intelligence AG联合创始人

12:15-12:45 稳健的（去中心化）预言机设计 

Robust (Decentralized) Oracle Design

—张磊夫，香港科技大学（广州）金融科技助理教授

12:45-13:30：午餐

议程三：安全 

13:30-14:00 Web3审计：从用户视角看安全意识 

Web3 Auditing Through Users' Eyes: Awareness of Security

—王也，澳门大学计算与信息科学系、亚太经济与管理学院助理教授

14:00-14:30 移动钱包内部安全机制 

Inside Mobile Wallet Security

—李康，CertiK首席安全官

14:30-15:00 检测区块链（E）VM缺陷 

Detecting Blockchain (E)VM Flaws

—周亚金，浙江大学教授，BlockSec 首席执行官

15:30-16:00 Web3 生态系统中的 AML 挑战与解决方案

AML Challenges & Solutions in the Web3 Ecosystem

16:00-16:20 增强智能合约安全分析 

Enhancing Smart Contract Security Analysis

—李子豪，香港理工大学

16:20-16:40 揭露 DeFi 系统中的角色扮演攻击策略 

Unmasking Role-Play Attack Strategies in Exploiting Decentralized Finance (DeFi) Systems

—李蔚林，中国科学技术大学

议程四：展望未来

16:40-17:30  展望未来：Web3 学术界与亚洲发展机遇 

Web3 Futures: Academics and the Asian Opportunity

—唐弈，启明创投执行董事

—Gavin Wang，SNZ Capital 管理合伙人

—王坚，Head of Amber Labs