Sui学术研究奖公布,资助研究者探索人工智能、能源市场和区块链游戏

Sui基金会高兴地宣布首轮Sui学术研究奖(SARAs)的获奖者。SARAs计划提供资助,支持推动Sui区块链技术的研究。学术和研究界对我们的初次征集呈现出大量高质量的提案。

已接受的九个提案涵盖了各种主题,如token经济学、智能合约机制以及混合区块链游戏。颁发的资助总额为225,000美元,分布在美国、加拿大、英国、希腊和丹麦的研究人员之间。

已接受提案概述:

项目:混合区块链游戏

研究团队:Ari Juels

机构:康奈尔科技大学

提案概述:区块链技术建立在透明性和可验证系统的基础上。然而,当前的区块链游戏依赖于不透明的中心化系统来促进面向行动的游戏引擎。这项研究探讨了如何将区块链技术的信任特性进一步扩展到桥接链上和链下系统的游戏。

项目:Solidity Mover:从Solidity到Sui智能合约转译

研究团队:Rabimba Karanjai和Weidong(Larry)Shi

机构:休斯敦大学

提案概述:这项研究的目标是开发人工智能,自动将智能合约在不同编程语言之间进行翻译。结果将是一个大型语言模型(LLM)框架和工具,将现有的Solidity合约翻译成基于Sui的Move合约。该项目将探讨在没有经过人类开发者的事先培训的情况下,可靠和正确的程序转译问题,这两种低资源语言之间的转译问题。

项目:SUI波动率建模

研究团队:George Giannopoulos

机构:金斯顿大学会计、金融和信息学系,金斯顿商学院

提案概述:该项目将调查预测SUI波动率的模型的可行性。利用最新的计量经济学进展,研究将尝试像其他主流资产一样准确地预测SUI的波动率。

项目:Cryptokurtosis

研究团队:George Filis

机构:帕特拉大学经济学系

提案概述:这项研究将评估机构投资者当前用于计算其最低资本要求的日常风险指标是否足以提供对金融风险的充分保护。具体而言,该项目考虑高交易频率是否导致潜在损失更高。

项目:智能合约的差分隐私机制

研究团队:James Hsin-yu Chiang

机构:奥胡斯大学计算机科学研究所密码学与安全部

提案概述:这项研究探讨了使用差分隐私(DP)来保护与保护隐私的智能合约进行交互的个人。该项目强调了适用于智能合约和区块链技术的普遍机制的必要性。

项目:通过增加区块链中的地理空间多样性来增强真正的去中心化

研究团队:Hans-Arno Jacobsen

机构:多伦多大学中间件系统研究小组(MSRG)

提案概述:这个提案解决了通过增加验证者之间的地理空间多样性来增强去中心化的挑战。验证者之间的地理空间多样性增强了区块链的稳健性和公平性,例如提供了对区域灾害的恢复力。

项目:保障Move的基础

研究团队:Meng Xu

机构:滑铁卢大学

提案概述:该项目保障Move编程语言的基础,包括其概念语义和工具链实现。

项目:Spec2:通过符号汇总进行互动的双层规范推断

研究团队:Taesoo Kim

机构:乔治亚理工学院系统软件与安全实验室

提案概述:这个项目构建了一个综合的规范推断框架Spec2,自动推导一组高质量的规范,类似于专家可能手动开发的规范。尽管规范推断的一般概念并不新鲜,但在智能合约领域却没有实际工具,这是Spec2填补的空白。

项目:基于AMM的点对点能源交易的去中心化交易市场

研究团队:Petr Musilek

机构:阿尔伯塔大学工程学院电气与计算机工程系

提案概述:这项研究提出了一种在Sui区块链上进行点对点能源交易的创新去中心化系统,使用了自动化市场制造商机制和零知识证明技术。

我们要感谢所有提交Sui学术研究奖提案的人。Sui代表了一代新的区块链技术,是探索其潜力的绝佳机会。

对于那些对该计划感兴趣的人,请在2024年1月4日前提交下一轮的提案。


关于 Sui Network

Sui是基于第一原理重新设计和构建而成的L1公有链,旨在为创作者和开发者提供能够承载Web3中下一个十亿用户的开发平台。Sui上的应用基于Move智能合约语言,并具有水平可扩展性,让开发者能够快速且低成本支持广泛的应用开发。获取更多信息:https://linktr.ee/sui_apac

官网|英文Twitter|中文Twitter|Discord|英文电报群|中文电报群

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

Java 设计模式——状态模式

目录 1.概述2.结构3.案例实现3.1.抽象状态类3.2.具体状态类3.3.上下文类3.4.测试 4.优缺点5.使用场景 1.概述 【例】通过按钮来控制一个电梯的状态,电梯有开门状态,关门状态,停止状态,运行状态。每一种状态改变,都有可…

银行APP虚拟金额软件,建设农业工商邮政余额生成器,易语言开源版

用易语言开发了一个虚拟余额装逼软件,可以生成虚拟的余额截图,就是APP端的截图,用的画板组件,但是生成出来的图片是非常高清的,软件里面因为图片是缩放状态,所以看起来有点失真的感觉,生成图片的…

Mysql进阶-视图篇

介绍 视图(View)是一种虚拟存在的表。视图中的数据并不在数据库中实际存在,行和列数据来自定义视图的查询中使用的表,并且是在使用视图时动态生成的。 通俗的讲,视图只保存了查询的SQL逻辑,不保存查询结果。…

汇编-EQU伪指令(数值替换)

EQU伪指令将一个符号名称与一个整数表达式或一个任意文本相关联, 它有3种格式 在第一种格式中, expression必须是一个有效的整数表达式。在第二种格式中, symbol是一个已存在的符号名称, 已经用或EQU定义过。在第三种格式中&…

想水目标检测sci论文的同学看过来:第一个用于目标检测的扩散模型

目标检测新范式!在 COCO、CrowdHuman 和 LVIS上取得了良好的性能,尤其是跨不同场景的零样本迁移 本文提出了 DiffusionDet,这是一个新框架,它将目标检测制定为从噪声框到对象框的去噪扩散过程。 在训练阶段,目标框从真…

echart的tooltip显示不同的单位

效果 实现 在每个series中添加不同的 tooltip: { valueFormatter: function (value) { return value.toFixed(0) ‘A’; } }, 代码如下 var option {// grid: {// left: -13vw,//左边距72px// right: 32%,// bottom: 64%,// top:…

clickhouse通过java jdbc实现增删改查,保姆级教程

一、clickhouse是一款开源的用于在线分析处理查询(OLAP :Online Analytical Processing)MPP架构的列式存储数据库。 二、clickhouse可以做用户行为分析,流批一体 三、我们现在用java通过jdbc的方式来操作clickhouse 四、先安装clickhouse,安装资料自行…

通达OA V12版,引入thinkphp5.1框架,及获取session

通达OA V12版,引入thinkphp5.1框架 如下过程引入如下问题,按上述问题解决htmlentities(): charset cp936 not supported, assuming utf-8 内容绝对原创,希望对您有帮助。您的打赏,是让我持续更新的牛奶和面包 如下过程引入 在D:/…

有效降低数据库存储成本方案与实践 | 京东云技术团队

背景 随着平台的不断壮大,业务的不断发展,后端系统的数据量、存储所使用的硬件成本也逐年递增。从发展的眼光看,业务与系统要想健康的发展,成本增加的问题必须重视起来。目前业界普遍认同开源节流大方向,很多企业部门…

总结Kibana DevTools如何操作elasticsearch的常用语句

一、操作es的工具 ElasticSearch HeadKibana DevToolsElasticHQ 本文主要是总结Kibana DevTools操作es的语句。 二、搜索文档 1、根据ID查询单个记录 GET /course_idx/_doc/course:202、term 匹配"name"字段的值为"6789999"的文档 类似于sql语句中的等…

载波通讯电表的使用年限是多久?

随着科技的飞速发展,智能家居、物联网等概念逐渐深入人心,载波通讯电表作为一种新型的智能电表,凭借其低功耗、高可靠性、远程通讯等优点,广泛应用于居民用电、工业生产等领域。那么,载波通讯电表的使用年限是多久呢&a…

vTESTstudio的使用

vTESTstudio介绍 vTESTstudio是Vector公司专为ECU自动化测试而研发的测试用例编写软件,可用于从模型测试到系统确认的所有开发阶段。它集成了多种用例编辑方法,能有效提高测试人员对测试设计的效率、具有可复用性等优点。它支持Python作为测试编程语言&…

vtk夹角计算控件

开发环境: Windows 11 家庭中文版Microsoft Visual Studio Community 2019VTK-9.3.0.rc0vtk-example参考代码目的:学习与总结 demo解决问题:renderWindow中创建一个夹角测量控件,通过三个点确定一个夹角 典型的控件类继承关系&am…

第134届广交会圆满落幕,百华鞋业不负众望,载誉收官!

第134届广交会线下展在广州圆满落幕,交出了亮眼的成绩单。相比往届,本届广交会展览总面积扩至155万平方米,展位总数7.4万个,展区总数55个,参展企业28533家,均创历史新高。据央媒等相关报道,本届…

Ubuntu LTS 坚持 10 年更新不动摇

导读Linux 内核开发者 Jonathan Corbet 此前在欧洲开源峰会上宣布,LTS 内核的支持时间将从六年缩短至两年,原因在于缺乏使用和缺乏支持。稳定版内核维护者 Greg Kroah-Hartman 也表示 “没人用 LTS 内核”。 近日,Ubuntu 开发商 Canonical 发…

COOHOM通过采用亚马逊云科“专库专用”的方式,为云原生的构建提供稳定的数据支撑

全球化浪潮下,面对全球化业务发展带来的新需求与新挑战,越来越多的企业开启了云原生构建旅程,以推动业务系统快速迭代,为国际业务的拓展打下坚实的基础。COOHOM是杭州群核信息技术有限公司旗下的国际化品牌。为全球企业和个人提供…

taro(踩坑) npm run dev:weapp 微信小程序开发者工具预览报错

控制台报错信息: VM72:9 app.js错误: Error: module vendors-node_modules_taro_weapp_prebundle_chunk-JUEIR267_js.js is not defined, require args is ./vendors-node_modules_taro_weapp_prebundle_chunk-JUEIR267_js.js 环境: node 版本&#x…

KubeSphere v3.4.0 部署K8S Docker + Prometheus + grafana

KubeSphere v3.4.0 部署K8S 1、整体思路2、修改linux主机名3、 离线安装3.1 问题列表3.2 执行命令成功列表 1、整体思路 将KubeSphere v3.4.0 安装包传输到其中一台机器修改Linux主机名(选取3台,修改为master01、master02、master03)安装官方…

电脑监控软件怎样防止数据泄露丨实战干货分享

电脑监控软件大家应该都不陌生吧,原本它是国外的产物,只不过在02年的时候,在国内出现。 一开始它的功能也仅限于监控应该的电脑画面,但是随着电脑问题逐渐增加,其他和公司企业管理、员工管理、防止数据泄露的功能就都…

仿mudou库one thread one loop式并发服务器

目录 1.实现目标 2.HTTP服务器 实现高性能服务器-Reactor模型 模块划分 SERVER模块: HTTP协议模块: 3.项目中的子功能 秒级定时任务实现 时间轮实现 正则库的简单使用 通⽤类型any类型的实现 4.SERVER服务器实现 日志宏的封装 缓冲区Buffer…