【吧主呓语】华人首登Rust会议舞台，百度安全实验室再次书写新纪

本次 RustFest 一共四天。第一天是正会，共有2个邀请演讲，9个同行评审通过的技术报告和一个短报告。第二天是workshop。最后两天是Rust社区的内部会议impldays。本次会议的大金主是 Ethereum 社区的著名创业公司Parity，金牌赞助商包括 Mozilla, 区块链创业公司Bitfury, 智能锁创业公司 1aim, 和语音助手创业公司snips。

第一天会议的Keynote是OregonTilde公司的Vaidehi Joshi带来的《Learning howto learn》。英语语言文学出身的Vaidehi毕业后依次从事了编辑、教师和作家职业。在2014年她毅然决定转行。通过刻苦的自学她在12星期的线上课程中掌握了Javascript、Ruby和Rails，之后找到了Web前端开发的工作，并越做越好。现在的Vaidehi已经是Tilde公司的Staff Engineer。她在这个演讲中分享了她在在自学Web过程中应用Feynman Technique进行辅助学习的心得体会。她对自学的深刻理解和她的励志故事，通过她声情并茂的表达，感染了所有在场观众。

接下来第一个技术报告也是本次会议最重量级的报告来自于英国剑桥的 Joe 'ctz'，题为《rustls: modern, faster, safer TLS》。rustls 是 Rust 社区最知名的几个项目之一，使用 Rust 语言基本重写了整个 TLS 协议栈，支持了 TLS 1.3 标准。其具有不输OpenSSL 的速度，并同时保证了严格的内存安全，从而在毫不牺牲性能的条件下，从根本杜绝“心脏滴血”漏洞的再次发生。在报告中Joe分析了当前Rust社区对于TLS标准的支持情况，并介绍了rustls的开发历程，以及在rustls中如何借助Rust的高级语法特性辅助进行形式化验证。在报告中Joe还提到了他原本计划实现的兼容openssl的一个项目，后来被百度安全实验室的MesaLink项目彻底替代了，Joe表示Mesalink项目非常酷，是一份“Amazing”的工作，兼容OpenSSL将使得MesaLink具有广阔的应用前景。最后他表示，rustls的形式化验证正在积极推进。完整的形式化验证将有力的证明：rustls是一份“诚实”的TLS 1.3实现。

第二个技术报告来自于英国的Bodil Stokke，题为“Immutable Data Structures and why You want them”。这份报告大概介绍了Rust库im是如何实现高效、内存安全的不可变数据结构，并在一定条件下可以提供可变属性的。

第三个技术报告来自于知名加密货币公司Bitfury的Denis Kolodin。他介绍了Yew，一个Rust+Webassembly的前端框架。这个前端框架利用Rust能够使用WebAssembly作为目标平台的特性，生成能够操作VirtualDom树的代码，生成目标wasm并交给浏览器执行，从而完成使用Rust+Webassembly进行前端开发的目标。

第四个技术报告来自于Mozilla的资深技术专家HenriSivonen。Henri自1999年起就参与Mozilla Gecko浏览器核心的设计和开发，并亲身开发了Gecko的HTML的parser。他曾担任W3C的顾问，并参与了HTML Working Group的大量工作。Henri有资深的C++、Java和Rust工业背景。他的技术报告介绍了他在开发encoding-rs库中遇到的问题，以及如何将Rust和C++安全的连接在一起。这个报告非常有技术含量，干货满满。

第六个报告来自于知名图形渲染库Lyon的作者Nicolas Silva。Nicolas目前是MozillaWebRender团队的核心开发者。他在这个报告中着重讲述了他是如何在Rust中高效的使用GPU进行画面渲染的。他形象生动的展示了几个关键的渲染算法的原理，并现场demo了lyon渲染出的流畅画面，震惊了全场观众，得到热烈掌声。

第七个报告来自于Rust社区分布式系统专家TylerNeely。他具有大量的分布式系统开发设计经验。在这个技术报告中他深入的分析了开发者容易犯错误的根本原因，并提供了一套Rust语言的设计范式，以辅助自动化测试样例生成和批量高速测试。通过推广这个设计范式，他帮助Rust社区开发者发现了数百计的逻辑错误，可以说是非常使用并且有效了。