如何在BSV区块链上实现可验证AI

devtools/2024/11/7 12:06:29/

请添加图片描述
​​发表时间:2024年10月2日



nChain的顶尖专家们已经找到并成功测试了一种方法:通过区块链技术来验证AI(人工智能)系统的输出结果。这种方法可以确保AI模型既按照规范运行,避免严重错误,遵守诸如公平、透明和安全等伦理标准,又不会泄露系统的专有信息。这种方法是将信任和责任感带入AI领域的重要一步。

nChain是一家全球领先的区块链技术公司,专注于为客户提供软件解决方案、咨询服务和知识产权授权。这些服务面向各个行业的客户,帮助他们从区块链的安全性、透明度和可扩展性中获益。

成立于2015年,在瑞士、英国、列支敦士登和斯洛文尼亚设有办事处,nChain有超过260名员工,拥有超过3,900项已获批准和正在申请的专利,其中超过1,090项已获批准授权。nChain还开发了BSV节点软件、Teranode和诸多其它区块链组件。

nChain成功展示了一种可验证的AI请求处理过程,在BSV区块链上显示了相关的交易。这些交易可以在BSV主网上找到,对应的生成代码已发布在GitHub上:

https://github.com/nchain-innovation/zkscript_package

尽管这是一个相对较新的研究领域,nChain也只是最近才开始探索,但在成功实现BSV区块链上的可验证计算后,nChain团队勇于挑战自我,继续探索这一技术是否能被应用到机器学习领域。

nChain的首席AI研究员Dr. Hamid Attar对此评价道:“训练是计算,推理也是计算。如果你能进行可验证的计算,那么你就能进行可验证的训练或可验证的推理。”

nChain团队使用MNIST手写数字图像数据集训练了一个简单的神经网络。随后,他们将该模型应用于输入图像,例如用户提供的图像上,并输出预测结果,即输入图像所代表的数字。

这样,一个加密过的证明就被创造出来,用以验证AI的输出确实是通过在指定图像上运行模型而得出的,且同时隐藏了模型的所有信息。随后,这个证明被用来从区块链上,在本例中是从用户那里,申领一小笔BSV。在这里,BSV区块链不仅提供了一个去中心化的独立验证平台,还促进了用户与AI模型之间的微支付。

借助可验证计算的方法,nChain能够通过密码学的方式,证明AI模型是在该模型所声称的数据集上训练的。在实际应用中的一个例子是,用这个方法证明一个生成式AI模型是在一个已知无偏见的数据集上训练的。

更为关键的是,AI开发者能够证实,他们在训练AI模型的过程中,未对训练数据集进行任何恶意篡改。这样做能够确保AI模型的可靠性、透明度及合规性,同时提升模型质量。nChain同样可以证明,AI模型的输出是通过在给定输入上运行指定的AI模型获得的。例如,一件艺术作品可以附带一个证明,显示它是由AI模型根据特定提示生成的。或者,作为付费用户,你可以确信你得到的回答来自ChatGPT4,而不是ChatGPT的免费版本。

在BSV主网上的相关交易以及生成这些交易的代码,都可以在zkScript的GitHub代码库中找到。感兴趣请访问:

https://github.com/nchain-innovation/zkscript_package


目前,全球已有超过400个项目构建于BSV区块链之上。凭借坚如磐石的协议及超高的网络性能,BSV生态系统迅猛发展,我们期待未来出现更多前所未有的商业应用。

  • 对BSV区块链开发感兴趣的朋友,可以前往我们的中文开发者专区:BSV区块链

http://www.ppmy.cn/devtools/132007.html

相关文章

迈入国际舞台,AORO M8防爆手机获国际IECEx、欧盟ATEX防爆认证

近日,深圳市遨游通讯设备有限公司(以下简称“遨游通讯”)旗下5G防爆手机——AORO M8,通过了CSA集团的严格测试和评估,荣获国际IECEx及欧盟ATEX防爆认证证书。2024年11月5日,CSA集团和遨游通讯双方领导在遨游…

单臂路由实现不同VLAN之间设备通信

转载请注明出处 本实验为单臂路由配置,目的为让不同VLAN之间的设备能够互相通信。 1.首先,按照要求配置两个pc的ip地址,以pc0为例子: 2在交换机创建vlan10和vlan20 3.划分vlan,pc0为vlan10的设备,pc1为vla…

android 使用xml设置背景图片和圆角

使用xml设置背景图片和圆角 <?xml version"1.0" encoding"utf-8"?> <layer-list xmlns:android"http://schemas.android.com/apk/res/android"><item><shape><solid android:color"android:color/transparen…

SCNU习题 总结与复习

1. P1:构建最大二叉树 【分治】 重点 构树函数需要注意的点&#xff1b; 前序遍历需要注意&#xff0c;本题的输出有点特点。若一个结点无左子&#xff0c;无右子就不再下去遍历&#xff1b; 其他情况都要下去遍历&#xff1b; 2. P2 寻找多数【分治】 没啥&#xff0c;注意…

数据结构 ——— 计算链式二叉树第k层的节点个数

目录 链式二叉树示意图 手搓一个链式二叉树 计算链式二叉树第k层的节点个数 链式二叉树示意图 手搓一个链式二叉树 代码演示&#xff1a; // 数据类型 typedef int BTDataType;// 二叉树节点的结构 typedef struct BinaryTreeNode {BTDataType data; //每个节点的数据str…

三维测量与建模笔记 - 3.2 直接线性变换法标定DLT

DLT - Direct Linear Transform 上图中&#xff0c;透视成像对应的公式是共线方程&#xff0c;可以参考以下链接&#xff1a; https://zhuanlan.zhihu.com/p/101549821https://zhuanlan.zhihu.com/p/101549821 对于标定来说&#xff0c;需要找到。已知量是。 (u,v)是…

【力扣打卡系列】单调队列

坚持按题型打卡&刷&梳理力扣算法题系列&#xff0c;语言为go&#xff0c;Day21 单调队列——滑动窗口最大值 题目描述解题思路 单调队列 双端队列 移除最左边的元素移除最右边的元素在最右边插入元素 单调性 从队首到队尾单调递减 代码参考 func maxSlidingWindow(…

Qt的C++中实现一个文本转语音(TTS)系统

为了在Qt的C++中实现一个文本转语音(TTS)系统,支持中英文发音,以下是详细的解决方案,包括可用的模型和代码实现方案。 实现需求 已有模型选择:推荐使用 Vosk 或 Mozilla TTS 模型,这些模型都可以离线使用,支持多语言且免费。 Vosk:主要为语音识别库,但支持语音生成插…