本文主要是介绍Sui新一轮学术研究奖公布,17个获奖超42万美金,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
近日,Sui基金会宣布新一轮Sui学术研究奖的获奖者,该计划资助推动Web3发展的研究,尤其是推动与区块链网络、智能合约编程和基于Sui构建的产品相关的技术的边界。
在过去的两个阶段中,Sui基金会批准了来自包括韩国科学技术院(KAIST)、伦敦大学学院(UCL)、洛桑联邦理工学院(EPFL)和新加坡国立大学(NUS)在内的17项来自领先大学的提案,总额为425,000美元。
已批准提案概览
DAOs:投票团体多样性
Ari Juels(康奈尔大学)
这项研究解决了一个基本问题,即去中心化组织意味着什么,该研究将建立一个衡量去中心化组织的指标。通过建立一个去中心化自治组织(Decentralized Autonomous Organization,DAO)体现对去中心化程度的度量,该研究将确定可以增强组织内部去中心化的实践方法。
自适应安全的异步DAG协议共识
Philipp Jovanovic(伦敦大学学院)
该提案旨在开发一种异步DAG协议,以提高对抗攻击的强度并适应不断变化的对手。与当前的部分同步模型不同,异步容易受到拒绝服务攻击和静态对手的影响,所提议的协议将提供更好的安全性和适应性,同时保持尽可能接近部分同步对手的性能水平。
大型语言模型指导下的Sui智能合约审计
Arthur Gervais(伦敦大学学院)
使用像GPT-4–32k和Claude-v2–100k这样的大型语言模型(Large Language Models,LLMs),可以实现对Move智能合约审计的巨大改进。该团队通过对52个Solidity DeFi智能合约的初步分析发现了各种漏洞,导致了近10亿美元的损失。该项目将这项研究扩展到Sui智能合约,强调及时进行稳健安全评估工程,并使用合成基准数据集评估LLM的性能。
映射共识协议领域
Christopher Cachin(伯尔尼大学)
通过调查当前的共识领域,该项目将为密码共识协议提供新颖见解。结果将有助于更好地理解现有算法,并为设计分布式协议提供新的结构。
去中心化预言机协议的高可信验证框架
Giselle Reis(卡内基梅隆大学)和Bruno Woltzenlogel Paleo(Djed Alliance)
创建一个框架,通过形式化方法严格分析和验证区块链预言机,对于确保智能合约中的准确和公平的外部数据至关重要。该项目在先前的工作基础上进行了扩展,利用Coq证明管理系统中形式化的基本预言机协议和业务模型,旨在开发一个全面的定义和证明策略库。
识别可扩展性瓶颈
Roger Wattenhofer(苏黎世联邦理工学院)
通过识别源于智能合约设计缺陷的瓶颈,该项目旨在提高区块链应用程序的并行化潜力。它还将探讨调整交易费用如何影响并行化潜力。
Bullshark协议机械化
Ilya Sergey(新加坡国立大学)
这项研究旨在使用现代计算机辅助验证工具对Bullshark的属性进行正式验证,推进基于有向无环图的共识协议的理解。此外,该项目将通过提供基于DAG的共识协议的第一个经机械验证的模型,为分布式系统研究的进步做出贡献。
BBSF:区块链基准化标准框架
Henry F. Korth(利哈伊大学)
该提案旨在创建一个区块链基准标准化格式,以公平比较L1区块链以及L2扩展解决方案。最终目标是为用户和开发者提供链性能的透明洞见,促进明智决策的制定。
构建可扩展和去中心化的共享序列层
Min Suk Kang(韩国科学技术院)
该提案将探讨将Bullshark/Mysticeti用作共享排序器算法的用途。这将涉及运行多个使用Sui作为排序层的Rollup,使它们可以根据其执行层解释交易。
用于最佳拥堵定价的本地费用市场
Abdoulaye Ndiaye(纽约大学)
这项研究调查了本地费用市场以优化拥堵定价,在交易拥堵和区块链网络中执行交易之间进行了类比。目标是建立反映拥堵状态的有效定价机制,以实现最佳资源分配。对用户估值和延迟成本的初步分析显示了拥堵定价在区块链中是有希望的方向。
SAMM:分片自动做市商
Ittay Eyal(以色列理工学院)
正在开发一种名为分片合约的新概念,该合约利用多个合约来增加并发性。尽管分片自动做市商(AMM)智能合约可以提高性能,但由于流动性碎片化和成本更高的交易,可能会出现挑战。关键目标是调整流动性提供者和交易者的激励,以维持多个AMM分片,实现完全可并行化的分片AMM。
竞争机制中的私人披露
Andrea Attar(罗马托尔维亚塔大学 — 意大利)
探索市场机制设计的新方法,本研究侧重于卖方之间吸引知情买家的竞争。它调查了设计者向代理人私下披露信息对市场结果和战略互动的影响,旨在提供对现代市场动态和竞争的洞察。通过理论分析和实证研究,该项目旨在推进对市场缺陷的理解,并提出政策建议。
应用大型语言模型生成Sui智能合约
Ken Koedinger和Eason Chen(卡内基梅隆大学)
Sui上的智能合约是用Move语言编写的,由于训练数据有限,这给当前的大型语言模型(LLMs)带来了挑战。该研究旨在通过使用Move代码和Sui特定提示来微调LLMs来解决这个问题。该研究将收集一个全面的Move语言示例数据集,增强提示工程,并实施微调,比较这些方法下LLM的有效性。
COMET:过渡到Move的比较度量和框架
George Giaglis(尼科西亚大学)
尽管对Solidity进行了广泛的分析,但Move的出现带来了明显的转变,但Solidity和Move之间的比较分析仍然很少见。该研究将完成Solidity和Move之间的全面比较分析,促进对Move功能和能力的更深入理解。通过将关键要素组织成框架,我们的目标是使开发人员能够轻松过渡到使用Move进行开发。
革命性DeFi:一种深度学习方法优化Sui上的流动性和动态费用
Rachid Guerraoui和Walid Sofiane(洛桑联邦理工大学)
该研究将开发一种混合深度学习模型,用于Sui DeFi协议中的最佳范围预测。它结合了增强的递归神经网络和深度强化学习,同时整合社交媒体情感分析以提高预测准确性。该研究旨在提高DeFi协议对市场变化的响应能力,将Sui定位为下一代DeFi协议的领导者。
评估对SUI波动率的预测能力
Stavros Degiannakis(塞浦路斯开放大学)
在计量经济学中,评估模型拟合和预测能力至关重要,通常依赖于损失函数来评估预测效用。该研究将调查SPEC算法在Sui资产波动率预测中的有效性。利用免费提供的高频价格数据,该研究将主要关注SUI,并在各种区块链资产中进行验证。
低内存后量子透明zkSNARKs
Brett Falk和Pratyush Mishra(宾夕法尼亚大学)
该研究旨在通过解决三个主要障碍(证明者时间复杂度、证明者空间复杂度和证明者SRS大小)来开发可扩展的zkSNARKs。目标是同时克服这些障碍,从而为区块链技术中的各种应用提供部署就绪的可扩展加密证明。
感谢所有提交Sui学术研究奖提案的人。
对于该计划感兴趣的人,请在2024年4月4日之前提交下一轮的提案。
关于 Sui Network
Sui是基于第一原理重新设计和构建而成的L1公有链,旨在为创作者和开发者提供能够承载Web3中下一个十亿用户的开发平台。Sui上的应用基于Move智能合约语言,并具有水平可扩展性,让开发者能够快速且低成本支持广泛的应用开发。获取更多信息:https://linktr.ee/sui_apac
官网|英文Twitter|中文Twitter|Discord|英文电报群|中文电报群
这篇关于Sui新一轮学术研究奖公布,17个获奖超42万美金的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!