http://www.7klian.com

[RFP]在Solana上对BTC / ETH的跨链支持

中继器收到N个令牌的生意业务

MVP-Bridge v0此MVP的最初实现是成立一种机制,在Tendermint链和Solana之间为同一所有者移动令牌。Warp请求将包括一个证明,证明Ethereum上令牌的所有者节制了Solana上的有效私钥,反之亦然。这一特另外安详层淘汰了令牌被错误处理惩罚的大概性。Ethereum链运行一其中继器,该中继器吸收另一条链上的生意业务,并从Solana令牌账户转移令牌,反之亦然。在令牌存在于Solana上的期间,中继器将托管在以太坊上的令牌。事例#1:从以太坊发送令牌到Solana


中继器将以太坊上的N个令牌转移到该地点

参考文献

总览Solana基金会(Solana Foundation)但愿向一个团队提供赠款/赏金,以在Solana上成立以下数字资产的跨链集成:

1. The headers contain the work that they claim to
中继器将solana上的N个令牌转移到公钥
验证区块标头
生意业务中包括注释、Solana pubkey和签名
MVP-Bridge v2这个MVP的方针是淘汰对中继者的信任假设。两条链都应支持Cosmos IBC在互相之间移动资产,而不是为中继者添加M/N签名验证或更巨大的密钥打点。从观念上讲,,IBC是作为智能合约的轻客户端实现。通过IBC实现,中继器成为两条链上验证器之间的无需信任动静通报中继器。IBC智能合约会验证另一条链接管生意业务的共鸣证明。

2.从Solana到以太坊的跨链桥接下来的范畴将包罗构建从以太坊到Solana的中继器和智能合约。此桥的设计方案是由Solana经设计在很洪流平上开导Tendermint链所涵盖这里。这座桥的设计方案很洪流平上受到了从Solana到Tendermint链的Warp设计的开导。

验证生意业务输入和输出
为了在Solana智能条约中直接验证比特币生意业务,在阐明比特币生意业务和区块时需要一些尺度。有一些示例可以说明如何实现此目标(由Summa One提供),已开拓为Bitcoin-SPV和Solidity的开源库。

有意者可以在这里提交有乐趣从事这项事情的意向。

在另一个智能合约中的一个链上验证事情量证明汗青的进程。无需预言机或可信赖的第三方。
3. The accumulated difficulty of the proof is above our security parameter.

生意业务包括注释、以太坊地点+签名
1.无状态的简朴付款验证(SPV)

范畴有几种要领可以在Solana上实现对其他的跨链支持,以下是我们感乐趣的几种实现:
Merkle包括证明

SPV设计提案概述(从比特币到Solana)

BTCUtils
智能合约可以利用Merkle包括证明来验证从Merkle树的根到持有生意业务的叶子的路径
智能合约只需要存储标头、生意业务和包括证明(几百个字节)即可验证包括

具备状态的SPV(简朴的付款验证)
提取第一个输出的satoshi值,在第二个见证人中找到与pubkey关联的Solana帐户,或从OP_RETURN中提取数据以用于合约数据挪用
中继器在Solana上收到N个令牌的生意业务
2. Each header links to the previous one

智能合约需要验证每个区块都引用了前一个区块

MVP-Bridge v1本MVP的方针是确保帐户所有权证明获得验证,不然生意业务将失败。Solana和Ethereum将利用智能条约来验证”注释”中的签名。假如签名查抄失败,则转移资金的生意业务将失败。
智能合约会验证比特币生意业务的所有输入和输出,以确保挪用者没有试图传入虚假输出
假如Solana签名验证失败,则中继器将在Ethereum大将令牌转移回所有者。示例 # 2:将令牌从Solana发送到以太坊初始化中继器r在solana上初始化令牌措施,利用u64::MAX作为它的供给。最大供给量由中继帐户保管。Solana上未清算的令牌数量为(u64 :: MAX-当前中继帐户余额)。该金额应始终便是Tendermint链上中继帐户中代币的余额。实现
然后智能合约将验证有问题的比特币生意业务是否已包括在区块中
如安在以太坊中验证比特币付出(仅需70万gas!)
为了验证这一点,智能合约获取我们要验证的标头列表并确认:

验证生意业务是否包括在区块中
Cross-chain Auctions via Bitcoin Double Spends


郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

相关文章阅读