Ribbit
129 posts

Ribbit
@origugua
Prev. | @MyrrhaLabs | @Mirana ,@realResearchDAO; FINM @ourANU #DYOR





We’ve deployed a $100m eco fund to invest in AI projects - with a focus on agents and applications. We move fast - can deploy in <24hrs. If you’re building with @baoskee @shawmakesmagic @virtuals_io or any of the many awesome projects in the space, DMs are open. RT so ppl know











「在比特币链上验证智能合约!」 昨天 BTC 的开发者提出了一种新的可验证的 BTC Rollup 方案,一经发布就获得了 100 万的阅读量,可见 BTC 社区对这个话题的热情。 随着签名算法、zk 电路、Rollups 技术的发展,以及 BTC 本身系统的升级与技术积累,BTC 的智能合约似乎已经到了“关键一跃”的时刻,近在眼前了。 同样,受益于上述技术,#Ordinals #Atomicals 这类另辟蹊径的尝试也被 BTC 社区接受了,让 BTC 网络处理更复杂的问题,似乎变成了所有人都渴望实现的目标👑。 但是 BTC 文化中,一些深深扎根在社区的理念很难被撼动(这也是 BTC的价值所在):为了实现智能合约,直接升级 BTC 网络,为共识增加复杂度,这条路是行不通的。 那么不升级网络的前提下,能不能在 BTC 上运行智能合约? 刚刚被提出的 #BitVM 看上去是个很有趣的方案:在不需要修改 BTC 网络的前提下,通过 optimistic rollups 运行一个支持通用计算的 VM 虚拟机环境,来实现智能合约。 而 BTC 网络被用于运行 optimistic rollups 的欺诈证明,#BitVM 使用最简单的 hash 锁和 BTC 脚本自带的操作码 OP_BOOLAND 和 OP_NOT 实现了一个简单的逻辑门。 我们都知道,计算机都由是逻辑门组成的,BitVM 将写在 BTC 脚本中的逻辑门组合为了一台运行欺诈证明程序的计算机。 如果 optimistic rollups 出现问题,验证者可以在 BTC 网络中发起欺诈挑战,从而保证 rollup 整体的安全性,这就是“可验证”。 用一种好理解的方式来讲,BitVM 与 BTC 的关系好像 OP 之于 ETH 网络。区别在于,OP 在 ETH 上的欺诈证明本身是一组 ETH 的智能合约,但 BTC 只有基本的脚本能力,没有智能合约功能。 怎么办?BitVM 的选择是,在脚本里实现逻辑门,然后堆一个欺诈证明系统出来。这有一种在《我的世界》游戏里,用红石电路手搓计算机的美感! 这样由大量逻辑门串联成的 Taptrees 不知道是否可以看做这个 optimistic rollups 在 BTC 上的 DA,目前看来这样的思路需要管理大量的签名(因为哈希锁) 和 Taptrees 数据索引,在 BTC 链下运行 rollups 的验证者与证明者的成本很高。 虽然仅仅是一个 8 页的构想,但会不会在某一种未来里,使用 BTC 智能合约的资产和人,会超越 ETH 的智能合约? 我感觉这个几率并不算小。















