**感谢Alephium的王成和IOSG小伙伴对本篇文章贡献。 **
Devcon 是以太坊的年度开发者大会，每年大会都会介绍以太坊的最新发展以及开发者生态情况，以太坊过往的会议往往是给人带来一种前沿技术研讨大会的感觉，当然Devcon 5也不例外。值得一提的是，此次大阪的以太坊会议专门开发了活动App，参会体验非常好，参会者可以容易地找到自己想Follow的主题和演讲者。
尽管如此，这次的会议组织还是有一些相对不尽如人意的地方，比如说下面几个方面还是有待改进的。会议地点的大厦位置有些许偏僻，交通上不算太便利；主会议舞台在一楼，而workshop的会议室则在六楼，听众需要经常乘坐电梯，很不方便。同时在Twitter上被大家吐槽比较多的是许多非常Nice的技术演讲，包括一些以太坊2.0最新进展的报告都被安排至了六楼的小会议室中。Workshop的房间很小以致于难以容纳下场外许多的热心听众，同时对听讲的体验也大打折扣了。
以太坊2.0是这次大会的核心主题，绝大部分来参会的人相信都不虚此行，能够近距离地了解到以太坊的现状和未来。由Vitalik带领的以太坊核心开发者团队通过多个长workshop讲解了以太坊2.0的发展计划。未来，Eth1.0与Eth2.0会同时存在，目前token迁移的框架已完善。Eth1.0会有充足的准备来完成Eth1.0到Eth2.0的迁移计划。总体来说，Eth2.0的具体实现正在按着Vitalik之前的规划路线稳步前进。Phase0已经完成了大部分的工作，多个开发团队做了代码实现，计划明年年初上线，其中大家比较关注的staking计划也即将与大家见面。Phase1和Phase整体的框架设计已经完成，不过具体的Spec还需要完善。令人欣喜的是，相比于与去年，Eth2.0有了巨大的进展，在分片的设计上也更加地务实。这一切都是值得期待的，孙中山先生曾说过：“革命仍未成功，Eth同志仍需多多努力”。
许多参会者在网络上对Eth2.0发表了各自的看法，褒贬不一。其中，会议期间Coindesk记者Leigh Cuen发布了一篇很标题党的质疑报道，在社区引起非常大的争议。Vitalik本人也亲自在Twitter上发声，同时在Ethresear连写几篇文章回应质疑。如果此次大会没能去去到现场的朋友们也不需要懊恼，IOSG Venture 将带来Eth Devcon 5大阪站最全面，最干货的会议演讲内容整理手稿，让您不错过本次以太坊大会任何有价值的信息。
---Day 1---
October 8
地点：B9
时间：09:00 AM - 12:00 PM
演讲题目：Blockchain at the Edge - TransformationalSolutions
演讲者：Thessy Mehrain, Alix Keller
**内容：**在一系列独立的研讨会中，将探讨如何通过以下方式利用区块链技术创造变革性影响：-对现有的非正式解决方案进行快速充电-为被忽略的环境创建解决方案。邀请Devcon参与者参加简短，充满活力和有趣的研讨会连接创建者（开发人员，UX，产品战略家...）以及那些可以改变区块链解决方案的人员。团体/主题：（团体/主题：（拟议/可以改变）社会转型我们添加问题陈述财务控制/所有权…货币危机，数据隐私-数字身份，记录，安全报告，抗议者，举报者透明度-食品供应来源，资金来源/ 腐败，
地点：B5
时间：09:00 AM - 05:00 PM
演讲题目：BokkyPooBah's Ethereum Workshop Goes ToDevcon5
演讲者：Bok Khoo
**内容：**BokkyPooBah的以太坊讲习班（https://www.meetup.com/BokkyPooBahs-Ethereum-Workshop）于2017年初开始，专注于以太坊的开发。此后，我们在悉尼举办了140多个研讨会。
地点：B3
时间：09:05 AM - 09:50 AM
演讲题目：Golem: Building On Top of Golem with gWasm& Unlimited
演讲者：Mikolaj Barwicki, Jakub Konka
类别：开发者经验
**内容：**在本研讨会期间，将演示Golem Unlimited集群的设置，包括观众带来的机器上。将展示如何在现有或临时基础架构中分布现有应用程序的执行。观众将有机会运行多达3个具有可用源代码的应用程序，以遵循简单的API并从Rust交叉编译为Wasm目标。参加研讨会将为观众提供应对Golem的寻宝挑战的工具和知识。
地点：Convention
时间：09:05 AM - 10:00AM
演讲题目：Ethereum Roadmap 2020: Say Hello and OpeningCeremony
演讲者：Jamie Pitts, Anett Rolikova
**内容：**以太坊魔术师和以太坊猫牧者奖学金对所有人都表示欢迎，并将发起为期一天的关于2020年以太坊技术路线图的公开讨论。我们想谈什么？对社区重要的是什么？
地点：B7
时间：09:05 AM - 10:35 AM
演讲题目：Formal Verification of Smart Contracts andProtocols: What, Why, How
演讲者：Grigore Rosu, Everett Hildenbrandt, DaejunPark, Shuvendu Lahiri
内容：“测试表明存在，而不是没有错误”（Dijkstra，1969）。尽管在过去的50年中测试取得了显着进展，但在大多数情况下仍无法进行详尽的测试，而且其余的bug可能会带来灾难性的后果。区块链的本质是访问共享状态的代码是公开的，并且任何人都可以从任何地方调用它，这既增加了黑客发现漏洞的速度，又扩大了其利用的后果。因此，现有的测试根本不够。形式验证是唯一已知的可行选择。本演讲将解释在区块链智能合约，代币和协议的上下文中什么是形式验证，为什么它变得越来越关键，如何完成以及可用的工具。涵盖了多种方法，从发现错误的自动，轻量级到分析所有行为的交互式，全面的方法，从开发人员编写和理解的高级源代码到节点客户端执行的低级字节码。演讲的目的还在于提高人们的认识，与通常的误解（正式验证与代码审核相混淆）相反，与正式编写程序相比，正式验证程序要花费更多的精力。多想9倍！实际上，NASA的经验法则是，项目预算的20％用于编写代码，而80％用于验证和确认。而且NASA的代码不是公开的，只有NASA部署后才能调用它。”
地点：B10
时间：09:10AM - 11:40 AM
演讲题目：StateChannels Summit
演讲者：QingkaiLiang, Liam Horne, Lisa Eckey, Sebastian Stammler, Franziska Heintel, ArjunBhuptani, Augusto Hack, Jeremy Longley, Tom Close
**内容：**参加的项目有Celer，Sempo，PERUN，Raiden，Connext，FunFair，magmo
地点：D
时间：10:00 AM - 10:20 AM
演讲题目：Preventing Disaster: Advances inSmart Contract Vulnerability Detection
演讲者：Bernhard Mueller
**内容：**DAO，Parity MultiSig钱包和Beautychain有什么共同点？1.这三个都被黑客入侵，造成了灾难性的后果。2.在每种情况下，使用自动化分析技术可以很容易地预先发现漏洞。在本次演讲中，我们将深入研究上述漏洞，并展示如何结合使用多事务符号执行，污点分析和灰盒模糊测试来以高精度和低误报率检测相似的错误。我们还将介绍优化技巧，这些技巧可以快速检测“深层”漏洞-利用由较长序列的高度特定的事务触发的条件。最后，我们将展示开发人员如何使用MythX和Mythril将这些安全分析方法应用于自己的合同。
地点：Convention
时间：10:00 AM -11:30 AM
演讲题目：EthereumRoadmap 2020: EEA Meets with the Ethereum Community
演讲者：RonaldResnick, Paul DiMarzio, Jamie Pitts, Anett Rolikova, Lane Rettig, HudsonJameson
**内容：**企业以太坊联盟（EEA）有兴趣发展我们与以太坊社区的关系，并为持续沟通建立桥梁。我们邀请您参加与Ethereum Foundation，Ethereum Magicians和Ethereum Cat Herders共同举办的开放论坛，以使EEA可以更好地合作为Ethereum Mainnet用户提供服务。研讨会的目的是进行主持人进行的大型小组讨论，会议室中的每个人都有发言权。
地点：B3
时间：10:05 AM -10:50 AM
演讲题目：RADON:A Domain Specific Language for Oracles
演讲者：AdánSánchez de Pedro Crespo, Mario Cao, Gorka Irazoqui
类别：开发者经验
**内容：**预言机势必弥合智能合约领域与来自区块链外部的数据之间的鸿沟。但是，归根结底，实现这些雄心勃勃的目标归结为通过以可预测的方式将多个数据点汇总，过滤和缩减为单个数据点，从而消除了现实事件的内在不确定性。这不是一件容易的事—在分散的预言机中更是如此。RADON：一种领域特定的语言，它提供了新的本体和语义，使智能合约开发人员能够定义如何检索，汇总，过滤，减少和报告外部数据。通过边做边学的方式，反思所面临的挑战，以及结构不良的查询可能会意外引入的古怪，邪恶和隐藏的动机。最后，还将演示在现有Solidity项目的上下文中根据人体工程学创建oracle查询并对其进行故障排除的相关工具。
地点：A1
时间：10:30 AM -11:00 AM
演讲题目：GranteeExposé Lightning Talk 1
演讲者：JohnBurnham, Conor Svensson, Kevin Owocki
内容：
10:30 - John Burnham - “Formality: An efficient prooflanguage”
10:40 - Conor Svensson - “The Web3j-SDK”
10:50 - Kevin Owocki - “Gitcoin Grants: The State ofCLR + Round 3 Results”
地点：D
时间：10:30 AM -10:50 AM
演讲题目：Why Dapp UsersWill Hate Cross-Shard Comumnication and What You Can Do About It
演讲者：James Prestwich
**内容：**ETH2即将来临，初步迹象表明，几乎所有dapp体验都会受到影响。可以通过对设计和开发流程进行重大更改来解决某些问题，但是在不牺牲规模，安全性或分散性的前提下，不可避免地要进行一些折衷。例如，基本上所有流行的dapp都依赖于托管池（例如Uniswap，Augur，Maker）中Ether的可替代性。在分片生态系统中，以太实际上无法跨分片进行交换，因此用户将承担金钱和管理成本。本讲座将概述跨分片通信策略，并讨论它们对开发人员和用户体验的影响。其中包括合并的共识，分片中继，共识内省和信贷市场。对于每种机制，我们将讨论对用户体验指标的预期影响，例如执行时间，交易结果和价格滑落。谈话并非全是坏消息。我们发现了一些优雅的新方法，这些方法为dapp提供了多种通信选择。演讲的最后一部分将讨论适合具体情况的具体沟通策略
地点：B7
时间：10:55 AM -11:55 AM
演讲题目：How TwoMicrosoft Engineers Build Blockchain Apps on Ethereum Networks
演讲者：David Burela,Eric Maino
**内容：**与公共网络上的应用相比，企业区块链应用具有不同的约束和挑战。快来看看Microsoft工程师如何根据细分市场（B2B / B2C）进行架构设计，并使用无服务器计算将系统集成到以太坊网络中。这将是一个演示演示，主要展示顶级企业使用的实际工程技术，例如DevOps，单元测试，无服务器计算，VS Code脚手架。1.讲习班目标概述2.将使用的技术概述3.用例/细分市场的概述4.该用例解决方案的体系结构设计5.上述体系结构的交互式实现6.对其他用例进行重复。
** **
地点：B3
时间：11:05 AM -11:50 AM
演讲题目：FunctionalProgramming for Ethereum
演讲者：KristofferJosefsson, Martin Allen
**内容：**在区块链时代，静态类型的函数式编程比以往任何时候都受到更多的关注。曾经有人认为像Haskell和PureScript这样的语言在学术界比在工业界拥有更自然的家。现在，他们强大的静态分析和安全性保证使区块链开发人员能够进一步证明其程序的正确性。随着进入以普通语言编写的专用区块链和扩展解决方案时代，这一点尤其重要。研讨会将介绍Haskell和PureScript中的以太坊库和工具的状态，以突出它们的一些有趣功能，并将其与非功能语言中的对应功能进行比较和对比。还将讨论hs-abci（Haskell与Tendermint ABCI协议的绑定）正在进行的工作，该协议使Haskell开发人员能够编写由cosmos / Tendermint支持的特定于应用程序的区块链。会议将包括现场演示和幻灯片。
地点：D
时间：11:30 AM -11:50 AM
演讲题目：Intentions andthe End-User: How Do We Build Time-Resistant Systems?
演讲者：Dialika Camara
类别：社会与系统
**内容：**我们正在构建的技术将创造更加公正和公平的全球经济-一种将使更多人接触到的技术，并将通过区块链技术的力量来平息经济竞争环境。这是我们的使命-但我们的成功并非必然。我们的意图必定会通过实施我们价值观的治理结构得以延续。无论区块链技术具有巨大的技术潜力，在我们故事的这个关键时刻，我们如何构建以及我们让谁构建都将对确定我们的价值如何生活并影响明天的用户起决定性作用。所有先驱者都有盲点。本主题演讲探讨了法律历史的教训，这些教训将有助于我们避免自己盲目的陷阱。
地点：A1
时间：11:30 AM -12:00 PM
演讲题目：Grantee ExposéLightning Talk 2
演讲者：Fabrizio RomanoGenovese, Lisa Eckey, Liraz Siri
内容：
11:30 - Fabrizio Romano Genovese (Statebox) - “Mappingfinite state machines to zk-SNARKs using category theory”
11:40 -Lisa Eckey (Perun Off-chain labs) - “Perun’sresearch on off-chain protocols
11:50 - Liraz Siri (TabooKey) - “What’s next for GSN”
地点：B10
时间：11:55 AM -01:25 PM
演讲题目：CreativeConstraints for Dapp Development
演讲者：Ann Kilzer
**内容：**区块链开发的挑战（gas限制，存储稀缺性和去中心化计算）能否为创造性DApp开发创造条件？Solidity中经常混淆开发人员的部分是否真的是创意思维的起点？20分钟：创意和异想天开的DApp，我们将回顾游戏和异想天开的DApp，从CryptoZombies和CryptoKitties，ERC721收藏品到我的一些个人项目，包括支持水果的加密货币和区块链寻宝。20分钟：DApp创意产生，我们将集思广益，探讨如何制作有趣而异想天开的DApp。会议室将分成几个小组，并根据想法提示随机抽取卡片。一组卡将包含Solidity功能，其他卡将包含游戏类型和主题。80分钟：漫长的构建，接下来的80分钟将是动手的DApp漫长的日式寻宝活动，在Solidity中被称为“邮票集会”。（示例代码：https://github.com/ann-kilzer/blockchain-stamp-rally）。参与者将在Remix中构建应用程序的关键部分，并与UI的公共托管版本进行交互。如果参与者想在以后继续学习和尝试，则回购中将有扩展。我的目标是向参加者展示区块链开发可以是有趣，富有创造力和可及的。
地点：D
时间：12:00 PM -12:20 PM
演讲题目：Better ThanFree? The End of FAANG.
演讲者：Pol Bordas
类别：社会与系统
**内容：**革命始于家用PC。然后，云就来了，这使我们从存储的烦恼，备份和可用性中解脱出来，但以牺牲隐私和监视为代价。在本次演讲中，我们建议该解决方案是个人拥有的分布式云。具有冗余的家庭服务器，这些冗余服务器可确保可用性，并为其他用户提供空间和计算空间以交换基础架构使用费。但是FAANG（除Netflix以外）免费提供服务，而User Data是创收者。他们为用户提供了真正出色的UX，可以愉快地牺牲他们的隐私。如何与他们数百万美元的研发和市场份额竞争？以太坊领域的许多技术专家都认为，分散性本来就更好，但是在过去，许多项目声称比当前的方案更好，但失败了。10倍规则（宽松地修改）指出，为了挑战现状，某些东西必须要好10倍。那有什么比免费更好呢？因使用它而获得报酬。激励模型和强大的分布式基础架构层是关键。在我们的演讲中，我们将激励，TCR，安全的分布式计算和节点联合放在了10倍的下一阶段。
地点：B3
时间：12:05 PM -12:50 PM
演讲题目：An EVM-BasedFormal Rules Language
演讲者：Michael Yuan ,Hung Ying Tai, Timothy McCallum
**内容：**智能合约是区块链上的不变程序。它们将根据预定义的规则自动执行。但是，使用像Solidity这样的标准编程语言，很难对复杂的推理规则进行编程，测试和验证。高度嵌套且相交的IF / THEN语句的长序列易碎且容易出错。由于需要根据业务需求频繁更改规则而使问题更加复杂。企业软件开发人员长期以来一直依靠业务规则引擎（BRE）来解决此问题。BRE允许业务分析师以称为形式规则语言的专用编程语言编写交易（状态更改）程序，该程序语言可以由图形用户界面生成。BRE自动评估，重新评估和执行这些规则。他们已被证明在传统金融服务中很成功。OpenSource Lity项目开发了对Solidity的扩展，因此EVM可以支持BRE进行智能合约。在本演示中，我将讨论规则语言和规则对于智能合约的好处和用例，尤其是在金融服务和电子商务应用程序中。我将进一步描述如何设计和实现以Drools为模型的Solidity规则语言扩展，包括编译器和运行时支持。
地点：B9
时间：12:15 PM -12:35 PM
演讲题目：The Road to Eth2, Phase 2 & Phase 2 Testnet
演讲者：WillVillanueva, Matthew Garnett
类别：Eth 2.0
**内容：**随着即将发布的Eth 2阶段0和信标链，现在是时候聊聊后续的阶段1和2了。现在已经看到了两者的显着进步和发展。积极工作：-Scouthttps://github.com/ewasm/scout，一个以太坊2.0阶段2执行原型引擎-阶段1和2模拟测试基础，以部署执行环境并启用跨分片实验-当前正在开发多个无状态执行环境内置-以太坊1 EE（以太坊2上的以太坊1）-以太坊2集中的EE（以太坊1模型上的迭代）-ZK汇总-令牌转移-将Eth 1迁移到Eth 2（初步）-Wasm作为Eth 2的语言和基准测试进度-多重证明，无状态系统和局部数据-支持分片上的计划计算和负载平衡的替代方案-中继网络和收费市场以支持Eth 2的无状态范式摘要第2阶段将分片变为现实-通过引入状态执行wasm，智能合约功能等等。将分享第2阶段背后的当前进展和思想空间。还将聊聊第1阶段和第2阶段（又称为第1阶段和完成）之间的重叠，作为设计/范例转变。请跟随我们聊天，以定义/介绍阶段2的当前状态，术语以及以开发人员身份参与构建执行环境的方式。
地点：D
时间：12:30 PM -12:50 PM
演讲题目：AnAnthropological Perspective on Ethereum
演讲者：Ann Brody
类别：媒介为讯息
**内容：**该演讲从人类学的角度提供了有关以太坊社区的见解。技术与社会是相互构成的。尽管流行的说法将区块链描述为“中立技术”，但重要的是严格审查区块链如何在不同的社会，经济和政治环境中表达自己。著名的媒体理论家马歇尔·麦克卢汉（MarshallMcLuhan）曾经说过，技术是人类的延伸；这意味着区块链作为一种技术，反映了我们的价值观，信念和偏见。因此，重要的是批判性地反思我们为区块链规定的叙事和价值观的种类以及区块链社区内外的参与者如何受到其影响。本演讲的主题包括探讨以太坊协议设计和意识形态之间的关系，技术乌托邦主义的危险，技术殖民主义解决主义以及关于以太坊建设者如何在工作中采用更具社会意识的框架以建立更道德的一般建议。和可访问的以太坊生态系统。
地点：Convention
时间：12:30 PM -01:00 PM
演讲题目：EthereumRoadmap 2020: Open Community Discussion
**内容：**为社区开放麦克风：哪些主题如此重要，您可以不吃午餐而进行讨论？资金？ProgPOW？EIP-1559收费市场变化？
地点：B7
时间：12:40 PM -01:10 PM
演讲题目：Make the TestsFeel the User's Pain: E2E Testing for dApps
演讲者：Carlos Gonzalez
**内容：**随着从协议开发向更多以用户为中心的产品转变，由于缺乏Web3领域的工具和经验，分散式应用程序正处于前端测试不容易的阶段。协议具有强大的测试和审核功能，但是其面向用户的应用程序缺少一种简单的方法。在本研讨会中，我们旨在说明如何开始专注于用户，并确保即使链条异常运行，他们也能得到我们期望的结果。我们将在研讨会上涉及的主要内容是：-经典的E2E（End-to-end）工具（Puppeteer和Cypress）-为什么它们在dApps中不能以相同的方式工作-如何将它们与Metamask等Web3注入器一起使用并连接到不同的测试网 -要测试的关键部分是什么？研讨会将从围绕测试的更多理论开始，然后我们将进入实际练习，在此我们将建立适当测试去中心化应用程序所需的体系结构。
地点：B9
时间：12:45 PM -01:05 PM
演讲题目：A trustless Ethereummixer using zero-knowledge signalling
演讲者：Wei Jie Koh,Barry WhiteHat
**内容：**由于以太坊交易在链上完全可见，因此可以追踪价值转移并监视用户的财务活动。这种情况剥夺了用户的隐私权，而不仅仅是假名。但是，某些变通办法（例如使用集中式交换钱包或托管混合服务）会带来较高的交易对手风险。以太坊生态系统需要一个非监管混合器，该混合器通过强大的加密技术而不是盲目的信任来工作。为了解决这个问题，我们提出了一种用于Ether和ERC20令牌的不信任混合器。它基于Barry WhiteHat和Kobi Gurkan的零知识信号系统Semaphore。此外，它还使用了一个烧录继电器注册表，该注册表可激励第三方代表混合器用户支付汽油费。在本演示中，我将展示混频器的高层架构概述，深入探讨其底层的零知识电路，并讨论零知识信号的其他应用。
地点：Convention
时间：01:00 PM -02:00 PM
演讲题目：EthereumRoadmap 2020: Ethereum 1.0 and Eth1.x
类别：Eth 1.X
**内容：**我们将与核心开发人员，dapp开发人员，工具制造商和其他利益相关者开会，讨论明年以太坊1.0和1.x的发展方向。
地点：D
时间：01:00 PM -01:20 PM
演讲题目：Data Privacyand Provenance with OpenAttestation
演讲者：Raymond Yeh
类别：隐私
**内容：**OpenAttestation是为新加坡全国性基于区块链的数字教育凭证解决方案OpenCerts提供支持的框架。OpenAttestation将文档转换为结构化的可验证声明，并允许在以太坊区块链上验证文档的来源。这些文档通过允许用户选择性地混淆文档中的部分数据，而不会损害文档的完整性，从而使用户能够控制自己的数据。本演讲将重点介绍在全国范围内部署此类解决方案的关键学习要点：-批量发布大量文档-选择性公开数据-去中心化文档模板和呈现演示
地点：B3
时间：01:05 PM -01:50 PM
演讲题目：Japanese,Human-Readable Smart Contracts
演讲者：HenningDiedrich
**内容：**该研讨会邀请以日语为母语或流利的日语者创建基于日语的智能合约语言，以创建以太坊智能合约，任何懂日语的人都可以阅读，并直接部署到以太坊主网上。还邀请了其他有兴趣根据其语言来推广Lexon变体的语言的使用者，以了解适应的过程。尝试基于开放源代码，人类可读的智能合约语言Lexon，该语言是自然英语的子集。该研讨会是类似于黑客马拉松的活动，其中对Lexon编译器的源代码和语法进行了更改，以查看是否可以使用日语版的Lexon。参与者不需要编码技能。
地点：B9
时间：01:15 PM -01:35 PM
演讲题目：State ofEthereum 2019
演讲者：Matthew Tan,Wee Chuan Tan
**内容：**到2019年，我们将通过查看整体顶级统计数据来探索自此以来网络的发展和增长方式。作为开发人员，要构建更好的dApp，了解我们服务的用户群也至关重要。使用分析数据，我们观察以太坊生态系统中不断变化的用户统计数据，了解并发现以太坊的“用户角色”与两年前相比是什么样的：随着时间的推移，它是否发生了变化或在很大程度上保持不变？不用说，建设技术基础设施具有挑战性，但在向社区提供基本的基础设施服务时也存在独特的非技术问题。我们共同面对其中的一些挑战，规模问题以及我们学到的知识。
地点：B7
时间：01:25 PM -02:55 PM
演讲题目：Open SourceLira Community Coding Workshop
演讲者：Omri Ross,Peter Emil Jensen
**内容：**该研讨会标志着为以太坊社区的利益而发布的新的开源语言和专用的编译器。我们发布了Lira：一种经过声明和正式验证的特定领域语言，旨在在以太坊区块链上编写和部署安全的金融合约。eToroLang通过同时发布的基于Haskell的编译器直接编译为EVM。这样一来，任何用户都可以编写和部署具有行业级安全性的复杂金融合同，而无需使用可靠性。简要介绍之后，罗斯博士将带领参与者逐步完成一系列以eToroLang编写的财务合同和申请。从简单的期货，看涨期权和利率掉期开始，研讨会将迅速发展为以特定领域的合同语言表达复杂的金融产品。我们旨在在社区中提高人们对类型安全语言的认识和使用。无论技能水平如何，参与者都将对Web3.0堆栈中的领域特定语言的价值以及对如何以安全且经过验证的合同语言实施Dapp的许多新想法表示赞赏。为了展示此新版本的可用性，eToro正在启动衍生品的开源市场，研讨会的参与者和Devcon可以在该市场上撰写金融合约并在在线市场上刊登其职位的广告，以寻找其金融合约的交易对手。我们为该语言提供了许多其他用例，并展示了开发人员如何以安全，直观的方式构建新的解决方案或扩展现有的Dapp。
地点：B2
时间：01:25 PM -02:55 PM
演讲题目：BuildingSynthetic Derivatives on Ethereum
演讲者：Allison Lu,Regina Cai
类别：Eth 1.X
**内容：**该研讨会将参与者如何在以太坊上建立一流的金融合同，以支持各种DeFi用例。参与者将使用从法定金融衍生产品中借来的概念，通过真实的互动示例来学习如何设计和创建自己的去中心化金融合同，这些合同可以自我执行，无许可且可普遍获得。参与者将学习各种金融产品的通用设计模式，包括合成资产代币化，分散式保证金交易和利率掉期的合同。我们还将讨论如何使用OptimisticFinancial Contract框架实现这些设计模式，Optimistic Financial Contract框架是一种新的金融合同设计方法，可以实现快速，安全和可扩展的DeFi合同。通过示例和真实代码，参与者将学习如何设计新的，可扩展的DeFi产品，包括去中心化衍生工具交易所（又名去中心化BitMEX）的简化设计。
地点：D
时间：01:30 PM -01:50 PM
演讲题目：libp2pEcosystem: What’s Up and What’s Next
演讲者：Raúl Kripalani
类别：Eth 2.0
**内容：**libp2p网络堆栈已成为许多分散式系统（包括ETH2.0）中的基础元素。在本节中，我们将：1）向观众介绍生态系统的当前状态以及7种以上语言的实现。2）说明核心团队和社区目前正在研究和攻克的最棘手的问题，例如分散的NAT遍历，精简协议，检查和深度数据包检查，DHT扩展，流量整形，资源控制等。3）呈现libp2p接下来要实现的功能，子系统，协议和重新设计。4）在需要贡献者的投入，反馈和帮助的领域中呼吁帮助和参与。
地点：A1
时间：01:30 PM -01:50 PM
演讲题目：Grantee ExposéLightning Talk 3
演讲者：Ryuya Nakamura,Andreas Wallendahl, Tom Nash
内容：
12:30 - Ryuya Nakamura (LayerX) - “Academic Researchon Casper”
12:40 - Andreas Wallendahl (Kauri) - “Drivingengagement in web3 communities!”
12:50 - Tom Nash (FlexDapps) - “Twitch Plays Pokemonon Plasma”
地点：B10
时间：01:40 PM -03:40 PM
演讲题目：Funding as Medium and Message: How WeGet Capital and Its Influence on #BUIDL
演讲者：Paul Kohlhaas
**内容：**获得资本可能是#BUIDL任何事物的最基本工具之一。但是，我们是否曾经考虑过将资金作为一种核心工具及其含义？我们对资金的选择如何影响我们的信息？资金有很多来源，既有集中式的也有分散式的，而且有许多法律上的含义。资金极大地影响了激励机制，人类行为以及我们与社区的沟通和协作方式。该研讨会将探讨一个经常让人禁忌的话题：即我们如何以及为何获得资金以及在分散的世界中这意味着什么。我们将探索集中供资（股权），非营利性供资（赠款），分散供资（代币），连续供资（DAO和联系曲线）等等。不过，更重要的是，我们探索了团队和开发人员在寻找分散式解决方案的资金时应注意的事项，向与会者介绍以太坊生态系统中可用的资源以及资金实际上具有的哲学和行为含义。
地点：B9
时间：02:00 PM -05:00 PM
What on-chain, social & development data tells usabout Ethereum's growth
演讲题目：What on-chain, social &development data tells us about Ethereum's growth
演讲者：Serena Tan
**内容：**本着共享知识以推动生态系统向前发展的精神，这是一个协作空间，由Amberdata，Alethio，Coingecko和Santiment的技术负责人，研究人员和数据分析师提供演示和闪电演讲。预定的讲座包括：如何将ETH数据导出到数据库并进行查询；使用Google BigQuery探索以太坊数据集；访问供数据科学家和研究人员使用的Python库。
地点：D
时间：02:00 PM -02:20 PM
演讲题目：When BlockchainMeets Legal Design: UX Challenges in the World's First Decentralized Court
演讲者：Plinio Braga
类别：“现实世界”中的UX和设计
**内容：**法律技术专家理查德·萨斯金德（RichardSusskind）表示：“在线法院不是司法系统的替代方案。它们是司法系统。十年之内，在线解决的案件将超过线下解决的案件。”建立在区块链技术基础上的分散法院将在这一转变中发挥关键作用。但这将带来巨大的挑战，因为人们不习惯在线试用。本演讲将探讨UX设计在促进这种过渡中的作用。特别是，它将重点关注用户体验设计与法律设计之间的交叉点，这是斯坦福大学法律设计实验室开发的一种突破性方法，提倡在法律软件产品中使用设计思维原理。我们将以区块链纠纷解决DApp Kleros面临的UX挑战为例来说明概念，并讨论设计决策，有效的方法和无效的方法。最后，我们将提炼一些UX见解，以为即将到来的合法DApp时代创建用户友好，可访问且引人入胜的解决方案。
地点：Convention
时间：02:00 PM -02:45 PM
演讲题目：EthereumRoadmap 2020: Eth1 to Eth2 Transition
演讲者：EthereumResearch Team
类别：Eth 2.0
**内容：**我们将与以太坊研究团队，Eth2设计人员和实施者，核心开发人员以及其他利益相关者坐下来，讨论如何实现以太坊1.0向以太坊2.0的过渡。
地点：B3
时间：02:05 PM -02:50 PM
演讲题目：Building aFormally-Verified DApp with the Reach DSL, today!
演讲者：Jay McCarthy
**内容：**在本动手研讨会中，我们将介绍Reach，带领参与者进行示例程序的演练，并指导他们自行实现基本的DApp。Reach是一种针对去中心化应用程序的特定于领域的新语言，它为区块链开发人员面临的关键问题提供了自动解决方案：确保智能合约与客户端软件保持一致，验证DApp是否可信以及对不同区块链进行抽象。然后，我们接受包含示例Reach程序的指导教程，该程序实现了经过正式验证的两方下注DApp。我们将介绍〜50行Reach程序的结构以及〜50行JavaScript前端的结构，并深入研究Reach正式保证的属性。然后，参与者将通过一系列练习来实现一个与示例程序具有相似结构的不同DApp。他们将在使用Reach方面获得具体经验，这将使他们能够构建自己的DApp。先决条件：经验丰富的JavaScript编程，已安装Docker以安装Reach编译器和演示的imag。
地点：D
时间：02:30 PM -02:50 PM
演讲题目：BitDEX:Building a Decentralized BitMEX Using Priceless Financial Contracts
演讲者：Hart Lambur
类别：开发者经验
**内容：**我们引入了Optimistic FinancialContract（OFC）框架，这是一种新颖的金融合同设计方法，可以*无需*在链上提供价格即可超快速，安全和可扩展的DeFi合同。该框架使开发人员可以轻松地在以太坊上构建其他复杂的合成金融衍生产品。我们展示了如何使用这种设计来构建分散式衍生产品交易所（又名BitMEX），该交易所可以像集中式替代品一样出色。工作原理：乐观的合同通过假设合同参与者会乐观地采取行动来避免罚款而起作用。这种形式大量借鉴了等离子和国家渠道研究。“长期”合约参与者强制执行“空头”补仓合约（反之亦然）。出乎意料的是，不需要链上的价格提要-“仅*”需要甲骨文来解决与Plasma的退出游戏在概念上相似的争议。这个简单的框架可以在L1和L2级别上使用，并且可以扩展以创建开发人员可以想象的几乎任何类型的金融合同。
地点：Convention
时间：02:45 PM -03:30 PM
演讲题目：EthereumRoadmap 2020: Ethereum 2.0
演讲者：EthereumResearch Team
类别：Eth 2.0
**内容：**我们将与以太坊研究团队，Eth2贡献者和实施者，dapp开发人员，工具制造商以及其他利益相关者坐下来，讨论明年以太坊2.0的发展方向。我们将介绍设计，实现和部署。
地点：D
时间：03:00 PM -03:20 PM
演讲题目：MakerDAOOracles: The Backbone of Decentralized Finance
演讲者：Niklas Kunkel
类别：媒介为讯息
**内容：**在过去的两年中，MakerDAO的Oracle已经在Mainnet上运行，不仅为5亿美元的Dai信贷系统提供支持，而且为在其外围运行的大多数去中心化金融项目提供支持，例如二次贷款平台。在本演示中，您将了解MakerDAO的Oracle的历史，有效的方法，无效的方法，并很好地了解将为多抵押Dai和以太坊提供的其他分散式金融服务的Version 2Oracle。
地点：B3
时间：03:05 PM -04:20 PM
演讲题目：WASM and Rust:Building Blocks for Blockchain
演讲者：Dawn Song,Nikhil Sharma
**内容：**链上计算是高完整性算法，可信赖的代理，财务等令人兴奋的前景。WebAssembly上的融合为实现该目标提供了基础层，但实际上它是什么样的呢？该研讨会将探讨库层如何使我们获得可以在链上和链外运行的代码，并将深入研究WASM和运行时接口层上的其他工作以与链进行交互。
地点：B7
时间：03:10 PM -03:40 PM
演讲题目：Hands-onTrusted Platform Module (TPM2) Programming for Ethereum
演讲者：BrandonArvanaghi
**内容：**TPM（受信任的平台模块）是主板上的一块小芯片，只需一项工作即可与CPU完全分开：安全的加密操作。它不能被欺骗，价格便宜，并且可以与许多笔记本电脑和服务器一起购买。尽管如此，很少有人使用TPM或不知道如何使用它。在本研讨会中，我们为您提供了TPM的动手经验，解释了TPM端到端的工作方式，并向您直接展示了其所有加密功能。我们展示了如何使用它来生成和存储私钥，在dApp中保护关键系统，甚至与现有的以太坊库集成。在本研讨会中，我们展示了制定高级策略是多么容易，以便您的TPM不会泄露或不允许使用您的密钥，
地点：Convention
时间：03:30 PM -05:00 PM
演讲题目：EthereumRoadmap 2020: Working Groups
**内容：**您是否正在处理Eth1或Eth2协议，EIP（改进建议）或其他协作的一部分？这是您与其他贡献者聚集在一起，就问题达成共识并完成工作
地点：B7
时间：03:55 PM -05:25 PM
演讲题目：Towards BetterDebugging: Data Format Design Session
演讲者：G. NicholasD'Andrea, Harry Altman
**内容：**在传统的计算平台上，大多数语言编译器输出调试信息，以使调试器能够解码程序的操作，并使用户能够通过动手检查来理解其代码。但是，对于智能合约语言，这还不可能。现有的调试数据格式不支持以太坊的计算范例，从而使调试人员不得不猜测编译器的行为，以期了解编译后的字节码如何反映用户编写的源代码。在本次分组讨论中，我们将介绍以太坊上的调试支持的当前状态，概述传统计算平台上调试支持的方式，以及断开连接的原因使以太坊更加困难。在此，我们寻求讨论如何克服这些限制以及如何使智能合约调试更好。本次会议的目的是为新数据格式奠定基础，包括新的数据格式的高级设计以及对实现此目标的清晰理解。
地点：B3
时间：04:35 PM -05:35 PM
演讲题目：DecentralizedUX Problem Solving with Bounties Network and Rimble
演讲者：Zach Kalman,Corwin Harrell, Mike Lockwitz, Sharon Kaziunas, Ryan Cordell
**内容：**BountiesNetwork和Rimble正在启动分散解决问题的实验。Rimble团队不断研究严重的UX问题，这些问题阻碍了dApp的采用和可用性。通过这项计划，我们鼓励通过使用赏金来产生创造性，有效的解决方案来应对dApp UX挑战。Rimble将验证并迭代最佳解决方案，最终将其整合到开源资源中，从而使开发人员更容易构建dApp，以实现广泛的可用性。本次会议面向开发人员（主要是前端/ React），设计师和任何有兴趣贡献自己的思想和观念的人，目的是为分散化Web的新老用户提供可访问性的dApp体验。我们将提供奖励，以鼓励人们参与，并提供有关会议以及整个过程中使用的资源/工具的反馈。我们希望看到针对dApp体验中一些最关键部分的设计，原型和工作演示：-入职新用户-智能合约交互-交易状态-地址探索我们将考虑的重要方面是可访问性，颜色对比，以及错误处理。具体的标准将贴在每个赏金上，供参与者实现。挑战不会在研讨会期间结束。研讨会期间或以后可能会有很多活动。在每个赏金截止日期结束时，我们将根据我们定义的标准以及执行质量和每次提交的内容来确定要获奖的获奖者和/或提交的内容。
Meetup
地点：B8
时间：09:00 AM - 05:00 PM
演讲题目：Swarm: Storage and Communication for aSovereign Digital Society
演讲者：The Swarm Team, Aron Fischer, Viktor Tron,Rinke Hendriksen, Vojtech Simetka, Tim Bansemer, Anton Evangelatov, RafaelMatias, Daniel A. Nagy, Piper Merriam, Dr. Vero Estrada-Galiñanes, RacinNygaard
类别：社会与系统
**内容：**Swarm是以太坊驱动的Web3的核心基础架构。它通过安全的文件存储，内容分发和通信增强了区块链的共识层。在这次分组讨论中，我们将探讨Swarm如何帮助扩展Eth 1.x和2.x。我们展示了Swarm对dapp开发人员的作用。我们提出了专门针对分散式网络的有关数据编码和数据结构的新研究。我们在Swarm举办了一个关于激励机制的研讨会。我们谈论团队到目前为止所取得的成就以及未来的挑战。
9:30 -9:50 - Aron Fischer, Tim Bansemer - SWARM - A core infrastructure to augmentEthereum with distributed storage and secure messaging
Why Swarm-为什么仅凭区块链还不够？
Vision：“通过没有服务器或网守的互联网建立一个自由和主权的数字社会。”
Mission“用于主权数字社会的存储和通信基础结构。”
Team & OrganisationalStructure-新团队结构和成员以及不同的轨道和工作组。
Partner-Swarm如何与战略合作伙伴和社区合作以完成其使命。
Development Status-我们将SWARM 1.0交付的立场如何？
Development Process（我们的MVP）-我们如何发展，您如何参与？
Try It -> LINK 如何开始在Swarm上进行构建和原型制作
9:50 -10:10 - Viktor Tron - Infinitely scalable trustless database services
邻近顺序树或POT是理想用于持久性分布式数据库的容器数据结构。先前的工作表明，可以使任何基于功能指针的数据结构都成为本机群集，其中数据节点为块，并且指针引用对应于内容地址。数据结构算法可以解释为对等网络协议。通过merkle证明加以保护，这允许无限扩展的无信任数据库服务。本演讲使用POT演示了这一点，并详细介绍了潜在应用程序（如pss邮箱）在上下文中的优势。我们还提供了现实世界中的应用程序，如聊天记录，状态更新，区块链，交易记录。
10:10 -10:30 - Vojtech Simetka, Rinke Hendriksen Distributed storage meetsincentivization on Swarm
Swarm是一个去中心化的存储平台和内容分发网络，是以太坊web3堆栈的本机基础层服务。仅当适当的节点以建设性方式参与经济激励措施到位时，这样的网络才能充分分散和稳健。激励层（SW3）一直是路线图的一部分，并且这已成为现实。在这场闪电谈话中，我们将启动Swarm网络激励系统的基础层。从现在开始，任何人都可以加入Swarm网络，并因向使用Swarm存储和检索其文件的其他用户提供有价值的服务而获得奖励。
10:30 -10:40 - Break
10:40 -11:00 Anton Evangelatov, Rafael Matias Running and testing large scale Swarmdeployments
在本演讲中，将演示一些用于构建和测试Swarm的工具，即：
1.使用Kubernetes构建的集群环境，在其上运行私有Swarm网络以进行测试，模拟和开发
2.跟踪系统，使用OpenTracing和Jaeger构建
3.指标系统，使用InfluxDB和Grafana构建
将运行一些示例，并显示如果在Swarm之上构建或想要帮助改善Swarm，将如何使用这些工具。
11:00 -11:20 - Viktor Tron, Daniel A. Nagy, Piper Merriam Ethereum State on Swarm
事实证明，存储以太坊状态以及及时访问当前状态已成为扩展以太坊的真正瓶颈。
从多个以太坊客户端（Trinity，geth，turbo geth）的开发人员那里获得的投入促使我们制定了一个分阶段的计划，该计划将通过使用Swarm来存储和提供区块链数据来缓解这些瓶颈。
开发轨道的每个里程碑将提供有价值的功能，这些功能支持：
（0）标头链，
（1）节点请求以太子协议，
（2）轻客户要求提供其Merkle证明的帐户，
（3）即使不运行VM也可以高效地同步状态。
在本演讲中，我们将说明解决方案的体系结构并给出路线图，还介绍了群体子系统依赖项的作用和实现状态。最后，我们演示了使用bzz-eth协议实现（0）的初始MVP，该协议允许以太坊节点和群集节点连接并请求标头以构建标头链。
11:20 -11:30 - Break
11:30 - 12:40Swarm Team Workshop: Swarm for dApp Developers - Getting started with Swarm
12:40 -13:20 - Break
13:20 -14:30 - Swarm Team & Fair Data Society Workshop: Swarm for dApp Developers- Advanced functions
14:30 -14:40 - Break
14:40 -15:50 Swarm Team & IOV - Workshop: Swarm for Node Operators - Run anincentivised Swarm node.
15:50 -16:00 - Break
16:00 -16:20 Dr. Vero Estrada-Galiñanes, Racin Nygaard - When Merkle Met Entanglements
这次演讲是关于与ETH Swarm团队的合作，以建立可靠的长期分散式存储系统。简介提供了有关冗余和擦除代码的概述，这些代码是为希望深入了解冗余机制而不需要更深入地了解复杂数学公式的开发人员量身定制的。本演讲的核心重点介绍了以前在纠缠代码方面的研究，以及如何在Swarm之上实现它们，以及在尽管缺少块的情况下以提高文件的可用性。概念证明获得了以太坊马德里Hackaton 2019的一等奖。Alpha纠缠代码建立了交错链的格子，这些格子交替缠绕数据和冗余数据。晶格提供了用于重建丢失的块的不同路径，并且在随机访问的情况下，它可以最佳地利用带宽。当前，正在研究如何将纠缠与Merkle树集成在一起，以构建具有内置冗余的经过身份验证的数据结构，以保护Swarm中的文件和键值存储。开展这项工作的动机有两个方面：1.在BBCHAIN项目中增加使用分散存储（如Swarm）的可行性，2.识别在Swarm中存储以太坊尝试的机会并解决挑战。
16:20 -16:40 Daniel A. Nagy - Persistency in Swarm
这次演讲是关于在面对客户流失，垃圾邮件和恶意活动节点的情况下，在不信任节点的分散网络中持久保存不同类型的数据。从持久性的角度来看，数据可能有很大的不同，从流行的内容（例如流行的Dapp的静态资产）到极少访问的内容（例如加密的备份）。讨论了挑战及其解决方案，并更多地强调了激励措施及其（错位）调整。
16:40 -Swarm Team AMA
地点：B2
时间：09:10AM - 01:10 PM
演讲题目： P2P Summit - Where Are We withthe Ecosystem and How to Push It Forward?
演讲者：Chris Waclawek
类别：Eth 2.0
**内容：**目录和评估当前有效的方法以及常见的挑战。如何从第一原则设计p2p生态系统，以及我们应该如何到达那里-研究/资助的重点是什么。
09:15-09:30欢迎辞，当天的议程。p2p生态系统报告以及为什么p2p很重要。Wendell Davis，Chris Waclawek项目演示：
09：30-09:45 Dat协议，Karissa McKelvey
09:45-10:00SSB
10:15-10:15Sep Kemvar
10:15-10:30WIRELINE，Rich Burdon
10:30-10:45状态，Dean Eigenmann
10:45-11:00Kyokan，Matt Slipper
11:00-11:10Whiteblock
11:10-11:20libp2p
11:20-11:30Web3 Foundation论坛：
11 ：30-12:15讨论：p2p项目的共同挑战。
12:15-13:00讨论：行动计划。主持人：Karissa McKelvey， Chris Waclawek。
地点：D
时间：03:30 PM -04:00 PM
演讲题目：Lightning Talks
演讲者：Alejo Salles,Joey Krug, Stefan George, Max Blaushild, Thibaut Sardan, Aaron Kumavis
内容：
The MakerDAOCritical Governance Vulnerability
AlejoSalles
在为Coinbase团队进行审核时，我们在DappHub库合同之一中发现了一个严重漏洞，该漏洞影响了生产中的MakerDAO治理系统。在此简短的谈话中，我们将提供对该问题及其补救措施的初学者友好型技术说明。
TheAugur Master Plan, Part 2
JoeyKrug
2017年的第一个Augur总体规划已接近完成，因此该看看下一步是什么了。要进行刷新，原始版本是：（1）发布一个漂亮，缓慢，难以使用且昂贵的v1（2）集成0x并发布v1.5，该版本允许部分链下交易，以便人们可以创建，快速修改和取消订单（3）一次集成Maker并发布v2（“索罗斯”）（4）添加自动过渡合同（5）使用分片和/或突击检查（“ Simons”）发布每秒交易量超高的v3 ”）。在这个闪电般的谈话中，我们将讨论下一步。
Pathto Seedless Recovery
StefanGeorge
私钥管理是在大规模采用以太坊等区块链的过程中要解决的关键问题之一。诸如Gnosis Safe之类的基于智能合约的钱包为通过允许不同类型的访问控制来解决此问题奠定了基础。演讲概述了开发的各种方法，这些方法可以实现种子备份以外的帐户恢复，并说明了如何实施社交恢复以确保可恢复性而不损害隐私。
EthereumNetwork Participation out of the Coldest of Storage
MaxBlaushild
在Coinbase Custody，我们为客户的资产提供顶级安全性。但是，这种安全性需要付出一定的代价。通过其本质，我们的冷藏过程在向网络广播交易时会产生摩擦。对于HODL员工而言，这种摩擦是一件值得欢迎的事情，因为它可以确保他们的资金安全。但是，当我们的客户想要使用他们的资金来参与去中心化应用程序时，我们就必须发挥创造力。本讲座将重点讨论我们开发的模式，以促进客户与其光顾的去中心化网络之间丰富，便捷的网络参与。
StoreYour Keys Safely Offline - Never Get Online to Sign Transactions
ThibautSardan
保持私钥安全的最佳方法是使其与Internet断开连接。通常，这是在硬件钱包中完成的，但是这些钱包中的大多数都通过USB或蓝牙直接连接到计算机。如果钱包从未在线并且从未连接过在线设备怎么办？使用QR码可以实现。我们用奇偶校验签名器完成了它。我将介绍为什么我们构建它，以及如何进行它的简短演示，并讨论我们将来会做什么。
LavaMoat:MetaMask's Approach to Secure App
AaronKumavis
加密货币是攻击者多汁的目标：只需拿起硬币就可以运行！作为应用程序开发人员，我们如何保护用户？特别是考虑到“供应链攻击”的新趋势，攻击者会进入您自己的应用程序代码！LavaMoat是一组工具，可帮助阻止入侵者。
地点：D
时间：04:00 PM -04:40 PM
演讲题目：Lightning Talks
演讲者：Ivan Bogatyi,Mudit Gupta, Duy Huynh, Han Liu, Christoph Jentzsch, Nep Yan, Javier Tarazaga,Christoph Mussenbrock
内容：
zkSNARKEthereum mixer
IvanBogatyi
我构建了一个zkSNARK匿名程序，该程序将（以前已知的）zkSNARK实现与新颖的收入来源相结合，以支持服务器基础架构。它实现了Vitalik在中提出的接口。常规的隐私设置类似于ZCash：一个““受保护””池，其中包含所有希望匿名的人所存放的ETH，以及可以在不透露与存款交易任何联系的情况下撤回的“注释”。重要的是，与环签名或MimbleWimble不同，这提供了K =的K匿名性，为K = 15提供了K匿名性（门罗币中的环签名大小，MimbleWimble中的块大小），因此容易受到多种攻击。沉积到混合器中并等待提款的ETH池将被供应到Uniswap WETH转换器（每年约4％的ROI）。不幸的是，该收入不能提供给存款人，因为确切的金额会在进行存款时准确地放弃。另一方面，它可以用于补贴为客户进行提款交易的基础设施和“管理员”，这是所有以前的匿名者已知的问题，需要接收者事先获得一些ETH才能发起提款，这部分地破坏了目的。
Mixing-basedPrivacy Mechanisms Are Insufficient
MuditGupta
Wasabi钱包使用的不信任硬币连接和Monero使用的环签名等基于混合的隐私保护机制是高贵的，可能对普通的Joe有用，但它们不能提供关键任务所需的隐私。演讲将简要介绍针对此类机制的一些攻击媒介，并提供有关在此类系统中改善您的隐私的提示。
Incognitomode for Ethereum (Decentralized Privacy)
DuyHuynh
BirthmarkingYour Smart Contracts For Vulnerability Search
Han Liu
在本讲座中，我们将重点介绍针对智能合约的自动漏洞搜索技术。在安全方面，漏洞搜索使我们能够快速响应新威胁和零时差攻击。在这些情况下，精心设计的分析远未做好提供精确检测的准备。在这种情况下，我们的漏洞搜索技术可以作为补充，以有效地识别潜在的易受攻击合同，而无需进行深入的深入推理和分析。关键的见解是通过抽象智能合约的编程意图来对其进行“胎记”。通常，胎记的生成是通过象征性地执行智能合约的字节码并动态建立全局依赖性来实现的。更具体地说，在胎记中考虑了语法特征（例如，指令的数量和类型）和语义特征（例如，在同一存储器中加载和存储）。然后，将搜索已知漏洞的任务转换为计算目标合同（具有漏洞）和候选合同（可能/可能没有漏洞）之间的相似度。我们已经实施了一个原型来搜索已知漏洞，并针对现实世界中的安全问题进行了大规模评估。特别是，我们将使用CVE-2018-10376来解释搜索技术如何帮助现有的安全分析器。
Keymanagement:Multisig based Custody as Enabler for Mass Adoption
ChristophJentzsch
密钥管理是广泛使用区块链技术的一项基本挑战。特别是在管理较大的令牌化值时，适当的托管服务至关重要。尽管许多现有的托管服务主要基于Shamir的秘密共享之类的技术，但使用基于智能合约的Multisig管理诸如访问，需要哪些签名，时间延迟，丢失访问的恢复等规则是有意义的。
How toMinimize the Release Anxiety Before Deploying to Mainnet
Nep Yan
在本次演讲中，我将介绍智能合约开发人员可以遵循的所有不同关键点，工具和策略，以尽可能减少Mainnet发布之前的发布焦虑。良好的编码工具，CI设置，DevOps流程，测试和审核是将您的合同与世隔绝之前要正确执行的关键组件。遵循定义明确的方法，应用经过验证的技术，提前计划并建立正确的保障措施，将大大降低一旦合同被广泛开放时发生真正代价高昂的错误的可能性。