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