ZKByte: 基于零知识证明和BitVm的比特币Layer2拓展解决方案
本设计的主要目标是为比特币区块链建立一个专门定制的Layer2网络。比特币Layer2网络旨在满足比特币生态系统内日益增长的对更快速、更高效交易的需求。通过将某些交易处理任务从主网上释放,旨在缓解比特币主网的拥堵问题并大幅减少交易确认所需的时间。
鉴于比特币虚拟机(VM)计算能力的固有限制,我们的设计使用了BitVM,它展示了在两层网络之间执行智能合约的潜力。通过利用挑战和响应方案,BitVM展示了一种比特币网络可编程性的新方法,打破了传统的限制。
为了增强比特币Layer2网络的安全性和完整性,该设计通过集成零知识证明(ZK)技术来实现状态验证。这些先进的加密技术允许比特币主网可以有效验证Layer2网络的状态,而不会损害底层交易的隐私和机密性。零知识证明能够验证信息而不泄露交易的具体细节,从而在保护隐私的同时确保Layer2网络的完整性。
总体而言,该设计旨在通过Layer2网络、采用BitVM进行智能合约执行以及集成零知识证明技术进行状态验证,提高比特币网络的可扩展性、速度和效率,同时保持底层交易的隐私和安全性。
0、架构
Layer2区块链采用账户模型。整个区块链的状态是通过基于Halo2证明系统的zkVM来验证的。Layer2状态与比特币主网络进行同步,并且所有Layer2状态都由BitVM实现的零知识证明(ZKP)验证器进行验证。 我们使用一个UTXO来追踪所有的Layer2状态。此外,我们还使用了一个可信的预言机来确保只有锁定/解锁脚本的输入/输出遵循Layer2协议。
1、Layer2委员会和可信预言机
由一组被选中的用户组成的Layer2委员会负责监督Layer2网络的整体运行状况。在出现协议问题时,委员会可以介入并停止协议,保护所有用户的资产。可信预言机对于验证输入/输出UTXO和脚本的正确性非常重要。
2、第一层到第二层
在比特币网络上创建一个单一的Taproot地址来表示Layer2协议。当创建一个UTXO并将其转移到Taproot地址时,相应的UTXO实际上是从比特币主网“充值”到Layer2。
协议或委员会账户专门处理所有“充值”到Layer2的UTXO资产的“转移”权限。只有协议、可信预言机或委员会账户可以更改存入UTXO的所有权。可信预言机确保所有权转移交易中包含正确的输出UTXO脚本。
3、同步到比特币主网的区块
所有Layer2网络的状态以区块的形式同步到比特币主网。对于一个区块,应提供以下信息:
· 一个特定区块中的交易;
· 应用这些交易后的新账户状态;
· 当前区块状态下的新UTXO(即使协议被破坏,也始终准备好);
· 比特币网络的区块信息;
· 零知识证明(证明从上一个区块到当前区块的状态转换是正确的) 所有这些比特币主网的状态都记录在一个UTXO交易历史中。
3.1 关于证明的更多信息
零知识证明被用来验证Layer2的正确性。试图证明以下内容:
· Layer2的区块交易被正确签名。
· 所有账户的新状态被正确处理。
· 在比特币主网的某个特定区块之前的所有充值交易被正确处理。
· 对于当前状态,所有UTXO的分配都被正确创建。
3.2 区块信息挑战
为了确保比特币主网中指定的区块信息的正确性,我们使用了一个挑战和响应方案。证明者可以通过指出在锁定时间段内特定区块之后还存在N个区块来证明区块信息的准确性。
3.3 ZKP电路和BitVM增强
正如BitVM论文所示,ZKP验证可以表示为一个二进制电路,可以由两个参与方进行挑战。通过预签名交易,可以发送挑战以获取电路的比特承诺。如果揭示0和1,则挑战成功。为了使用BitVM来验证ZKP,需要注意以下两点:
-
相同的二进制电路承诺只能使用一次。也就是说,如果相同的电路承诺用于多个区块,可能会揭示一个比特承诺的0和1。
-
对于ZKP验证,除了电路的满足性外,还应检查“公共输入”。
为了处理这两个缺点,对于Layer2的每个区块,创建一个唯一的二进制电路,并且固定“公共输入”。比特币脚本用于处理公共输入的哈希和检查。正确的公共输入比特承诺由可信的预言机进行检查。就电路满足性而言,委员会内的任何成员都有权利提出挑战。
4、从Layer2到比特币主网
资产可以通过两种方式从Layer2移动到比特币主网:提现(withdrawal)和强制提现(force-withdrawal)。 提现交易是从Layer2触发的,ZKP电路确保交易按预期进行处理。强制提现交易是从比特币网络发起的。
4.1 提现和强制提现交易
从Layer2触发的提现交易使用ZKP电路进行验证,以确保正确处理交易。从比特币网络发起的强制提现交易必须包含在下一个区块状态更新中。
4.2 UTXO分配
当一个区块的状态更新时,UTXO分配会进行同步。在协议停止的情况下,可以应用所有UTXO以确保所有用户资产的安全。在这些UTXO中,只有提现或强制提现的UTXO由协议签名。
5、Layer2退出
一旦ZKP未经验证,委员会必须停止并退出协议。如果协议停止,委员会会为Layer2最新区块状态中指定的所有UTXO分配进行签名。凭借这些签名,用户可以从Layer2提现而不会有任何损失。
作者:ZKBase(前 ZKSpace);来源:Medium
比推快讯
更多 >>- Jupiter LFG Launchpad第二期项目UpRock公布UPT代币公平分配路线图
- Uniswap在Taiko主网上部署Uniswap V3的提案正式通过
- 老虎证券支持首批虚拟资产现货ETF零佣金交易
- QCP Capital:经济增长放缓和通胀持续升温的滞胀组合进一步削弱美联储降息可能性
- Peter Brandt:比特币或已见顶,可能回落至3万美元
- Aboard Exchange宣布完成最新升级
- ETH跌破3200美元
- 香港虚拟银行Mox:拟透过Mox Invest证券交易平台向客户提供虚拟资产ETF
- Wintermute将15,000枚ETH转入Coinbase
- FTX债权人Sunil:新CEO接管时未提及FTX拥有5500万枚SOL,将反对S&C所有计划
- 美众议员French Hill:如果稳定币立法与大麻银行法案相结合,将投票支持该法案
- 2个巨鲸地址交易BRETT获利约314万美元,收益达30830倍
- 慢雾:警惕恶意攻击者利用WordPress插件漏洞发起的水坑攻击
- 毕马威:自托管机构投资者可通过香港ETF持有虚拟资产,无需事先兑换为法币
- 中国台湾检方建议对ACE交易所诈骗案4名主要嫌疑人判处20年有期徒刑
- 香港交易所:收纳博时HashKey、华夏、嘉实比特币及以太币ETF为中央结算系统多柜台合资格证券
- 知情人士:惠理提交虚拟货币现货ETF申请后又主动退出
- 1亿枚 USDT 从 Tether Treasury 转移到 Bitfinex
- Optimism已修复其测试网的两个关键漏洞
- Arkham:与 Wisdomtree WBIT相关的钱包持有8900枚BTC,价值约 5.79 亿美元
- 纳指止步4周连跌,创去年11月以来最大单周涨幅
- DAI 单日链上转账金额达到 860 亿美元,创下历史新高
- 以太坊 Rollup 协议 Zircuit 拟于夏季启动主网,总锁仓价值已达25亿美元
- 美参议员警告用于交易儿童性虐待材料的加密活动有所增加
- 加密银行 Custodia Bank 就其美联储成员资格败诉一案提出上诉
- Yuga Labs裁员,专注于建立“更小、更灵活的加密原生团队”
- NFTfi基金会:NFTFI空投申领门户将从 4 月 30 日开放至 6 月 10 日
- dYdX Chain累计交易量突破1200亿美元
比推专栏
更多 >>观点
项目
比推热门文章
- 加密货币投资顾问如何打造专业的投资策略
- 两天超5.7万用户参与,详解币安Megadrop首个项目BounceBit(附操作教程)
- 揭秘新骗局:恶意修改 RPC 节点链接骗取资产
- Theta Network :一个基于区块链的去中心化视频传输网络
- 加密悲歌:金钱换不来权力,世界是一个养套杀的草台班子
- 传奇 Meme 币猎手 James:用 7000 美元赚 2500 万美元,如今喊单效应失灵
- BTC将达21万美元?价格模型指标暗示了什么?
- 吴说播客:Faust 谈 Runes Merlin 和 RGB++ 比特币生态更自由
- 一种估算比特币泡沫大小的科学方法
- QCP Capital:经济增长放缓和通胀持续升温的滞胀组合进一步削弱美联储降息可能性