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.mzph.cn/news/140950.shtml

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

相关文章

从混沌到有序:sortedcontainers库的数据魔法改变你的编程体验

前言 在当今数据爆炸的时代,高效地处理和操作数据成为每位Python开发者的核心任务。在这个背景下,sortedcontainers库以其强大的有序数据结构为程序员提供了处理大规模数据的优越选择。本文将深入研究sortedcontainers库中的主要有序数据结构&#xff0…

while read f

关键字:linux循环读取文件内容放入变量;使用while循环和read读取文件内容,直到文件尾部;while read f 使用while循环一次读取文件的一行,直到文件尾部。格式如下: # f为一个变量,表示读取到一…

docker stop slow 解决

验证 NanoMQ stop slow 的问题 daemon 和非 daemon 两种方式 docker stop 都很慢 疑问是默认情况下,SIGTERM 会被处理。 模拟 docker 内发送 SIGTERM 信号 # The default signal for kill is TERM # pkill will send the specified signal (by defau…

开发知识点-Django

Django 1 了解简介2 Django项目结构3 url 地址 和视图函数4 路由配置5 请求及响应6 GET请求和POST请求查询字符串 7 Django设计模式及模板层8 模板层-变量和标签9 模板层-过滤器和继承继承 重写 10 url反向解析11 静态文件12 Django 应用及分布式路由创建之后 注册 一下 13 模型…

matlab直线一级倒立摆lqr控制

1、内容简介 略 16-可以交流、咨询、答疑 matlab直线一级倒立摆lqr控制 2、内容说明 倒立摆是一个开环不稳定的强非线性系统,其控制策略与杂技运动员顶杆平衡表演的技巧有异曲同工之处,目的在于使得摆杆处于临界稳定状态,是进行控制理论研…

ArrayList 扩容 讲解 小白易懂版本

ArrayList 扩容 讲解 小白易懂版本 注意本文使用的是 java 11 首先我们假设有一个空数组,现在要开始添加第一个元素 public boolean add(E e) {//modCount: 这个就是记录修改的次数,比如我们增加或删除元素会对数组的结构造成修改&#xf…

MySQL的SQL预编译及防SQL注入

文章目录 1 SQL语句的执行处理1.1 即时SQL1.2 预处理SQL1.2.1 预编译SQL的实现步骤1.2.2 预编译SQL的C使用举例1.2.3 MYSQL_BIND()函数中的参数类型: 2 SQL注入2.1 什么是SQL注入2.2 如何防止SQL注入 1 SQL语句的执行处理 SQL的执行可大致分为下面两种模式&#xf…

python双端队列_中间是头两边是尾_两边是头中间是尾

双端队列的顺序表存储结构以及两种特殊的双端队列 双端队列 是一种允许我们同时从前端和后端添加和删除元素的特殊队列,它是队列和栈的结合体。 双端队列(deque)与队列(queue)就差了两个字,队列里元素只能…

使用Redis实现热搜功能

Redis热搜 原理数据类型redis操作简单实现 实操封装方法执行方法最后使用springboot的定时任务对热搜榜单进行维护 原理 使用redis实现热搜的原理就是维护一个zset集合,然后使用score作为当前搜索词的搜索量,score越高的搜索词就说明该搜索词热度越高。…

深入理解IO和NIO的原理和区别

在计算机编程领域,IO(Input/Output)和NIO(Non-blocking Input/Output)代表了两种截然不同的输入输出模型,它们在数据输入和输出方面采用不同的理念和机制。本文将深入剖析IO和NIO的原理,以及它们…

css实战——清除列表中最后一个元素的下边距

需求描述 常见于列表的排版&#xff0c;如文章列表、用户列表、商品列表等。 代码实现 <div class"listBox"><div class"itemBox">文章1</div><div class"itemBox">文章2</div><div class"itemBox"…

SSM框架Demo: 简朴博客系统

文章目录 1. 前端页面效果2. 项目创建3. 前期配置3.1. 创建数据库数据表3.2. 配置文件 4. 创建实体类5. 统一处理5.1. 统一返回格式处理5.2. 统一异常处理 6. 全局变量7. Session工具类8. 登录拦截器9. 密码加盐加密10. 线程池组件11. dao层11.1. UserMapper11.2. ArticleMappe…

聊聊本地缓存神器:Caffeine

目录 Caffeine基本介绍 简单使用 清除策略 GuavaCache和Caffeine差异 Caffeine基本介绍 Caffeine 是基于 JAVA 8 的高性能本地缓存库。并且在 spring5 (springboot 2.x) 后&#xff0c;spring 官方放弃了 Guava&#xff0c;而使用了性能更优秀的 Caffeine 作为默认缓存组…

nodejs express vue uniapp电影购票系统源码

开发技术&#xff1a; node.js&#xff0c;vscode&#xff0c;HBuilder X express vue elementui uniapp 功能介绍&#xff1a; 用户端&#xff1a; 登录注册 首页显示搜索电影&#xff0c;轮播图&#xff0c;电影分类&#xff0c;最近上架电影 点击电影进入电影详情&am…

数据结构线性表——栈

前言&#xff1a;哈喽小伙伴们&#xff0c;今天我们将一起进入数据结构线性表的第四篇章——栈的讲解&#xff0c;栈还是比较简单的哦&#xff0c;跟紧博主的思路&#xff0c;不要掉队哦。 目录 一.什么是栈 二.如何实现栈 三.栈的实现 栈的初始化 四.栈的操作 1.数据入栈…

Apache Druid连接回收引发的血案

问题 线上执行大批量定时任务&#xff0c;发现SQL执行失败的报错&#xff1a; CommunicationsException, druid version 1.1.10, jdbcUrl : jdbc:mysql://xxx?useUnicodetrue&characterEncodingUTF-8&zeroDateTimeBehaviorconvertToNull,testWhileIdle true, idle …

Zigbee智能家居方案设计

背景 目前智能家居物联网中最流行的三种通信协议&#xff0c;Zigbee、WiFi以及BLE&#xff08;蓝牙&#xff09;。这三种协议各有各的优势和劣势。本方案基于CC2530芯片来设计&#xff0c;CC2530是TI的Zigbee芯片。 网关使用了ESP8266CC2530。 硬件实物 节点板子上带有继电器…

flink对状态ttl进行单元测试

背景 在处理键值分区状态时&#xff0c;使用ttl设置过期时间是我们经常使用的&#xff0c;但是任何代码的修改都需要首先进行单元测试&#xff0c;本文就使用单元测试来验证一下状态ttl的设置是否正确 测试状态ttl超时的单元测试 首先看一下处理函数&#xff1a; // 处理函…

Hosts File Editor 实用工具

我一般手工编辑hosts文件&#xff0c;我想给hosts文件加一个开关&#xff0c;本想自己实现&#xff0c;但是忽然发现微软已经提供了官方的解决方案&#xff0c;感觉有能人。 对文件的行的修改被抽象成了一个开关。腻害&#xff01;&#xff01;&#xff01;

SpringBoot3-快速入门

1.前置知识 Java17Spring、SpringMVC、MyBatisMaven、IDEA\ 2. 环境要求 环境&工具 版本&#xff08;or later&#xff09; SpringBoot 3.0.5 IDEA 2021.2.1 Java 17 Maven 3.5 Tomcat 10.0 Servlet 5.0 GraalVM Community 22.3 Native Build Tools 0.9…