首页时事民生政务教育文化科技财富体娱健康情感

旅行百科职场楼市企业乐活学术汽车时尚创业美食幽默美体文摘

什么是 BitSNARK 验证协议？揭秘比特币的最新创新

科技 2024-10-14 11:00 美国

BitcoinOS 通过开源 BitSNARK 验证协议迈出了重大一步，标志着比特币发展的关键时刻，今天，我们将看看这到底意味着什么，以及为什么开源 BitSNARK 验证协议是比特币主网上零知识加密领域的开创性举措。

什么是 BitSNARK 验证协议？

BitSNARK 验证协议是一种允许在比特币网络上执行 zk-SNARK 证明而无需改变比特币核心协议的系统，这项创新使得在世界上最安全的区块链上运行更复杂的去中心化应用程序和链成为可能。

一种基于 Robin Linus 在其 2023 年 12 月的论文中提出的 BitVM 范式构建的技术，允许在比特币上表达图灵完备的智能合约。

BitSNARK 通过改善程序大小和减少挑战/响应长度来增强功能，使其成为更高效的系统，可满足 Rollup 桥接的特定需求。

作为 BitcoinOS（BOS）已经开源的零知识证明（ZKP）验证协议。

为什么 zk-SNARKs 很重要？

zk-SNARK 是一种加密证明，它使一方（证明者）能够向另一方（验证者）证明他们知道特定的信息或计算已正确执行，而无需透露有关计算本身的任何其他细节。

7 月，BOS 在区块高度 853626 上验证了比特币第一个零知识证明，BitSNARK v0.1 的开源为开发者提供了在比特币上实现高级加密证明的工具。

BitSNARK 协议如何工作？

BitSNARK 被设计为一个涉及证明者和验证者的双方协议，证明者首先揭示程序的输入及其结果，如果验证者认为该声明不正确，他们可以提出异议。

这种类型的加密对于将大型计算压缩为小型可验证的证明至关重要，这在区块空间是有限资源的区块链环境中至关重要。

这种经济激励结构确保了诚实，因为不诚实的行为会受到惩罚，证明者将失去在 BTC 中投入的质押，并且如果他们的挑战不成功，验证者将承担潜在成本。

如果出现差异该怎么办？

如果出现差异，协议不会重新运行整个验证，而是使用二进制搜索来确定确切的分歧点，这通常需要对数步数才能解决，这种方法非常高效，并确保验证过程在比特币区块链上仍然具有计算可行性。

Rollups 如何促进比特币的发展？

Rollups 是一种执行环境，它聚合链下交易数据，然后将其汇总到主比特币区块链上。

通过 rollups，比特币网络可以托管与以太坊和 Solana 等其他区块链类似的执行环境，从而显著扩展其功能。

为什么 BitSNARK 验证对比特币具有革命性意义？

从诞生之初，比特币就面临着实现更高可扩展性、增强功能和保持去中心化的三难困境，社区长期以来一直在争论是否有可能在不损害其核心原则的情况下增强比特币的功能，将毯子拉到三个角（可扩展性、功能性和去中心化）的类比说明了同时涵盖所有方面的难度。

这一新功能使比特币可以进行去中心化的原子交换、跨链转移以及智能合约交易的集成，推动比特币走向可以与其他区块链生态系统无缝交互的未来。

与其他将零知识证明引入比特币的项目不同，BitSNARK 的实现是独一无二的，因为它直接在比特币主网上运行，而无需软分叉。

BOS 首席执行官兼联合创始人 Edan Yago 表示，它将比特币变成一个完整的智能合约平台，“比特币已经进入了聊天的话题。” Yago 说。

BitSNARK 与比特币上的其他零知识证明解决方案相比如何？

虽然其他项目在将零知识证明引入比特币方面取得了长足进步，但 BitSNARK 的主网实现却让它与众不同，例如，StarkWare 于 2024 年 6 月在比特币的 Signet 测试网络上验证了 ZK 证明，旨在使用 STARK 技术和名为 OP_CAT 的软分叉来提高比特币的可扩展性。

ZkSync 项目正在使用潜在的 OP_ZKP OP 代码为比特币开发零知识轻客户端，但尚未实现主网验证。

Ledger 的首席技术官 Charles Guillemet 一直倡导 OP_CAT 之类的进步或其他创新方法来验证比特币链上的 ZK 证明，他认为这些进步可以增强第 2 层解决方案并减少对链下处理的信任。

比特币与其他区块链技术有何不同？

比特币与以太坊和 Solana 等较新的区块链技术的区别在于其稳定性和可靠性，这些较新的技术不断更新，可能会遇到操作问题，而比特币的不变性使其成为长期资产保护的更稳定的投资。

这些新实验旨在为比特币带来先进的功能，尽管这些较新的区块链具有技术优势，但比特币传统上并不支持在其网络上直接运行复杂的智能合约或去中心化应用程序。

此外，讨论还指出了科技行业一个有趣的现象：即使新技术比旧系统有了显著的改进，它们也并不总能取代旧系统，就区块链而言，以太坊和类似平台尽管功能先进，但并没有取代比特币，而是与比特币并存，满足生态系统内的不同需求。

比特币的主要问题是什么？

人们通常认为比特币的现有功能有限，主要是因为你基本上只能通过交易所持有或出售 BTC，这一限制凸显了如果比特币旨在充当储备货币，它需要更深入地融入活跃的经济。

当前的模型支撑了比特币万亿美元的估值，因为它允许无需中介的所有权，具有很高的价值，并允许其在去中心化金融层面使用。

Bitfinity 的愿景：连接比特币和以太坊

Bitfinity 的宏伟愿景围绕着弥合比特币和以太坊智能合约功能之间的差距，通过利用零知识证明技术的强大功能，Bitfinity 旨在创建比特币汇总，通过批量交易处理解决可扩展性挑战，这种方法增强了比特币的可编程性。

Bitfinity EVM：比特币的游戏规则改变者

Bitfinity 愿景的核心是 Bitfinity EVM（以太坊虚拟机），这是一种变革工具，可以直接在比特币上部署与以太坊兼容的智能合约。

Bitfinity EVM 作为侧链运行，利用互联网计算机技术实现无与伦比的速度和效率，超越当前的以太坊功能。

释放跨链互操作性

BitSNARK 的集成和 Bitfinity EVM 的开发为无缝跨链互操作性奠定了基础，凭借执行去中心化原子交换和跨链转移的能力，比特币有望成为更广泛的区块链生态系统中更不可或缺的一部分。

这种新发现的互操作性将为比特币开辟新的途径，推动其走向可以与其他区块链网络流畅交互的未来。

结论

为比特币引入零知识（ZK）加密技术意义深远，ZK 允许将任何计算逻辑（从 Solana 或以太坊等虚拟机到 Solidity、Java 或 TypeScript 等编程语言）集成到比特币中。

通过这些增强，比特币将巩固其作为去中心化未来基础技术的地位，体现所有去中心化应用程序都可能在比特币网络上运行的原则。

有关 Bitfinity 的更多信息，请点击：

作者：Hans

翻译：Catherine

- 往期推荐 -

OGY 5 年俱乐部（5YC）成立

与 Omnity Network 相关的三种代币的作用

ICP Hubs Network 成为第十届区块链全球峰会暨 2024 上海区块链国际周的展位赞助商

你关心的 IC 内容

🛠 技术进展 | 🔍 项目信息 | 🌏 全球活动

长按关注 IC 微信视频号

观看最新视频

＊添加小助手微信 comiocn 进交流社群

http://mp.weixin.qq.com/s?__biz=MzU1ODA4MjE5Ng==&mid=2247501953&idx=1&sn=689560094e137bd217618e7745b85ee3

Internet Computer

由 DFINITY 基金会开发的互联网计算机让您无需传统 IT 和大型科技即可构建任何东西，它托管去中心化的无服务器计算，更简单、不受网络攻击、不可阻挡且可由 DAO 控制。

最新文章

互联网计算机将拉丁美洲视为区块链、网络安全和人工智能的发展中心

ICP 生态项目 Predi 正式上线币安链，并同时开启空投及庆祝活动

KongSwap，一个无需链桥和预言机的高级 DEX

Web3 钱包 Wepin 与韩国 ICP 中心签署合作伙伴关系以扩大生态系统

智能合约上的人工智能真的存在吗？

Vly 简介 - 问答

2024 Devcon 东南亚大会期间与 ICP 相关的 18 场周边活动预告

深度访谈 | 解密 Bitomni 的 BTCFi 战略与未来规划

互联网计算机 ICP 价格预测：ICP 加密货币能达到 1000 美元吗？

Dominic Williams：未来的互联网将不会被大公司控制

OpenChat 与 Token Terminal 建立数据合作伙伴关系

互联网计算机（ICP）价格预测 2024、2025、2030

使用 ORIGYN 保护 Leo Caillard 的永恒大理石艺术

Crypto x AI，现在还是个大机会吗？

ICP Chain Fusion 比特币版 - 教育摘要

什么是 BitSNARK 验证协议？揭秘比特币的最新创新

OGY 5 年俱乐部（5YC）成立

与 Omnity Network 相关的三种代币的作用

ICP Hubs Network 成为第十届区块链全球峰会暨 2024 上海区块链国际周的展位赞助商

PrimeVault 在 ICP 链上推出，扩大机构对去中心化金融的访问权限

ICP 的代币经济学：从投机到效用的转变

互联网计算机（ICP）和云 3.0：德国机场的革命性基础设施？

ICP 生态系统项目推动韩国采用 Web3

ORIGYN 集成商计划

东南亚开发者大会：Chain Fusion Hacker House（曼谷站）

Meta Pool 在互联网计算机协议上推出流动性质押平台和 stICP 代币

Dfinity 与柬埔寨同意推进智慧城市创新

金秋上海，赴一场十年之约！

基于 ICP 的比特币代币 “ckBTC” 将通过 Osmosis 连接到 Cosmos

BOB 挖矿指南 V2：如何用最少的付出挖到最多的 BOB 代币

ICP 流动性质押现已在 Meta Pool 上线

Edge Matrix Chain 融资 2000 万美元，用于推出 AI 驱动的第 1 层网络和公共测试网

什么项目让 ICP 网络计算量增长了 20 倍？

短短几天就获得 14 倍回报？介绍近几天在 ICP 上爆火的项目 BOB

Lendfinity 与 Omnity 合作，将 ckBTC、ckUSDT 和 ckUSDC 接入 Bitfinity 网络

瑞士独角兽正在改变科技巨头的游戏规则

沉浸式教育：Yuku 和苏黎世大学的元宇宙体验

ICP 在 TOKEN2049 新加坡大会期间的 12 场周边活动预告

令人兴奋的消息：宣布 ICP x ABCDE x BeWater 加速器最新一批项目

ICP 生态项目率先实现“完全链上”人工智能模型

ckBTC 是 Web3 上的比特币

2025 香港 Web3 嘉年华定于明年四月盛大举行

全球最先进的 RWA 协议 - ORIGYN

TOKEN2049 新加坡再创记录：所有展览机会已售罄！

人工智能 x 区块链的现状以及下一步发展

Tap Protocol 创造历史，在比特币上原生执行首批智能合约

联合国毒品和犯罪问题办公室黑客马拉松

对话 TOKEN2049 创始人：全球最大加密盛会背后的七年汗水与台下功

Kinic - 面向新网络的人工智能工具

布鲁塞尔 EthCC 链融合日

分类

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉