技术方向

新型区块链智能合约编程语言

科技部国家重点研发计划“区块链”重点专项2022年度智能合约语言关键技术研究方向将以本项目作为研究基础。

区块链上的并行编程语言,犹如CUDA语言之于GPU编程,是释放底层系统计算能力的关键因素,也是国际上制约并行分片区块链系统研究的重要因素。项目基于并行区块链系统编程模型的研究,研发相应的并行编程语言规范、编译器以及虚拟机,旨在构建我国自主可控的新型智能合约语言技术体系,加速行业落地,细化产业分工,减低从业者的进入门槛,促进我国区块链行业的发展。

主要语言特性

● 基于最终原子性理论的分片接力-异步执行框架的编程模型,封装底层并行系统的细节,建立通用的并行异步执行抽象

● 基于分片状态域模型,将状态数据的可拆分性暴露给底层系统,建立通用的分布式数据抽象

● 基于链上版本管理的可升级的智能合约模型

● 原生资源所有权类型

● 原生运行时多态和反射机制

● 异步执行匿名函数及分布式变量捕获机制

● 支持大整数、高精度浮点数的数学安全库

最新研究成果

KaaS 高性能区块链智能合约开放平台

产业落地成果

SPU 新一代自主可控机密计算协处理器

负责人

  • 王嘉平

    Al安全普惠系统研究中心讲席科学家

    王嘉平博士任AI安全普惠系统研究中心讲席科学家,香港科技大学(广州) 兼职教授, 曾先后担任微软总部研究院研究主管、创新工场技术合伙人兼人工智能工程院副院长。王嘉平师从沈向洋博士,于中科院计算所获得博士学位,并荣获2009年全国百篇优秀博士论文奖,是该年唯一的计算机科学领域获奖者。

AI安全普惠系统研究中心

日期:2022-11-06
  • 分享:
AI安全普惠系统研究中心(AISS, AI Inclusion and Security System)立足于分布式计算技术、区块链技术、密码学技术以及边缘智能技术,专注于安全、公平、普惠数据利用和监管平台,个人数据安全共享平台以及隐私保障系统。AISS旨在让全社会从包括AI技术在内的新一代智能技术中普遍受益,提升社会个体信息安全保护能力,规避数据滥用、隐私侵犯、信息茧房、群体意识操纵等由于恶意大规模智能技术所造成的社会问题,遏制利用智能技术构建新型垄断工具及其对行业和创新的损害行为,为监管科技(RegTech)提供底层技术支持和创新技术解决方案。

技术方向

新型区块链智能合约编程语言

科技部国家重点研发计划“区块链”重点专项2022年度智能合约语言关键技术研究方向将以本项目作为研究基础。

区块链上的并行编程语言,犹如CUDA语言之于GPU编程,是释放底层系统计算能力的关键因素,也是国际上制约并行分片区块链系统研究的重要因素。项目基于并行区块链系统编程模型的研究,研发相应的并行编程语言规范、编译器以及虚拟机,旨在构建我国自主可控的新型智能合约语言技术体系,加速行业落地,细化产业分工,减低从业者的进入门槛,促进我国区块链行业的发展。

主要语言特性

● 基于最终原子性理论的分片接力-异步执行框架的编程模型,封装底层并行系统的细节,建立通用的并行异步执行抽象

● 基于分片状态域模型,将状态数据的可拆分性暴露给底层系统,建立通用的分布式数据抽象

● 基于链上版本管理的可升级的智能合约模型

● 原生资源所有权类型

● 原生运行时多态和反射机制

● 异步执行匿名函数及分布式变量捕获机制

● 支持大整数、高精度浮点数的数学安全库

最新研究成果

KaaS 高性能区块链智能合约开放平台

产业落地成果

SPU 新一代自主可控机密计算协处理器

负责人

  • 王嘉平

    Al安全普惠系统研究中心讲席科学家

    王嘉平博士任AI安全普惠系统研究中心讲席科学家,香港科技大学(广州) 兼职教授, 曾先后担任微软总部研究院研究主管、创新工场技术合伙人兼人工智能工程院副院长。王嘉平师从沈向洋博士,于中科院计算所获得博士学位,并荣获2009年全国百篇优秀博士论文奖,是该年唯一的计算机科学领域获奖者。