Nautilus 正式发布:为 Sui 带来可验证的链下隐私计算

news2025/4/18 22:21:29

作为 Sui 安全工具包中的强大新成员,Nautilus 现已上线 Sui 测试网。它专为 Web3 开发者打造,支持保密且可验证的链下计算。Nautilus 应用运行于开发者自主管理的可信执行环境(Trusted Execution Environment,TEE)中,类似于 AWS Nitro Enclaves,并通过可验证机制架起链下性能与链上信任之间的桥梁。

随着 Web3 应用场景不断演进,对隐私、信任与数据完整性的需求日益增长。借助 Nautilus,开发者无需牺牲去中心化属性,即可构建以隐私为先的安全应用。这一发布标志着 Sui 在安全与信任方面的又一重要里程碑 — — 这也是该网络的核心基石之一。

Nautilus 简介

Nautilus 允许开发者将敏感或计算成本高的操作,在自主管理的、隔离且防篡改的可信执行环境(TEE)中链下完成。与此同时,这些 TEE 能生成加密证明,确保计算过程真实可信。应用或用户可将计算结果提交至链上,Move 智能合约将验证这些证明后再进行处理。

这一范式为 Web3 带来了兼顾性能、隐私与信任的新型混合应用,同时不牺牲去中心化特性。

主要组成:

  • Move 集成:支持在 Sui 上验证 TEE 证明、签名和处理结果的智能合约模板和函数。
  • TEE 模板:预构建的模板,帮助开发者快速部署至自有 TEE。

Nautilus 首发版本将支持 AWS Nitro Enclaves。

应用场景

Nautilus 为开发者提供了一套强大的全新工具包,用于实现安全的链下执行。以下列举了 Nautilus 如何在隐私、信任和可扩展性方面发挥作用:

  • 防篡改的现实世界数据预言机(如价格、天气、体育)
  • 基于 AI 推理的自主代理流程与链上可溯源性
  • 公平竞技类 Web3 游戏的隐藏逻辑和元数据
  • 实现无需暴露用户信息的隐私身份验证(KYC/AML)

当 Nautilus 与 Seal 搭配使用时,可解锁一系列强大的隐私保护用例,覆盖“安全计算”和“安全数据访问”两个维度。在使用 TEE 时,一个挑战是如何在重启后保持密钥的持久性。这个问题可以通过 Seal 来解决,它可以用于存储长期密钥,并确保只有经过验证的 TEE 才能访问这些密钥。通过这种组合,TEE 解决了“如何在加密数据上进行计算”的问题,而 Seal 则解决了“谁可以访问密钥”的问题。对于需要共享加密状态的应用,开发者可以利用 Seal 与 Nautilus 来私密地处理用户请求,并在链上更新加密状态。

以下是两个前文提到的用例的全新演绎:

  • 隐私预言机:在 Nautilus enclave 中运行定价或身份逻辑,然后用 Seal 对结果进行加密,实现链上基于代币权限的选择性解密。
  • 受控访问的私密 AI 代理:使用 Nautilus 私密运行 AI 代理,确保数据和模型的机密性。然后用 Seal 对推理结果(如推荐或预测)进行加密,并仅向授权方选择性展示。

Sui 的安全愿景:从架构设计中建立信任

Sui 从零开始构建,致力于在各个层级提供端到端的强安全保障。其架构在安全性、正确性与韧性方面均有严格设计,使开发者与用户都能安心构建与交互。

Sui 安全模型的核心考量

  • 以对象为中心的数据模型:Sui 独特的数据模型将链上所有数据视为可编程对象,并具备明确的所有权与访问控制。这种机制支持精细化权限管理,并消除了许多类型的智能合约漏洞。
  • 共识与交易执行:Sui 通过结合因果有序执行与 Mysticeti 共识协议,确保高性能、一致性与强韧性,即使在恶意环境下也能实现确定性结果。
  • 使用 Move 实现安全智能合约:Sui 采用 Move 智能合约语言,专为安全和资产管理设计。Move 具备强静态类型检查、资源导向模型与字节码安全审查机制,帮助开发者编写更安全的代码,预防诸如双花攻击、整数溢出等常见漏洞。

这些基础性的设计选择,使 Sui 天生更适合构建大规模、数据密集型的安全与高性能应用。

内置的密码学能力

Sui 同时提供了一系列密码学原生功能,支持构建强大、安全、可扩展的去中心化应用:

  • 基于门限密码学的多签账户(MultiSig Accounts):原生支持多签账户,提升共享控制与机构访问的安全性。
  • zk-SNARK 支持:Sui 对零知识证明进行了优化,开发者可以轻松将隐私保护逻辑集成进智能合约中。
  • zkLogin:原生认证机制,允许用户使用 Google、Apple 等熟悉的 Web2 账户登录 Web3 应用,同时通过零知识证明确保用户隐私与去中心化。
  • Passkey:通过生物识别或 WebAuthn 的方式进行登录和交易签名,提升钱包安全性,省去传统助记词。
  • 链上安全随机数(Onchain Secure Randomness):Sui 原生支持可验证的安全随机数生成,为游戏、NFT 等场景带来公平且不可预测的结果。

此外,Seal 为 Sui 引入了去中心化加密与可编程访问控制,开发者可利用它保护敏感数据,或启用基于事件/时间的链上访问策略。Seal 确保只有授权用户能够解密并访问底层数据,无需依赖中心化密钥管理。

随着 Nautilus 的加入,Sui 在支持隐私保护和可验证的链下计算方面又向前迈进了一大步。就像智能合约因其源代码的可验证性赢得用户信任一样,TEE 的可复现性也能让用户确认自己正在与一个特定程序交互。

在 Sui 测试网上试用 Nautilus

开发者现可在 Sui 测试网体验 Nautilus。GitHub 代码库已包含可复现模板,用于构建、部署并注册自托管的 AWS Nitro Enclave,还附带一个参考应用,展示从生成可信证明到链上验证的完整流程。

有开发相关问题,欢迎在 Discord 与我们联系。

通过将自托管 TEE 的能力与链上逻辑的可验证性相结合,Nautilus 正在拓展 Web3 开发者在 Sui 上的构建边界。


关于 Sui Network

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

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

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

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

相关文章

云服务器CVM标准型S5实例性能测评——2025腾讯云

腾讯云服务器CVM标准型S5实例具有稳定的计算性能,CPU采用采用 Intel Xeon Cascade Lake 或者 Intel Xeon Cooper Lake 处理器,主频2.5GHz,睿频3.1GHz,CPU内存配置2核2G、2核4G、4核8G、8核16G等配置,公网带宽可选1M、3…

leetcode面试经典算法题——2

链接:https://leetcode.cn/studyplan/top-interview-150/ 20. 有效的括号 给定一个只包括 ‘(’,‘)’,‘{’,‘}’,‘[’,‘]’ 的字符串 s ,判断字符串是否有效。 有效字符串需满足&#x…

Ubuntu20.04安装企业微信

建议先去企业微信官网看一下有没有linux版本,没有的话在按如下方式安装,不过现在是没有的。 方案 1、使用docker容器 2、使用deepin-wine 3、使用星火应用商店 4. 使用星火包deepin-wine 5、使用ukylin-wine 本人对docker不太熟悉,现…

在Ubuntu服务器上部署xinference

一、拉取镜像 docker pull xprobe/xinference:latest二、启动容器(GPU) docker run -d --name xinference -e XINFERENCE_MODEL_SRCmodelscope -p 9997:9997 --gpus all xprobe/xinference:latest xinference-local -H 0.0.0.0 # 启动一个新的Docker容…

异步编程——微信小程序

1. 前言 引用来自:微信小程序开发中的多线程处理与异步编程_微信小程序 多线程-CSDN博客 微信小程序是基于JavaScript开发的,与浏览器JavaScript不同,小程序运行在WebView内部,没有多线程的概念。小程序的 JavaScript 是单线程的…

STM32 四足机器人常见问题汇总

文章不介绍具体参数,有需求可去网上搜索。 特别声明:不论年龄,不看学历。既然你对这个领域的东西感兴趣,就应该不断培养自己提出问题、思考问题、探索答案的能力。 提出问题:提出问题时,应说明是哪款产品&a…

Windows 下实现 PHP 多版本动态切换管理(适配 phpStudy)+ 一键切换工具源码分享

🚀 Windows 下实现 PHP 多版本动态切换管理(适配 phpStudy) 一键切换工具源码分享 📦 工具特点🧪 效果展示🧱 环境要求🧑‍💻 源码展示:php_switcher.py🛠 打…

ReportLab 导出 PDF(图文表格)

ReportLab 导出 PDF(文档创建) ReportLab 导出 PDF(页面布局) ReportLab 导出 PDF(图文表格) 文章目录 1. Paragraph(段落)2. Table(表格)3. VerticalBarChart&#xff0…

yolov8复现

Yolov8的复现流程主要包含环境配置、下载源码和验证环境三大步骤: 环境配置 查看电脑状况:通过任务管理器查看电脑是否有独立显卡(NVIDIA卡)。若有,后续可安装GPU版本的pytorch以加速训练;若没有&#xff0…

RestSharp和Newtonsoft.Json结合发送和解析http

1.下载RestSharp和Newtonsoft.Json 2编写ApiRequest和ApiResponse和调用工具类HttpRestClient 请求模型 /// <summary>/// 请求模型/// </summary>public class ApiRequest{/// <summary>/// 请求地址/api路由地址/// </summary>public string Route {…

【Pytorch之一】--torch.stack()方法详解

torch.stack方法详解 pytorch官网注释 Parameters tensors&#xff1a;张量序列&#xff0c;也就是要进行stack操作的对象们&#xff0c;可以有很多个张量。 dim&#xff1a;按照dim的方式对这些张量进行stack操作&#xff0c;也就是你要按照哪种堆叠方式对张量进行堆叠。dim的…

数据中台(大数据平台)之数据资源目录

数据资源目录是数据管理的账本&#xff0c;是数据应用的基础&#xff0c;更是是数据治理成果的体现&#xff0c;因此数据中台产品应提供数据资源目录编制、发布、资源挂载、下架的管理能力。 1.数据资源目录分类 资源目录能够支持基于业务特点创建和维护基础目录分类和特色目…

【随身WiFi】随身WiFi Debian系统优化教程

0.操作前必看 本教程基于Debian系统进行优化&#xff0c;有些操作对随身WiFi来说可能会带来负优化&#xff0c;根据需要选择。 所有操作需要在root用户环境下运行&#xff0c;否则都要加sudo 随身wifi Debian系统&#xff0c;可以去某安的随声WiFi模块自行搜索刷机 点赞&am…

JAVA Web_定义Servlet2_学生登录验证Servlet

题目 页面StudentLogin.html中有一HTML的表单代码如下&#xff1a; <form action"studentLogin" method"post">学生姓名&#xff1a;<input type"text" name"stuName" value""><br>登录密码&#xff1a;…

Unity入门笔记(缘更)

内容来源SiKi学院的Luna’s Fantasy 文章目录 一、基础知识1.准备2.基础知识1.层级(Layer)2.轴心点3.预制体(Prefab)4.刚体组件(Rigidbody)5.碰撞器组件(BoxCollider) 二、代码1.移动 一、基础知识 1.准备 Unity安装&#xff1a; https://unity.cn 2.基础知识 1.层级(Layer…

【Python】用Python写一个俄罗斯方块玩玩

【Python】用Python写一个俄罗斯方块玩玩 一、引言1.成品效果展示 二、思考准备1.思考设计2.代码设计2.1 游戏页面2.2 控件设计2.2.1 方块生成2.2.2 方块碰撞2.2.3 方块消融2.2.4 游戏主循环2.2.5 游戏窗口 三、游戏完整版 一、引言 今日看到侄子在玩游戏&#xff0c;凑近一看…

记录一次生产中mysql主备延迟问题处理

登录库&#xff1a; mysql -uXXXX -pXXXX -P3306 -hXXXXXX -A 备库上执行&#xff1a;show slave status\G 查看 seconds_Behind_Master&#xff0c;延迟 2705s&#xff0c;而且还一直在增加。 SHOW CREATE TABLE proc_i_income_temp; -- 查看表的结构 show index from proc…

ffmpeg无损转格式的命令行

将ffmpeg.exe拖入命令行窗口 c:\users\zhangsan>D:\ffmpeg-2025-03-11\bin\ffmpeg.exe -i happy.mp4 -c:v copy -c:a copy 格式转换后.mkv -c:v copy 仅做拷贝视频,不重新编码 -c:a copy 仅做拷贝音频 ,不重新编码

强化学习算法系列(五):最主流的算法框架——Actor-Critic算法框架

强化学习算法 &#xff08;一&#xff09;动态规划方法——策略迭代算法(PI)和值迭代算法(VI) &#xff08;二&#xff09;Model-Free类方法——蒙特卡洛算法(MC)和时序差分算法(TD) &#xff08;三&#xff09;基于动作值的算法——Sarsa算法与Q-Learning算法 &#xff08;四…

设计模式(结构型)-桥接模式

目录 摘要 定义 类图 角色 具体实现 优缺点 优点 缺点 使用场景 使用案例 JDBC 和桥接模式 总结 摘要 在软件开发领域&#xff0c;随着系统规模和复杂性的不断攀升&#xff0c;如何设计出具有良好扩展性、灵活性以及可维护性的软件架构成为关键挑战。桥接模式作为一…