轉(zhuǎn)載至CSDN網(wǎng)站，點(diǎn)擊藍(lán)色字體可下載對(duì)應(yīng)PPT。
1. 以太坊技術(shù)探索
姜英英
靈鈦科技-創(chuàng)始人
主辦方致辭及全球以太坊社區(qū)發(fā)展概況介紹
【收獲】
1）以太坊全球節(jié)點(diǎn)分布情況查詢地址 https://www.ethernodes.org/network/1
2）官方博客： http://blog.ethereum.org/
3）以太坊官方開源代碼GitHub： https://github.com/ethereum
4）以太坊研究論壇： ethresear.ch
5）以太坊應(yīng)用網(wǎng)站： https://www.stateofthedapps.com/
6）ETHFANS: https://ethfans.org/
蔣濤
CSDN-創(chuàng)始人&董事長(zhǎng)
迎接以太坊開發(fā)者的時(shí)代
【收獲】
1）開發(fā)環(huán)境：Remix+Ganache+Geth
楊光
北京鏈?zhǔn)萍?CEO
基于以太坊的票務(wù)行業(yè)公鏈token及設(shè)計(jì)模式
劉陽(yáng)
中工軟件-區(qū)塊鏈?zhǔn)聵I(yè)部CTO
跨鏈技術(shù)在數(shù)字經(jīng)濟(jì)中的應(yīng)用
蔣旭憲
PeckShield-創(chuàng)始人兼CEO
Code Is Law：以太坊智能合約面臨的威脅與挑戰(zhàn)
【收獲】
1）查詢幣市值 https://coinmarketcap.com/
Karl Floersch
以太坊-核心開發(fā)者
Learning Cryptoeconomics
Vitalik Buterin
以太坊-創(chuàng)始人
Casper與分片技術(shù)最新進(jìn)展
2. 以太坊行業(yè)應(yīng)用
張璇
云斗龍HyperDragons-創(chuàng)始人
區(qū)塊鏈通證經(jīng)濟(jì)在游戲娛樂(lè)中的實(shí)踐
曲明
區(qū)塊鏈數(shù)字身份平臺(tái)IDHub-創(chuàng)始人
區(qū)塊鏈數(shù)字身份對(duì)現(xiàn)實(shí)世界的賦能與鏈接
李天放
Hydro Protocol-創(chuàng)始人
點(diǎn)對(duì)點(diǎn)交易協(xié)議——如何賦能100家DAPP交易平臺(tái)
【收獲】
幫第三方合作伙伴迅速搭建DEX,2個(gè)月上線
汪波
天算基金會(huì)-創(chuàng)始人
天算——跨越傳統(tǒng)預(yù)測(cè)的認(rèn)知邊界
孟巖
柏鏈道捷-CEO
以太坊經(jīng)濟(jì)系統(tǒng)模型及其未來(lái)發(fā)展方向
Graham Liu
CLand-聯(lián)合創(chuàng)始人&CTO;
基于以太坊的物聯(lián)網(wǎng)側(cè)鏈——商業(yè)語(yǔ)境下的物聯(lián)網(wǎng)區(qū)塊生態(tài)
Kai Chen
Olympus Labs-創(chuàng)始人 & CEO
Blockchain：A Community Revolution
王奇君
MakerDAO-亞洲區(qū)負(fù)責(zé)人
MakerDAO：穩(wěn)定帶來(lái)繁榮
TN Lee
KyberNetwork-首席運(yùn)營(yíng)官
Kyber Network and Coexisting with Centralized Exch
3. 以太坊生態(tài)&治理
Ethan Kyuntae Kim
Hashed-合伙人 & CTO
Potentials of the Blockchain Technology and Curren
于魯平
中國(guó)人民大學(xué)-法學(xué)博士
數(shù)字資產(chǎn)的風(fēng)險(xiǎn)規(guī)制
【收獲】
1）管轄權(quán)歸屬
9.4公告明確禁止國(guó)內(nèi)開展代幣發(fā)行融資活動(dòng)示姿。在此情形下，國(guó)內(nèi)主要虛擬貨幣交易平臺(tái)及上幣企業(yè)紛紛遷至海外尋求寬松監(jiān)管環(huán)境留夜。當(dāng)上述企業(yè)成為外國(guó)公司包警，中國(guó)法院是否就國(guó)內(nèi)投資者與其糾紛或者其違法行為具有管轄權(quán)，是首先需要考量的法律問(wèn)題诞挨。
（1）民事管轄權(quán)：合同簽訂地莉撇、合同履行地、訴訟標(biāo)的物所在地惶傻、可供扣押財(cái)產(chǎn)所在地棍郎、侵權(quán)行為地
u如果虛擬貨幣交易中發(fā)生合同糾紛——投資者支付行為所在地法院應(yīng)具有管轄權(quán)；
u如果虛擬貨幣交易中發(fā)生侵權(quán)行為——侵權(quán)行為實(shí)施地（包括實(shí)施被訴侵權(quán)行為的計(jì)算機(jī)等終端設(shè)備所在地）與侵權(quán)結(jié)果發(fā)生地（包括被侵權(quán)人住所地）银室；
（2）刑事管轄權(quán)：屬地+屬人——廣泛的司法管轄權(quán)
若相關(guān)虛擬貨幣交易平臺(tái)及上幣企業(yè)的建立者涂佃、管理者具有中國(guó)國(guó)籍，或者其身處境內(nèi)蜈敢，或在境內(nèi)決策指揮于境外實(shí)施相關(guān)違法犯罪行為辜荠，或其在境內(nèi)觸犯法律的被害主體主要分布在國(guó)內(nèi)，中國(guó)司法機(jī)關(guān)對(duì)其享有管轄權(quán)抓狭。
2）對(duì)于非公開投資人的管理問(wèn)題
? 需進(jìn)行必要協(xié)議規(guī)制伯病，避免非公開投資人進(jìn)入二級(jí)市場(chǎng)進(jìn)行分發(fā)、出售
? 非公開投資人存在私下出售或者分發(fā)項(xiàng)目代幣的情況時(shí)否过，應(yīng)該要求其承擔(dān)相應(yīng)的違約責(zé)任
3）對(duì)于集合投資者加強(qiáng)監(jiān)督和管理
加強(qiáng)對(duì)二級(jí)市場(chǎng)大宗交易的監(jiān)控和管理
? 加強(qiáng)對(duì)市值的管理能力
? 對(duì)于交易市場(chǎng)的交易量午笛、交易價(jià)格的異常波動(dòng)情況及時(shí)進(jìn)行處理
王純
F2Pool-聯(lián)合創(chuàng)始人
The Transition to Proof of Stake: A Miner’s Perspe
楊霞
成都鏈安科技-CEO & 創(chuàng)始人
面向以太坊的智能合約形式化驗(yàn)證平臺(tái)VaaS
【收獲】
形式驗(yàn)證一般被稱為形式化查詢地址驗(yàn)證方法，是相對(duì)于傳統(tǒng)的驗(yàn)證（模擬苗桂、仿真和測(cè)試）而言的药磺。形式化驗(yàn)證方法的主要思路就是使用數(shù)學(xué)的公式、定理和系統(tǒng)來(lái)驗(yàn)證一個(gè)系統(tǒng)的正確性等誉察。目前的形式化驗(yàn)證方法可以用于驗(yàn)證硬件系統(tǒng)与涡、軟件系統(tǒng)和其他系統(tǒng)，而且形式化驗(yàn)證的技術(shù)目前也已經(jīng)發(fā)展到不但可以驗(yàn)證系統(tǒng)的功能正確性（有沒(méi)有錯(cuò)誤），而且可以驗(yàn)證系統(tǒng)的性能指標(biāo)（功耗驼卖、散熱氨肌、延遲等等）。形式化驗(yàn)證方法主要可以分為三種：定理證明酌畜、模型檢測(cè)和等價(jià)性驗(yàn)證怎囚。定理證明的基本原理是選定一個(gè)數(shù)學(xué)邏輯體系，并用其中的公式來(lái)描述（如軟桥胞、硬件）系統(tǒng)和系統(tǒng)性質(zhì)刻畫恳守，然后在一定的數(shù)學(xué)邏輯（如hol邏輯）體系中依據(jù)此體系的公理、定理贩虾、推導(dǎo)規(guī)則和系統(tǒng)描述公式催烘，看看能不能推導(dǎo)出系統(tǒng)的性質(zhì)刻畫公式，如果可以的話驗(yàn)證成功缎罢。
何斌
imToken-創(chuàng)始人
The User, The Trader, The Developer
【收獲】
下載imToken錢包接口文檔 https://docs.token.im/
轉(zhuǎn)載至CSDN網(wǎng)站
