BitVM周报 2025.1.20 - 2025.2.2 2025.1.30 BitVM官方项目更新：经过 Bitlayer 和 ElementLabs 整合的 Disprove 逻辑全部合入 BitVM 主分支

2025.1.24 BitVM官方项目更新：优化和清理了比特币脚本宏相关的分支

BitVM周报 2025.1.20 - 2025.2.2 2025.1.30 BitVM官方项目更新：经过 Bitlayer 和 ElementLabs 整合的 Disprove 逻辑全部合入 BitVM 主分支

BitVM周报 2025.1.13 - 2025.1.19 2025.1.17 Bitlayer @BitlayerLabs 发布首个由 BitVM 技术驱动的最小化信任 BTC 桥 Finality Bridge, Finality Bridge 基于 BitVM 技术打造，具有安全性高、支持原生收益及可编程性等特点，支持用户以最小化信任方式安全地将 BTC 铸造成 YBTC ( Yield BTC )代币，参与 Bitlayer 及其他区块链生态中的流动性挖矿、质押或借贷等 DeFi 场景，在无需担心复杂转换过程和高昂交易成本的情况下获得多样化集成收益。 2025.1.14 BitVM官方项目更新：Manish 优化了 G2 椭圆曲线群中的检查 BitVM官方项目更新：Manish 使用 GLV 算法对多标量乘法（MSM）的优化已经合入

BitVM周报 2025.1.6 - 2025.1.12 2025.1.8 BitVM官方项目更新：Bitlayer 修复了 BitVM 中的安全问题，通过承诺来确保预计算参数的一致性。 2025.1.7 BitVM官方项目更新：Bitlayer与Element Labs合作将ZKP验证器中的Chunker适配到桥接的交易图中，使整个BitVM能够无缝运行。这项工作旨在为BitVM测试网的发布做好准备。 2025.1.6 BitVM官方项目更新：Alpen labs 提 PR 目的是减少 G2 群中点存在性检查脚本使用的 chunk 数量

BitVM周报 2024.12.30 - 2025.1.5 2025.1.3 BitVM官方项目更新: Alpen labs @AlpenLabs提 PR 被合并，修复了在不同位置出现的相同 hint 的一致性检查 2025.1.2 BitVM官方项目更新: Alpen labs @AlpenLabs 提 PR 被合并，增加了对 hint 点在群中的检查，保证 hint 的正确性。

BitVM周报 2024.12.23 - 2024.12.29 2024.12.24 1⃣ Manish 提交了优化 MSM 的 PR，将 MSM 从 80 hashes 减少到16 hashes. 2⃣ Mukesh 提交了草稿 PR，优化 blake3 hash。出了不同参数下，栈使用和脚本大小的统计，期待未来优化 chunk。

BitVM周报 2024.12.16 - 2024.12.22 2024.12.21 Bitlayer @BitlayerLabs 已加入BitVM联盟， 2024.12.20 BitVM官方项目更新：BitVM 仓库合并了有限扩域上的逆算法，节省了一个 chunk. 2024.12.19 BitVM官方项目更新：Bitlayer @BitlayerLabs 研究团队提交了修复非固定点预计算在不同 chunk 中未保持一致的问题, 2024.12.18 BitVM官方项目更新：BitVM库合并了Alpen Labs @AlpenLabs 2个PR 2024.12.17 Fiamma @fiamma_labs 发表了 BBBB 博客 001：安全分析 ，BBBB 博客系列将聚焦于安全性： - 1.资产安全：BTC 始终属于你。 - 2. PEG-IN：在侧链上无信任铸造 mamaBTC。 - 3.PEG-OUT：通过 BitVM2 的挑战者协议保障提取安全。 立即深入阅读 BBBB 博客 001：安全分析！

BitVM周报 2024.12.9- 2024.12.15 2024.12.13 BitVM 合并了Citrea @citrea_xyz 将hinted_check_double、hinted_check_add等函数的alpha 和 bias hint值改为跨多个函数复制，不再需要单独提供。 2024.12.11 1⃣ BitVM官方合并了Bitlayer @BitlayerLabs 2⃣Symbolic @symbolicvc与 @nubit_org 合作的研究报告《深入探讨 BitVM》。研究探讨了为什么 BitVM 是比特币执行领域的一种突破性方法，并详细说明了其未来的发展方向。 2024.12.10 BitVM联盟会议上提出的完善README说明问题 Bitlayer @BitlayerLabs 团队提供了代码仓库的主要文件夹信息

BitVM周报 2024.12.2- 2024.12.8 2024.12.6 BitVM官方项目更新：BitVM 更正了根据 “On Proving Pairing” 中的算法 5 编写的链下检查器中的错误，此前当 accumulator 为 3 次剩余时会导致 wi 计算错误，本次提交修复了该问题。 2024.12.5 Bitlayer @BitlayerLabs 发布维护版本v1.1.6，建议所有节点尽快升级; Bitlayer 是首个基于 Bitcoin Finality 的比特币二层项目。 2024.12.4 Fiamma @Fiamma_Chain完成400万美元种子轮融资,Fiamma Bridge：首个基于 BitVM2 的信任最小化比特币跨链桥现已上线 Alpha 测试网。它首次实现了与比特币的安全且实际接近无信任的跨链交互，无需依赖复杂的中心化中介或多签设置。 2024.12.3 BitVM官方项目更新：BitVM 修复了无穷远点作为 affine_add 和 affine_double 函数的输入的问题，此前仿射表示法未考虑无穷远点对计算 BitVM官方项目更新：Lukas 提出目前算法存在 EQUALVERIFY 脚本滥用的问题，目前正在修复 2024.12.2 BitVM官方项目更新：Bitlayer @BitlayerLabs 研究团队修复了 BitVM 项目中的 pairing 计算错误，该 错误 可以导致恶意的挑战者在任何情况下挑战成功

BitVM周报 2024.11.25 - 2024.12.1 2024.11.29 BitVM官方项目更新：BitVM库合并了element labs的Integrate CLI and Winternitz Commit Logic to Client based on #131 + #134 #138( 集成了CLI和Winternitz Commit逻辑； 2024.11.28 Starkware @StarkWareLtd 发表博客说明如何用基于 OPCAT 的 sCrypt 语言构建比特币桥 2024.11.27 BitVM官方项目更新：BitVM 合并了BitVMX团队的New Blake3 Optimization #136(，将Blake3_u4由75.6kb优化到了68.7kb，stack size由671降至657。 2024.11.26 Nubit @nubit_org 联合 ZeroSync、Alpen Labs、Citrea 等合作伙伴共同推出 BitVM IDE，一款在比特币上集成零知识证明（ZKP）开发与验证的工具。 该工具允许开发者体验编写零知识电路、并直接在比特币网络上验证零知识证明的全部过程，为比特币大幅降低开发复杂度，无需信任且隐私性强的应用开发证明了可行的新路径。 2024.11.22 Fiamma Bridge Alpha测试网上线 @Fiamma_Chain，Fiamma Bridge是使用 BitVM2 框架构建比特币桥，目标是以信任无关且高效的方式将不同的生态系统连接到比特币。这使得能够在多个链上安全铸��、代币化的 BTC，直接由比特币支持，包括 BTC 第二层、质押和再质押协议、以太坊、Solana等。

基于BitVM技术的已上线跨链桥 citrea @citrea_xyz 站点： 支持的网络：Bitcoin Testnet4 Citrea 测试网为使用比特币作为结算层奠定了基础，并将研究成果投入到公开测试中。 fiammachain @Fiamma_Chain 站点： 支持的网络：Bitcoin Signet , Ethereum HoleSkey 正在使用 BitVM2 框架构建比特币桥，以无信任且高效的方式将不同生态系统连接到比特币。这使得通过多个链（包括比特币 Layer 2、质押和再质押协议、以太坊、Solana 等）安全铸造的代币化 BTC 直接由比特币背书。 BitVM1 和 BitVM2 技术扩展了比特币的智能合约能力，提升其可编程性，使比特币能够参与复杂的金融应用和 DeFi 生态。通过增强跨链能力，这两项技术释放了比特币的流动性，使其在多链环境中实现更广泛的价值传递。它们推动比特币从“储值资产”向“动态金融资产”转变，赋予比特币更多的使用场景和金融属性。

RT @nubit_org: 1/ Try Your First ZKP Verification on Bitcoin Now! We launched BitVM IDE, a tool to verify ZKPs using BitVM on Bitcoin. Eas…

BitVM周报 2024.11.18 - 2024.11.24 2024.11.19 Galaxy @willnuelle 发文阐述 BitVM 的经济机制 - 主要考虑了交易费，BTC 风险利率和 operator 的收益三种经济机制对用户手续费的影响。 - 结论是因为挑战期的存在 operator 的质押收益成为主要影响手续费的因素。 - 一个例子是假设 14 天的挑战期和 10% 的年化质押收益，用户手续费将约为 0.38%。

Nubit @nubit_org 联合 ZeroSync @ZeroSync_、Alpen Labs @AlpenLabs、Citrea @citrea_xyz 等合作伙伴共同推出 BitVM IDE，一款在比特币上集成零知识证明（ZKP）开发与验证的工具。 该工具允许开发者体验编写零知识电路、并直接在比特币网络上验证零知识证明的全部过程，为比特币大幅降低开发复杂度，无需信任且隐私性强的应用开发证明了可行的新路径。 BitVM IDE链接： 视频教程： Blog: 工作流程 1.启动流程 点击“启动”按钮初始化交易。 2.提交电路数据（断言） i. 输入 x、y 和 z 的值。 ii. 点击“断言”将证明提交到比特币网络。 iii. 验证结果： -有效证明：进入支付流程。 -无效证明：进入挑战流程。 3.执行支付（支付） 如果证明有效，等待确认后，点击“支付”以接收比特币。 4.挑战无效证明（挑战） -如果证明无效，点击“挑战”以质疑该断言。 -挑战成功则确认证明无效。 下一步计划 当前版本的 BitVM IDE 支持基础电路功能，例如 x * y = z。即将推出的更新将加入可自定义电路功能，进一步拓展其潜在用例。 还在开发基于 BitVM 的资产协议 Goldinals。Goldinals 将执行证明与每笔交易结合，减少对索引器的依赖，同时支持任意可编程资产类型。此外，我们正在与合作伙伴携手，将 BitVM 集成到更广泛的应用中，进一步推动比特币的可编程性发展。