公告内容:立即领取|华润集团、宁德核电、东风岚图等 20+ 标杆企业数字化人才培养实践案例 了解详情
写点什么

蚂蚁链 Web3 技术攻坚再进一步:推出基于零知识证明的可信计算架构

  • 2023-07-08
    北京
  • 本文字数:1192 字

    阅读完需:约 4 分钟

蚂蚁链 Web3 技术攻坚再进一步:推出基于零知识证明的可信计算架构

7 月 8 日,在 2023 WAIC 全球区块链产业高峰论坛上,蚂蚁链宣布隐私协作平台 AntChain FAIR 进行全新架构升级,引入零知识证明(ZKP)为核心的可验证计算技术,从可信数据流转拓展到计算过程、数据属性以及身份的可验证。据了解,这是 FAIR 平台继去年提升大规模计算能力后,一次针对核心架构的重要升级,也是蚂蚁链在 Web3 技术领域的持续突破。


零知识证明被业内看作是 Web3 下一个 5 年最关键的技术之一,它指的是证明者能够在不向验证者提供任何有用信息的状况下,使验证者相信某个论断是正确的。相较于隐私计算强调在保护数据隐私基础上进行数据分析和计算,零知识证明的特点在于“可验证”。


采用零知识证明架构的企业和机构,可以在隐私保护基础之上,确保数据计算的整个过程都是按照约定条件进行的、是正确且可被验证的,这将大大提高身份验证、AI 模型训练、数据流转、资产交易、链上链下协同等全流程可信度,加速 Web3 从数字世界向更复杂的产业场景渗透。近年来,随着零知识证明在基础协议和硬件加速层面的高速发展,该技术已经逐渐能够处理诸如神经网络推理这类复杂的任务。


据了解,蚂蚁链在 Web3 技术领域全面自主可控,区块链、隐私计算等授权专利全球第一。作为国内最早布局 Web3 技术的厂商,蚂蚁链曾自研推出区块链及服务 BaaS、 区块链一体机、区块链通信网络 BTN、区块链存储引擎 LETUS、大规模开放架构 HOU、跨链 ODATS 等标志性产品,广泛覆盖 Web3 基础设施。



蚂蚁链资深技术专家魏长征表示:“隐私和可验证一直是数据和计算领域重要的话题,两者有相似之处也有本质不同。零知识证明具有高效的可验证特性,再加之可以保护特定数据不被验证方看见,因此在一定程度上满足了隐私和可验证的双重需求。”


零知识证明最关键的环节是“证明生成阶段”,即对数据、身份、计算过程等生成一个“证明”。据了解,蚂蚁链通过在软件算法优化,“证明生成”端到端加速了原有基线的 2.8 倍。


此外,零知识证明的上述特性,同样可以对计算和数据进行“压缩”,区块链典型应用就是将计算任务迁移到链下,利用零知识证明来证明链下发生的动作是可验证的,仅让证明结果在链上存储和验证。例如,以太坊等区块链平台使用基于零知识证明的叠卷技术(zkRollups),有效解决了链资源紧张的问题。



据了解,为降低零知识证明使用的门槛,蚂蚁链 FAIR 在可信计算架构中加入了 zkWASM——一种新型零知识证明虚拟机,实现指令级别的可证明特性,可以依托 WASM 多语言生态将多种前端语言编写的算法程序进行证明转化,而无需关心底层复杂的算法细节,提升开发应用的友好性。


FAIR 是蚂蚁链面向数据流转推出的隐私协作平台,其综合了区块链和隐私计算的优势,协作流程由智能合约驱动,数据流转由隐私计算引擎来解决,并通过区块链技术确权,登记和交易共识。可以解决数据流通过程中,数据共享与隐私保护之间的天然矛盾。目前,FAIR 已经在杭数交、贵数所等多家数据交易所得到应用。

2023-07-08 13:417089
用户头像
鲁冬雪 GMI Cloud China Marketing Manager

发布了 362 篇内容, 共 255.6 次阅读, 收获喜欢 293 次。

关注

评论

发布
暂无评论
发现更多内容

Druid 加载 Kafka 数据时通过控制台来提交一个 supervisor

HoneyMoose

数据探索

南湖职业技术学院机械狗

netty系列之:Event、Handler和Pipeline

程序那些事

Java Netty nio 程序那些事

Java 操作 Office:POI之word图片处理

程序员架构进阶

Java 架构 自我提升 实战问题 8月日更

oeasy教您玩转vim - 7 - # 从头插入

o

oeasy教您玩转vim - 9 - # 换行插入

o

🏆【Java技术之旅】「编译器专题」重塑认识Java编译器的执行过程(消除数组边界检查+公共子表达式)!

洛神灬殇

Java 编译器 8月日更 JIT编译器

花几天时间肝了一个在线制作词云图网站

Python研究者

Python 可视化 词云图 Python JSON 8月日更

【Flutter 专题】75 图解基本 TabBar 标签导航栏 (一)

阿策小和尚

Flutter 小菜 0 基础学习 Flutter Android 小菜鸟 8月日更

Vue进阶(十三):MOCK

No Silver Bullet

Vue Mock 8月日更

北鲲云超算接入GPUA100,让AlphaFold2轻松使用

北鲲云

Druid 使用 Kafka 将数据载入到 Kafka

HoneyMoose

番外2. OpenCV 中摄像头捕获与视频处理与常见问题解决方案

梦想橡皮擦

8月日更

学习总结

青鸟飞鱼

模块四作业

俊杰

架构实战营

【Vue2.x 源码学习】第二十八篇 - diff算法-问题分析与patch优化

Brave

源码 vue2 8月日更

Druid 加载 Kafka 数据时直接提交一个 supervisor

HoneyMoose

如何从 0 到 1 设计 B 端产品?

蒋川

后台开发 产品开发 后台 后台管理系统 tob产品

Vue进阶(十四):config/index.js 配置文件详解

No Silver Bullet

Vue 8月日更 配置文件

模块4作业

青鸟飞鱼

软通动力 OpenHarmony 师资培训班隆重开启,聚焦高校教师赋能

开放原子开源基金会

oeasy教您玩转vim - 8 - # 追加文本

o

SpringCloud微服务日志经kafka缓冲写入到ELK

Rubble

kafka Spring Cloud ELK 8月日更

阿里云-云开发平台存储篇——给应用接上后端存储能力

若尘

阿里云 云开发 8月日更

Druid 加载 Kafka 数据后查询和清理数据

HoneyMoose

Go并发之CSP并发模型、协程并发

Regan Yue

协程 CSP Go 语言 8月日更

kubernetes入门:harbor个人私有仓库傻瓜式搭建

小鲍侃java

8月日更

Druid 使用 Kafka 数据加载教程——下载和启动 Kafka

HoneyMoose

十大排序算法--堆排序

Ayue、

排序算法 8月日更

FastApi-07-查询参数校验

Python研究所

FastApi 8月日更

架构实战营-学习总结

泄矢的呼啦圈

架构实战营

蚂蚁链 Web3 技术攻坚再进一步:推出基于零知识证明的可信计算架构_阿里巴巴_鲁冬雪_InfoQ精选文章