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

news2024/11/26 23:16:58

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.coloradmin.cn/o/1190583.html

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

相关文章

Modbus协议简介及模拟环境搭建

Modbus协议是一种已广泛应用于当今工业控制领域的通用通讯协议,Modbus 是MODICON公司(现为施耐德电气公司的一个品牌)最先倡导的一种软的通讯规约。 通过此协议,控制器相互之间、或控制器经由网络(如以太网)可以和其它设备之间进…

Kakao账号如何注册使用?如何Kakao多开?外贸必备全面教程

Kakao是目前韩国地区最流行的通讯生活服务软件,相当于我们国内的微信,如果您的业务正准备或者正在进军这个区域,那么少不了需要注册并使用这个平台,甚至需要Kakao多开(多账号同时管理与使用),本…

Linux mx6ull-驱动(1)hello

编写第一个驱动,hello_drv 一、获取内核、编译内核。 这里为什么要获取内核呢,因为我们写的是驱动程序,而不是裸机程序。也就是我们的板子已经烧入进去了uboot、内核,根文件。然后我们要在这个板子的内核的基础上,来…

2023-11-09 node.js-有意思的项目-记录

摘要: 2023-11-09 node.js-有意思的项目-记录 记录: 1、 NodeBB Star: 13.3k 一个基于Node.js的现代化社区论坛软件,具有快速、可扩展、易于使用和灵活的特点。它支持多种数据库,包括MongoDB、Redis和PostgreSQL,并且可以轻松地进行自定义…

软件测试|MySQL LIKE:深入了解模糊查询

简介 在数据库查询中,模糊查询是一种强大的技术,可以用来搜索与指定模式匹配的数据。MySQL数据库提供了一个灵活而强大的LIKE操作符,使得模糊查询变得简单和高效。本文将详细介绍MySQL中的LIKE操作符以及它的用法,并通过示例演示…

Linux系统环境变量

Linux系统环境变量 1. 环境变量1.1 定义环境变量1.2 使用环境变量 2. 环境变量作用2.1 PATH 3. 设置环境变量3.1 设置系统级环境变量3.2 设置用户级环境变量3.3 设置临时环境变量 1. 环境变量 在Linux系统中,常用的关键信息以键值对(KeyValue&#xff09…

第四章:人工智能深度学习教程-激活函数(第二节-ANN 中激活函数的类型)

生物神经网络以人工神经网络的形式建模, 其中人工神经元模拟生物神经元的功能。人工神经元如下图所示: 人工神经元的结构 每个神经元由三个主要部分组成: 一组“i”个突触,其权重为 w i。信号 x i形成具有权重 w i的第 i 个突触的…

关于稳定扩散最详细的介绍

推荐基于稳定扩散(stable diffusion) AI 模型开发的自动纹理工具: DreamTexture.js自动纹理化开发包 - NSDT Stable Diffusion 用途广泛,因为它可以以多种不同的方式使用。首先,让我们关注仅从文本 (text2img) 生成图像…

“箭在弦上”的边缘计算,更需要冷静和智慧

AI大模型、云游戏、自动驾驶、工业互联网等新一代数字技术,会给各行各业和社会经济生活带来巨大改善,这是大家都知道的。 要实现我们所期待的产业变化,一个完整的AI计算架构应该是:云侧端侧边缘侧,进行高效有序的协同。…

Mysql数据库 12.SQL语言 触发器

一、触发器&#xff08;操作日志表&#xff09; 1.介绍 不需要主动调用的一种储存过程&#xff0c;是一个能够完成特定过程&#xff0c;存储在数据库服务器上的SQL片段。 对当前表中数据增删改查的一种记录<日志表>&#xff0c;根据触发器自动执行&#xff0c;记录当前…

【阿里云】任务2-OSS对象存储教程(找我参加活动可获得京东卡奖励)

目录 前言说明第一步第二步第三步&#xff1a;开通并使用OSS传输加速三、清理第四步-提交作品第五步-提交记录到小程序 前言 本次任务是阿里云官方发出的&#xff0c;每个任务30软妹币&#xff0c;欢迎大家加入我的活动群&#xff0c;门槛很低&#xff0c;所有人都可以参加&…

kkFileView getCorsFile 任意文件读取漏洞(CVE-2021-43734)

kkFileView getCorsFile 任意文件读取漏洞 &#xff08;CVE-2021-43734&#xff09; 免责声明漏洞描述漏洞影响漏洞危害网络测绘Fofa: body"kkFileView" 漏洞复现1. 构造poc2. 读取文件 免责声明 仅用于技术交流,目的是向相关安全人员展示漏洞利用方式,以便更好地提…

用于汽车主驱逆变器的NVVR26A120M1WST、NVVR26A120M1WSS、NVVR26A120M1WSB 1200V、碳化硅(SiC)模块

碳化硅&#xff08;SiC&#xff09;模块 – EliteSiC主驱逆变器功率模块 1200V&#xff0c;半桥&#xff0c;介绍 1、&#xff08;NVVR26A120M1WST&#xff09;功率模块是用于混合动力车&#xff08;HEV&#xff09;和电动车&#xff08;EV&#xff09;主驱逆变器应用的VE-Tra…

​​​​​​​​​​​​​​汽车网络信息安全分析方法论

目录 1.典型信息安全分析方法 1.1 HEAVENS威胁分析模型 1.2 OCTAVE威胁分析方法 1.3 Attack Trees分析方法 2. 功能安全与信息安全的关系讨论 与Safety的典型分析方法一样&#xff0c;Security也有一些典型的信息安全威胁分析方法(TARA分析)&#xff0c;根据SAE J3061、I…

C++: 类和对象(下) (初始化列表, 隐式类型转换, static成员, 友元, 内部类, 匿名对象)

文章目录 一. 再谈构造函数1. 构造函数体赋值2. 初始化列表3. explitcit 关键字 二. static 成员1. 概念2. 特性声明静态成员使用类的静态成员定义静态成员 三. 友元1. 友元函数2. 友元类 四. 内部类五. 匿名对象 一. 再谈构造函数 1. 构造函数体赋值 在创建对象时, 编译器通过…

一张数学地图带你尽览数学分支

我们在学校学习的数学可能也只是数学领域的冰山一角&#xff0c;作为庞大而多样的学科&#xff0c;我今天将通过一张数学地图带你尽览数学分支。 本数学地图对应的视频讲解地址如下&#xff1a; https://www.youtube.com/watch?vOmJ-4B-mS-Y 另外&#xff0c;由于图片较大&a…

STM32中断简介

中断系统 中断&#xff1a;在主程序运行过程中&#xff0c;出现了特定的中断触发条件&#xff08;中断源&#xff09;&#xff0c;使得CPU暂停当前正在运行的程序&#xff0c;转而去处理中断程序&#xff0c;处理完成后又返回原来被暂停的位置继续运行&#xff1b; 以上是中断的…

【Linux】JREE项目部署与发布

目录 一.jdk安装配置 1.1.传入资源 1.2. 解压 1.3. 配置 二.Tomcat安装 2.1.解压开启 2.2. 开放端口 三.MySQL安装 3.1.解压安装 3.2.登入配置 四.后端部署 今天就到这里了哦&#xff01;&#xff01;希望能帮到你哦&#xff01;&#xff01;&#xff01; 一.jdk…

半导体(芯片)制造工艺流程简单说

半导体行业是国民经济支柱性行业之一&#xff0c;是信息技术产业的重要组成部分&#xff0c;是支撑经济社会发展和保障国家安全的战略性、基础性和先导性产业&#xff0c;其发展程度是衡量一个国家科技发展水平的核心指标之一&#xff0c;属于国家高度重视和鼓励发展的行业。 …

ant design pro of vue怎么使用阿里iconfont

一 使用离线iconfont 首先需要生成图所有图标对应的js文件。如下图所示&#xff0c;将生成的js代码复制&#xff0c;在项目中创建一个js文件&#xff0c;将代码粘贴进去。这里我将js文件放在了src/assets/iconfont下面 然后&#xff0c;在main.js中引入文件&#xff0c;并进…