这篇文章介绍的是StarkEx提供的快速取款的解决方案:在区块链时间内从L2提取资金到任何L1地址,并且该解决方案与L2运营商生成有效性证明的频率无关。StarkEx是L2扩容技术服务商StarkWare的二层交易应用。
目前,快速取款功能已经在StarkEx的以太坊主网上运行,并为DeversiFi和dYdX的交易所提供支持。
下面的解决方案可以应用于行业内广泛的用例,首先我们来看场景需求。
场景需求
区块链允许Alice和Bob两方之间的无信任交互。Alice可能希望发布一个只有在某个条件事件发生时才能执行的交易;Bob希望在满足条件后执行Alice的交易,而无需再次获得她的批准。我们将这样的规范称为条件事务(CT)。
金色财经挖矿数据播报 | BTC今日全网算力下降4.51%:金色财经报道,据蜘蛛矿池数据显示:
BTC全网算力113.064EH/s,挖矿难度19.99T,目前区块高度655066,理论收益0.00000767/T/天。
ETH全网算力267.162TH/s,挖矿难度3319.49T,目前区块高度11174806,理论收益0.00595503/100MH/天。
BSV全网算力1.307EH/s,挖矿难度0.20T,目前区块高度659480,理论收益0.00068885/T/天。
BCH全网算力2.234EH/s,挖矿难度0.32T,目前区块高度659722,理论收益0.00040277/T/天。[2020/11/2 11:24:39]
在L1上实施CT很简单,因为智能合约可以加强事件和交易执行之间的耦合。也就是事件发生自动执行。并且把执行条件固定。但当迁移到L2系统时,这将成为一个挑战。例如,在StarkEx中,签名者将签署的交易传递给运营商,运营商负责执行它,在满足请求的条件之前,没有什么可以阻止运营商执行这个交易。
金色晚报 | 2月27日晚间重要动态一览:12:00-21:00关键词:ETC、日本央行、数字货币、湖南省区块链产业园
1. 湖南省工信部批准设立湖南省区块链产业园。
2. ETC开发者会议:计划在10,500,839高度进行升级。
3. 日本央行副行长:日本央行将研究数字货币的利弊。
4. 浙江省委宣传部:加快区块链等技术在文化产业领域的应用。
5. 苏州市相城区:2020年将强化数字货币和区块链研发应用。
6. 数字货币入选《麻省理工科技评论》2020年全球十大突破性技术。
7. 美国律师事务所预计美国国税局将对加密逃税者提起更多诉讼。
8. 尼日利亚仍居比特币、区块链区域搜索热度首位。
9. 当前BTC全网合约持仓总量为26.97亿美元。
10. 比特币日内震荡下跌,最低跌至8531美元,现报8773美元。[2020/2/27]
在这篇文章中我们提到的在L2上指定的CT,它依赖于L1事件。也就是说,CT确保操作员只有在发生某些链上事件时才能执行签名交易。如果我们再添加一个CT,它依赖于另一个L2事件上的事件,这将实现StarkEx实例和StarkNet之间的互操作性。
金色财经现场报道 PeckShield创始人兼CEO蒋旭宪 :建立区块链安全保护措施和防范机制:金色财经6月3日现场报道,在今天的以太坊技术及应用大会上, PeckShield创始人兼CEO蒋旭做了题为“Code Is Law:以太坊智能合约面临的威胁与挑战”的主题演讲。蒋旭宪说,要思考建立保护措施和防范机制,主要有上线前的智能合约审计;上线后的应急响应;漏洞奖赏计划。[2018/6/3]
下面,我们将此类链上事件的概念形式化,并了解如何将它们用于StarkEx中的CT。
条件事务
CT使用FactRegistry合约来跟踪链上事件。特别是,除非在事实登记处注册,否则CT不能以事件为条件。例如,如果Alice直接在Ethereum上向Bob转账1ETH,则没有可以用作CT的链上事件。
金色财经现场报道 IPFS、Filecoin中国区技术布道人董天一:去中心化是手段不是目的:金色财经现场报道,在西部中小企业发展论坛上,开展了以《目前中国区块链行业现状》为主题的圆桌讨论,IPFS、Filecoin中国区技术布道人董天一指出:去中心化是手段,不是目的。其实说到底就是区块链的应用,在现行的经济体中,区块链又长出了一个侧枝。我们要做的是,把长出来的这一块东西融入到原有的经济体中。区块链只是来提升这个世界的效率。我们常说溯源、防伪,但是事实上,区块链在落地上,连这一点都很难做到。我现在不是很赞同它会改变这个世界。如果只是为了提升TPS,那么完全可以只用支付宝就可以了。到底需不需要用区块链这个东西,值得思考。[2018/4/28]
也就是需要进行一次单独的定义某些事件为条件。
在上面的例子中,FactRegistry合约需要一个函数transfer(),Alice使用Bob的地址作为接收者参数调用该函数。
transfer()函数做两件事:(a)将传输的ETH发送给接收者,(b)保留传输的记录,例如合约中存储传输参数的哈希值。
FactRegistry也有一个isValid()函数,它接收一个哈希值作为参数,并返回一个布尔值——True当且仅当它是这个合约记录的交易哈希值。
交易的哈希被称为事实—代表事件的发生。向事实登记处引入新事实的过程称为事实登记。
在CT中签署的链上事件包会含两个字段:(a)一个事实登记合约的地址,(b)一个应该在执行交易之前注册的事实。
StarkEx中的条件交易
StarkEx对交易进行批量处理,并使用单个STARK证明在链上进行结算。如果批次中的交易之一是CT,StarkEx将确保关联的Fact确实已注册登记,以便对批次进行结算;否则,整个批次将被还原。
条件事务示例
快速提款
在任何L2解决方案中,在L2到L1之间转移资金的理想方法是完成L2状态更新和L1上的提款交易。
在基于有效性证明的系统中,如StarkEx,L2状态更新的最终确定发生在链上接受证明它的有效证明时,这通常需要10分钟。这意味着如果用户想要将他们的资金从L2转移到L1,他们将被迫等待。
快速取款的目的是解耦这种依赖性,并允许用户在“区块链时间”无需信任地将资金提取到L1。
这将如何运作?如果Alice想从L2提取1ETH到L1,Alice可以签署CT将1ETH转移到L2上的流动性提供者,条件是LP在L1上转移1ETH给Alice。
Alice的CT只有在她首先在L1上获得资金时才能执行,因此她也不会面临交易对手风险。
更多其他用例
类似的流程可以通过L2CT事务捕获以下类型的事件,及为以下提供证明,就可以在L1上进行一些关联操作,例如:
ETH的价格跌至1010DAI,Alice想在L2上以1000DAI的价格出售她在L2上的1ETH。
Alice希望在L2上给Bob10ETH,Bob在她选择的dApp中以Alice的名义存入9.5ETH。
Alice想在DeversiFi的L2上为Bob提供10ETH,Bob在dYdX的L2中将9.5ETH存入Alice的账户。
这些其他操作用例代表着虽然CT的第一个用例是快速提款,但StarkEx运营商可以使用这个方式实现更多L2-L1交互,用来丰富产品功能。
DeFi数据 1.DeFi总市值:762.34亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.过去24小时去中心化交易所的交易量:23.
当我们看待DAO的时候,需要将其与传统的治理框架对比着看。这篇论文谈及治理机制时涉及了美公司法,美公司法倡导“赋权法”(enablingapproach),即允许美企在一定程度上进行公司自治(p.
2008年,中本聪发表了论文《比特币:一种点对点的电子现金系统》,这篇论文给区块链技术和加密数字货币发明提供了基础。至今比特币系统已经运行了十余年,但比特币在各国及地区的合法性和政策仍有不同.
大家好,我是佩佩,关于大饼今天有一件大事——灰度基金在18日解锁1.6万GBTC,应该要算是今年最大的一个解锁量,在目前这样一个非常疲软的市场,会发生什么呢?我们今天稍微来讨论下.
原文标题:WhyyoucanswapBitcoinformanythings,butnotbuyanythingwithit??原文作者:BrettScott?2008年.
看到一个朋友说:“世界上所有问题,90%都可以总结为A->B”。我感觉这个模型可以再加10%,也就是说所有问题都可以总结为从A到B.