Conflux Meetup 第四站（北京）线下活动内容回顾：DApp 开发及案例分析

4月14日，Conflux 官方举办的《DApp 开发及案例分析》线下交流活动在北京顺利落幕。参与本次交流会的嘉宾，包括 Conflux 核心系统开发工程师刘严培、Conflux 核心算法研究员李辰星、深信科创区块链测试专家蔡彦、PingCAP 研发工程师沈泰宁同大家一起分享了最新技术内容。

首先，Conflux 核心系统开发工程师刘严培，分享了他的主题演讲。

演讲主题：《在 Conflux 上部署智能合约》

讲解如何利用 Conflux 提供的各种接口与 Conflux 节点交互，进一步如何利用相关工具开发智能合约，并部署到 Conflux 网络上。

接着，深信科创区块链测试专家蔡彦带来了他的主题演讲。

演讲主题：《Solidity 智能合约漏洞检测与案例分析》

智能合约是建立在区块链平台上的可自动执行的计算机协议，优势之一是没有第三方参与。但智能合约本身需要以某种计算机编程语言来实现，其实现过程极易引入各种漏洞。通用的智能合约编写语言功能强大，一旦合约之间可以相互调用，运行过程难以确定。从而导致智能合约中的漏洞检测等极为困难。深信科创提出了一种基于符号执行（Symbolic Execution）的智能合约漏洞检测方案，其可以根据合约开发人员指定的特征，快速检测合约中的漏洞，且极少有误报。该方案已在大量 Solidity 智能合约的漏洞检测中得以验证。 

最后，PingCAP 核心系统开发工程师沈泰宁给大家带来了他的主题演讲

演讲主题：《Rust 异步网络编程：Futures and gRPC》

Rust 是一个安全高效的编程语言，它对异步编程有很好的支持：Future。gRPC 作为跨平台 RPC 框架提供了简单易用的 API。TiDB/TiKV 作为分布式数据库自然免不了网络编程。这次分享将讨论我们是如何在 TiKV 中使用 Future 和 gRPC-rs 进行异步网络编程，然后会简单介绍一下 gRPC-rs 内部的实现细节。

在圆桌环节，Conflux 核心算法研究员李辰星、深信科创区块链测试专家蔡彦、PingCAP 研发工程师沈泰宁一起和大家讨论了目前最关心的技术问题。

最后，想了解本次活动详情，可登录视频链接：

https://weibo.com/tv/l/p1RyAUi3yPVovKo6

https://weibo.com/tv/l/6j8vlTApUFwjRVP0https://weibo.com/tv/l/6j8vlTApUFwjRVP0

活动具体内容文字版请回复：文字版

PPT内容请回复：PPT