2023 CCF中国软件大会(CCF ChinaSoft) “区块链可靠性分析”论坛成功召开

2023年12月1日上午,2023年度CCF中国软件大会区块链可靠性分析论坛成功召开。

本次论坛由中山大学郑子彬、澳门科技大学张涛、中科院软件所蔡彦和中山大学陈嘉弛四位老师联合组织举办。本论坛重点关注区块链可靠性,邀请了近年来在区块链可靠性研究方面有先进学术成果的研究者和业界专家进行成果交流与问题讨论,包含区块链性能优化、智能合约漏洞检测、区块链交易分析等相关主题报告。本次论坛吸引了相关领域师生与从业人员的广泛关注。

4d9e5d5fa308ffdb51f7db65fbd38123.jpeg

✦  +

be478900432c6e185caaef667099cf16.png

论坛由中山大学陈嘉弛助理教授主持。首先中山大学郑子彬教授简要介绍了本次论坛的情况,对各位报告嘉宾和听众表示热烈欢迎,随后进入主题报告分享环节,包含6个主题报告。

e46bef252155748fe95e81fc25b9c0c1.png

首先由成都电子科技大学的陈厅教授带来的“智能合约逆向工程”报告。陈教授围绕智能合约字节码的逆向工程展开分享,首先描述了如何通过逆向工程发现代币转账的关键代码,从而准确推断出代币转账行为;随后讲述逆向工程的提取规则,并实现针对以太坊调用接口的准确复原功能;最后讲述如何利用深度学习实现合约字节码的自动化逆向工程。

5c5b353d5f0623c66b199179bcd891ee.png

接下来是趣链科技CTO邱炜伟博士做“联盟链可靠性实践”的分享。邱博士从趣链底层区块链平台关于区块链可靠性的研究出发,提供一种多维度全链路可靠区块链解决方案。在共识可靠性方面,重点讲解基于PBFT与Hotstuff的半同步共识算法优化和HoneyBadger系列与DAG系列的异步共识算法优化。在全链路可靠验证性方面,邱博士分享了一种交易、回执、状态的可靠验证方案,从而推演至共识集群可验证与全链路可验证方案。 

28ecee454fe21b2dafed751fbf9da169.png

随后是上海交通大学阮娜副教授带来的“Web3.0安全溯源关键技术研究”报告。阮教授首先介绍了Web3.0的现状以及平台安全、性能和数据隐私三方面的挑战,针对这些挑战,接着分享了区块链攻防、保证安全的性能优化设计、隐私盗用和安全共享的Web3.0相关研究。

21fa9c1d67d0aee87a87815fdf9dd0de.png

在短暂的茶歇后,华中科技大学王浩宇教授带来了“虚假的认证:深入剖析智能合约源码验证服务的安全风险”报告。王教授首先介绍了智能合约源码验证服务的工作流程及其需要满足的关键安全属性,然后分享了八种可能破坏验证的安全风险;接着讲述了揭示现有源码验证服务中的安全风险的自动化方法,该方法发现了 19 个可利用的漏洞(大部分是0day),并被官方确认。

d8abd542dab93d74152cab0e9601e1c1.png

随后是IDEA研究院AI安全普惠系统研究中心讲席科学家王嘉平博士带来的“Smart Contract Scalability”报告。王博士首先介绍了目前智能合约执行引擎局限性及其给区块链带来的性能瓶颈,接着讲述了一种新的智能合约合约编程语言,通过对合约状态进行分区并划分交易流量,将智能合约的执行从单个执行引擎扩展到多个,提高智能合约的执行效率以及区块链的性能。

b4935e72c7c3f22478fa97c725324e8e.png

最后是由中山大学陈嘉弛助理教授带来的“智能合约中的软件工程问题”报告。陈老师基于对网络中的实证数据源的深入研究,揭示了智能合约开发中常见的软件工程问题,如合约设计缺陷、代码质量问题、以及合约的安全性和隐私性问题等;针对这些问题,陈老师进一步分享了利用符号执行、污点分析等程序分析技术提出的解决方案。

在每一个报告之后与会者都积极提问,针对区块链可靠性的研究与应用前景等问题进行了热烈讨论。在一个上午的精彩且密集的报告后,郑子彬教授为各位报告嘉宾颁发证书,区块链可靠性分析论坛圆满结束。

94767f9d00649a1009ad581031c95e7a.jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/211168.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【postgresql】ERROR: INSERT has more expressions than target columns

执行下面sql insert into apply_account_cancellation3 select * from pply_account_cancellation; 返回下面错误信息 insert into apply_account_cancellation3 select * from apply_account_cancellation > ERROR: INSERT has more expressions than target colu…

【Rust】第二节:入门(如入)

1 说明 包含"Hello, world!“以及"Hello, cargo!” 环境:MacOS 2 Hello world 2.1 运行 1、建一个目录 2、用vscode打开 3、新建文件main.js 4、输入 fn main(){println!("Hello, world!"); }5、打开终端,执行rustc main.rs 6、…

Java:字节流 文件输出与读入方法 并 实现文件拷贝

文章目录 字节 流FileOutputStream换行 与 续写FileInputstream实现 文件拷贝(字节数组 读入方法)字节流 编码 字节 流 FileOutputStream 创建对象,指定位置(产生数据传输通道) 参数可以是File对象,也可以…

特征驱动开发

FDD 方法来自于一个大型的新加坡银行项目。FDD 的创立者 Jeff De Luca 和 Peter Coad 分别是这个项目的项目经理和首席架构设计师。在 Jeff 和 Peter 接手项目时,客户已经经历了一次项目的失败,从用户到高层都对这个项目持怀疑的态度,项目组士…

mysql面试题——日志

一:为什么需要REDO日志 缓冲池可以帮助我们消除CPU和磁盘之间的鸿沟,checkpoint机制可以保证数据的最终落盘,然而由于checkpoint 并不是每次变更的时候就触发 的,而是master线程隔一段时间去处理的。所以最坏的情况就是事务提交后…

持续集成交付CICD:Jenkins配置Nexus制品发布

目录 一、实验 1.Jenkins配置Nexus制品发布 一、实验 1.Jenkins配置Nexus制品发布 (1)策略 发布其实就是下载制品,然后将制品发送到目标主机,最后通过脚本或者指令启动程序。 (2)安装Maven Artifact …

前端知识(十一)———js判断上传的文件是GBK编码还是UTF-8

1、获取文件二进制数据,这里只做示例,例如element-ui中文件上传的beforeUpload方法,返回的file对象,然后使用FileReader对其进行转换,再进行后续判断 function beforeUpload(file: File) { const reader new FileRe…

uniapp图片预览

用的是Uview组件库里面的 直接在页面写上&#xff1a; <u-album singleSize"100" :urls"[https://lxt.jingyi.icu/item.img]"></u-album> 这图片路径是我自己的 你们可以按照组件库里面的方法去实现

DataFrame的使用

查看数据类型及属性 # 查看df类型 type(df) # 查看df的shape属性&#xff0c;可以获取DataFrame的行数&#xff0c;列数 df.shape # 查看df的columns属性&#xff0c;获取DataFrame中的列名 df.columns # 查看df的dtypes属性&#xff0c;获取每一列的数据类型 df.dtypes df.i…

标准成本核算基础知识 – 了解间接费用成本流程 - Part4

原文地址&#xff1a;Basics of Standard Costing – Understanding overhead cost flow-Part 4 | SAP Blogs 这是我理解标准成本计算及其流程的另一篇文档的延续。 标准成本核算基础知识 - 了解成本构成结构 - 第 3 部分 管理费用是只能间接归因于产品的成本&#xff0c;例如…

react中使用react-konva实现画板框选内容

文章目录 一、前言1.1、API文档1.2、Github仓库 二、图形2.1、拖拽draggable2.2、图片Image2.3、变形Transformer 三、实现3.1、依赖3.2、源码3.2.1、KonvaContainer组件3.2.2、use-key-press文件 3.3、效果图 四、最后 一、前言 本文用到的react-konva是基于react封装的图形绘…

基础课20——从0-1客服机器人生命周期

温馨提示&#xff1a;篇幅较长&#xff0c;可点击目录查看对应节点。 1.机器人搭建期 搭建机器人包含&#xff1a;素材整理、问题提炼、相似问题补充、答案编辑、问题分配引擎等等步骤&#xff0c;不同厂商可能有所区别&#xff0c;但关键功能的实现离不开以下步骤。 1.1素材…

Flutter路由的几种用法

Flutter路由跳转 基本路由跳转 ElevatedButton(onPressed: () {//基本路由跳转Navigator.of(context).push(MaterialPageRoute(builder: (BuildContext context) {return const SearchPage();}),);},child: const Text("基本路由跳转"), ), search.dart页面 impo…

说说react的事件机制?

React的事件机制是一种用于处理用户界面事件的方式&#xff0c;它建立在原生DOM事件的基础上&#xff0c;提供了一种更高级、更一致的方式来处理事件。 1. 合成事件&#xff08;Synthetic Events&#xff09;&#xff1a;React引入了合成事件的概念&#xff0c;它是一种React自…

K8S学习指南(3)-minikube的安装

这里写自定义目录标题 简介Windows 系统安装步骤 1&#xff1a;安装 Hypervisor步骤 2&#xff1a;安装 kubectl步骤 3&#xff1a;安装 Minikube步骤 4&#xff1a;启动 Minikube CentOS 系统安装步骤 1&#xff1a;安装 Hypervisor步骤 2&#xff1a;安装 kubectl步骤 3&…

《形式语言与自动机理论(第4版)》笔记(三)

文章目录 [toc]前导《形式语言与自动机理论&#xff08;第4版&#xff09;》笔记&#xff08;一&#xff09;《形式语言与自动机理论&#xff08;第4版&#xff09;》笔记&#xff08;二&#xff09; 第四章&#xff1a;正则表达式4.1|启示4.2|正则表达式的形式定义正则表达式性…

排序算法之四:直接选择排序

1.基本思想 每一次从待排序的数据元素中选出最小&#xff08;或最大&#xff09;的一个元素&#xff0c;存放在序列的起始位置&#xff0c;直到全部待排序的数据元素排完 。 2.直接选择排序 在元素集合array[i]--array[n-1]中选择关键码最大(小)的数据元素 若它不是这组元素中的…

练习:最大公约数

1.什么是公约数 公约数&#xff0c;亦称“公因数”。 它是指能同时整除几个整数的数 。 如果一个整数同时是几个整数的 约数 &#xff0c;称这个整数为它们的“公约数”&#xff1b;公约数中最大的称为最大公约数。 2.辗转相除法 辗转相除法之所以有效是因为其基于一个核心原…

给定有n个结点的树和长度为n的排列,q次询问:l, r, x, 若p[l, r]中存在至少一个结点是x的后代,输出yes,否则输出no

题目 #include<bits/stdc.h> using namespace std; const int maxn 1e6 5; int n, q; vector<int> G[maxn]; int L[maxn], R[maxn];//L[i]表示结点i的时间戳&#xff0c;R[i]表示结点i的后代中时间戳的最大值 int p[maxn]; int t[maxn]; struct Node{int id, fl…

MapReduce

1. 请解释MapReduce的工作原理。 MapReduce是一种编程模型&#xff0c;主要用于大规模数据集&#xff08;特别是非结构化数据&#xff09;的并行处理。这个模型的核心思想是将大数据处理任务分解为两个主要步骤&#xff1a;Map和Reduce。 在Map阶段&#xff0c;输入数据被分解…