登录 后可观看高清视频
【第109期】Bitcoin ZK Rollup：实时证明与Goat Network实践
18次播放
10小时前
AI 总结：本次公开课主题为Bitcoin ZK Rollup实时证明。Stephen Duan分享了零知识证明的背景、关键技术及Goat Network的实践方案。 小结
- ZK Rollup与实时证明（Real-Time Proving）
概念: 实时证明旨在最小化生成证明所需的时间，理想场景是在承担后续货币提取的等待时间内完成证明，至关重要。 挑战: 以太坊等链的PoS铸币模型要求ZK Proof能在极短时间内（如区块时间12秒内）完成。 技术路径: 主流解决方案包括对执行过的交易序列进行分段，分别并行证明再进行聚合，以达成实时性要求。
- Goat Network的BTC二层方案
技术栈: 基于“去中心化sequence”（Decentralized Sequence）和“Bit VM2”（GC，采用混淆电路）构建ZK Rollup。 decentralized sequence: 作为数据可公开可用的分布式存储网络，用于存储状态数据快照，节省链上存储成本。 Bit VM2+GC: 采用恶意对手安全（malicious adversary secure）的混淆电路（Gap Socket），将原本庞大的验证脚本压缩成可管理的链上数据，大幅降低验证成本。 ZKVM应用: 使用抗量子的Stacked Proof系统，生成进行Block Proof和Sub-block Proof，并具备多层聚合证明能力。 Docs: 当前主要开发集中在测试网BitVM2-GC版本，目标在Q4上线主网。
- 系统治理与经济模型
博弈论与激励设计: 通过引入Universe Operator机制，由随机轮换的公会成员承担证明、出块、挑战等工作，并辅以激励与惩罚机制，确保各角色利益平衡。 长期愿景: 搭建一个多链兼容的“桥朴”（Bridgeless Bridge）系统，为不同链提供统一的ZK证明服务，实现资产和信息的无信任跨链。