即将到来的基于Grail协议的卡尔达诺-比特币桥，可能是提供由比特币保障的去中心化金融（DeFi）应用的第一步，桥的底层协议的文件显示。
10月24日，支持卡尔达诺（Cardano）的开发团队Emurgo宣布，它正在与Grail的开发者BTCOS合作开发这座桥。
在第二天的X帖子中，卡尔达诺创始人查尔斯·霍斯金森澄清，该网络最终将托管由比特币保障的DeFi应用，并补充道：“通过babel费用，比特币开发者可以在Aiken中开发混合卡尔达诺/比特币应用并用比特币支付他们的交易费用。”
该帖子于11月16日删除，但霍斯金森的类似声明被X用户阿尔·奥（Al’O）录制并通过他的频道分享。
一些比特币用户对去中心化金融应用程式（DeFi）能够由比特币网络保障的想法表示怀疑。
批评者声称，早期的“比特币第二层”并不允许用户在没有网络运营商同意的情况下提取其比特币，并怀疑新的卡尔达诺/比特币混合网络会更是如此。
不过，Grail的文件显示，它确实允许比特币用户在未经验证者同意的情况下从卡尔达诺提取。
比特币上的智能合约
Grail的灵感来自于开发者罗宾·利努斯（Robin Linus）在2023年白皮书中描述的早期想法“BitVM”。
该文件提议可以通过拥有一个伺服器，该伺服器对每个存储的数据位承诺“0”或“1”，来创建类似以太坊的Optimism、Base或Arbitrum的比特币“乐观滚动”。它表示，可以使用此系统在比特币上运行简单的棋类游戏，如国际象棋、围棋或扑克。
比特币上的BitVM逻辑电路示例，用于创建智能合约。来源：BitVM白皮书。
Grail白皮书于4月发布，表示Grail“建立在BitVM范式之上”，而原始的BitVM系统创造了数十亿个复杂交易，最终使其桥的使用变得不切实际。
为了减少复杂性，Grail使用零知识（ZK）证明来缩减需要在比特币上存储的数据量。
最终结果是一个系统，允许用户在不需要信任该网络的安全性的情况下将比特币存入二层网络。在这种情况下，这意味著用户可以从卡尔达诺提取其比特币（BTC），即使卡尔达诺的节点被恶意行为者接管。
创建混合应用可能需要很长时间
即使在桥建设完成后，开发由比特币保障的DeFi应用程式可能还需要一段时间。在他现在已删除的X帖子中，霍斯金森（Hoskinson）表示，开发者需要接受卡尔达诺的Aiken编程语言训练，以创建这些混合比特币/卡尔达诺应用程式。
由于大多数以太坊DeFi开发者在Solidity中接受过训练，这意味著新应用不能只是简单地从以太坊中剪切和粘贴。他们必须从头开始编写。
Aiken编程语言文档。来源：Aiken。
在阿尔·奥（Al’O）发布的录音中，霍斯金森说：“这将是一个巨大的工作量，这是一个非常艰巨的任务，并且需要进行钱包集成和所有这些必须发生的事情。”他接著说，这项工作是值得的，因为“比特币领域有1.5万亿美元。”
提款仍然可能被阻止
Cointelegraph对Grail开发者BTC OS的联合创始人艾丹·雅戈进行了访谈。雅戈表示，如果100%的验证者恶意共谋，则仍然可能阻止从桥的提款。
“如果要恶意接管Grail系统，你需要拥有100%的节点，”他说。
不过，他说，这“比比特币的安全假设更强”，因为比特币仅依赖于“矿工（或哈希算力）中的大多数”是诚实的假设。
在雅戈（Yago）看来，这座桥的安全性比当前的比特币挂钩系统更好，因此创建一个更安全的系统是必要的，因为有数万亿美元的资本与比特币绑定在一起。他补充道：
“今天大多数比特币都是潜在的，因为持有者不想信任提供桥接/包装到其他区块链的第三方中心化实体。我们相信，像Grail这样的保险库或桥——由零知识加密和一个比特币矿工网络保障——可能是持有者在将其比特币投入使用之前更愿意依赖的最安全的加密原生保险库解决方案。”
将OP_CAT作为比特币DeFi的替代方案
Grail并不是唯一一个试图使用比特币网络保障DeFi应用的解决方案。另一个选项称为“OP_CAT”，也声称提供这一好处。不过，它将需要对比特币节点软件进行软分叉，而一些比特币节点对此不情愿。
即便如此，StarkWare的首席执行官伊莱·本·萨森（Eli Ben Sasson）已倡导这一变化并预测它将在“未来12个月内”上线。
当被问及OP_CAT时，雅戈表示其实施“并不会实质性改变桥的安全假设。”
他不支持将OP_CAT添加到比特币，因为他认为这“相当有风险。”他说：
“OP_CAT在交易大小方面可能会迅速变得非常繁琐，即使像Fractal这样的链已经创建了启用OP_CAT的比特币分叉，发现这会带来自己需要解决的复杂性。”
即便如此，他说，如果实施OP_CAT，它“可能会改变如何在比特币上进行zk验证的架构，但它不会实质性改变桥的运作方式。”
