转载至CSDN网站，点击蓝色字体可下载对应PPT。
1. 以太坊技术探索
姜英英
灵钛科技-创始人
主办方致辞及全球以太坊社区发展概况介绍
【收获】
1）以太坊全球节点分布情况查询地址 https://www.ethernodes.org/network/1
2）官方博客： http://blog.ethereum.org/
3）以太坊官方开源代码GitHub： https://github.com/ethereum
4）以太坊研究论坛： ethresear.ch
5）以太坊应用网站： https://www.stateofthedapps.com/
6）ETHFANS: https://ethfans.org/
蒋涛
CSDN-创始人&董事长
迎接以太坊开发者的时代
【收获】
1）开发环境：Remix+Ganache+Geth
杨光
北京链石科技-CEO
基于以太坊的票务行业公链token及设计模式
刘阳
中工软件-区块链事业部CTO
跨链技术在数字经济中的应用
蒋旭宪
PeckShield-创始人兼CEO
Code Is Law：以太坊智能合约面临的威胁与挑战
【收获】
1）查询币市值 https://coinmarketcap.com/
Karl Floersch
以太坊-核心开发者
Learning Cryptoeconomics
Vitalik Buterin
以太坊-创始人
Casper与分片技术最新进展
2. 以太坊行业应用
张璇
云斗龙HyperDragons-创始人
区块链通证经济在游戏娱乐中的实践
曲明
区块链数字身份平台IDHub-创始人
区块链数字身份对现实世界的赋能与链接
李天放
Hydro Protocol-创始人
点对点交易协议——如何赋能100家DAPP交易平台
【收获】
帮第三方合作伙伴迅速搭建DEX,2个月上线
汪波
天算基金会-创始人
天算——跨越传统预测的认知边界
孟岩
柏链道捷-CEO
以太坊经济系统模型及其未来发展方向
Graham Liu
CLand-联合创始人&CTO;
基于以太坊的物联网侧链——商业语境下的物联网区块生态
Kai Chen
Olympus Labs-创始人 & CEO
Blockchain：A Community Revolution
王奇君
MakerDAO-亚洲区负责人
MakerDAO：稳定带来繁荣
TN Lee
KyberNetwork-首席运营官
Kyber Network and Coexisting with Centralized Exch
3. 以太坊生态&治理
Ethan Kyuntae Kim
Hashed-合伙人 & CTO
Potentials of the Blockchain Technology and Curren
于鲁平
中国人民大学-法学博士
数字资产的风险规制
【收获】
1）管辖权归属
9.4公告明确禁止国内开展代币发行融资活动。在此情形下，国内主要虚拟货币交易平台及上币企业纷纷迁至海外寻求宽松监管环境。当上述企业成为外国公司，中国法院是否就国内投资者与其纠纷或者其违法行为具有管辖权，是首先需要考量的法律问题。
（1）民事管辖权：合同签订地、合同履行地、诉讼标的物所在地、可供扣押财产所在地、侵权行为地
u如果虚拟货币交易中发生合同纠纷——投资者支付行为所在地法院应具有管辖权；
u如果虚拟货币交易中发生侵权行为——侵权行为实施地（包括实施被诉侵权行为的计算机等终端设备所在地）与侵权结果发生地（包括被侵权人住所地）；
（2）刑事管辖权：属地+属人——广泛的司法管辖权
若相关虚拟货币交易平台及上币企业的建立者、管理者具有中国国籍，或者其身处境内，或在境内决策指挥于境外实施相关违法犯罪行为，或其在境内触犯法律的被害主体主要分布在国内，中国司法机关对其享有管辖权。
2）对于非公开投资人的管理问题
Ø 需进行必要协议规制，避免非公开投资人进入二级市场进行分发、出售
Ø 非公开投资人存在私下出售或者分发项目代币的情况时，应该要求其承担相应的违约责任
3）对于集合投资者加强监督和管理
加强对二级市场大宗交易的监控和管理
Ø 加强对市值的管理能力
Ø 对于交易市场的交易量、交易价格的异常波动情况及时进行处理
王纯
F2Pool-联合创始人
The Transition to Proof of Stake: A Miner’s Perspe
杨霞
成都链安科技-CEO & 创始人
面向以太坊的智能合约形式化验证平台VaaS
【收获】
形式验证一般被称为形式化查询地址验证方法，是相对于传统的验证（模拟、仿真和测试）而言的。形式化验证方法的主要思路就是使用数学的公式、定理和系统来验证一个系统的正确性等。目前的形式化验证方法可以用于验证硬件系统、软件系统和其他系统，而且形式化验证的技术目前也已经发展到不但可以验证系统的功能正确性（有没有错误），而且可以验证系统的性能指标（功耗、散热、延迟等等）。形式化验证方法主要可以分为三种：定理证明、模型检测和等价性验证。定理证明的基本原理是选定一个数学逻辑体系，并用其中的公式来描述（如软、硬件）系统和系统性质刻画，然后在一定的数学逻辑（如hol逻辑）体系中依据此体系的公理、定理、推导规则和系统描述公式，看看能不能推导出系统的性质刻画公式，如果可以的话验证成功。
何斌
imToken-创始人
The User, The Trader, The Developer
【收获】
下载imToken钱包接口文档 https://docs.token.im/
转载至CSDN网站
