文/StarkWare，译/金色财经xiaozou
摘要
StarkWare根据客户优先事项的不同，提供了一系列数据可用性模式供客户选择。
用于STARK证明的数据可用性有三种方式，在实际操作中可以按需选择：
—?Rollup：账本直接在区块链上发布。
—?Validium：由一个数据可用性委员会保障账本安全，只在链上存储一个哈希值。
—?Volition：有多个app可以让用户为每一笔交易选择DA模式——Rollup还是Validium。
无论使用哪种DA模式，所有交易的有效性都由STARKs保证。
前言
截至2022年11月，StarkEx已结算交易超过7500亿美元，已结算以太坊上交易2.7亿笔。在NFT领域，StarkEx为ImmutableX和Sorare等应用程序提供支持，已铸造NFT超过8500万个，价格比直接在以太坊上操作便宜1000倍。基于STARK的技术正在扩展以太坊。例如，仅在一周内，StarkEx运行的交易数量是以太坊的1.6倍，而占用的以太坊区块空间还不到0.1%。与此同时，它还为用户提供了与直接在以太坊上结算相同级别的安全性。
金色财经行情播报丨昨日BTC大幅下跌 市场观望情绪较浓:据火币行情显示，昨日BTC大幅下跌，连续下穿均线MA5、MA10，最低触及8150USDT，而后在今日凌晨小幅反弹，价格徘徊在8700USDT附近。1个小时图筑小双底形态，多头得以喘息，MA30构成局部压力，但此前空头下挫构成威慑，市场观望情绪较浓。截至10:00，主流币的具体表现如下：[2020/5/11]
StarkWare是如何做到这一点的？
用户在L2上发送交易，这些交易被批处理并发送给STARK验证器。STARK验证器知道这些交易被处理之前和之后的账本状态。证明者生成一个STARK证明，证明在执行这些交易后账本的新状态是有效的。新的状态和STARK证明被发送给链上STARK验证器。该证明的验证通过以太坊上的不可篡改的智能合约自动进行。
金色午报 | 4月29日午间重要动态一览:7:00-12:00关键词：比特大陆、央行数字货币、昆山市
1.比特大陆参与赛热科技股权融资投资金额未披露。
2.媒体：比特大陆前4月营收超3亿美金AI业务快速增长。
3.董希淼：央行数字货币使用双离线技术没有手机信号也可使用。
4.昆山市启动区块链网络赋强公证系统项目。
5.利用加密货币交易所系统错误赚取3亿韩元的韩国军官被判刑。
6.BitMEX今日已清算1200万美元比特币头寸。
7.加密货币分析师：大型机构投资者对BTC持乐观态度。
8.北航教授洪晟：区块链会优先在供应链管理等领域推广。
9.比特币持续上涨，日内最高报7849美元，最低报7702美元。[2020/4/29]
这种架构提供了两全其美的结果：我们既可以拥有较低的交易成本，又可仍然让以太坊作为中立仲裁员。有以太坊作为仲裁员是很好的，更重要的是还为终端用户提供了至关重要的安全保障。进行交易的用户现在可以安心交易了，因为他们的资金是受以太坊妥善保护的，一旦在以太坊上验证后，交易就是不可篡改的。用户对其资金也有完全的自我托管权。自我托管很重要，因为它可以确保用户在任何时候都可以使用自己的资金，而无需依赖任何第三方。
金色财经现场报道 德丰杰创新龙脉基金合伙人：公有链在很多垂直领域会有很多的机会:金色财经现场报道，在新金融100人主题论坛上，德丰杰创新龙脉基金合伙人王岳华表示，公有链在很多垂直领域会有很多的机会。不过公有链需要很长时间的磨砺才能成功。[2018/4/27]
数据可用性在其间发挥什么作用？
重要的是要强调这个证明做了什么，没做什么。该证明证实了新状态的有效性，但它并没有说明新状态是什么。所以，你需要数据可用性。如果我们只有证明，那么区块链所知道的是提交的交易是有效的，但它并不知道新的状态是什么！此数据的使用者包括这些证明所涉交易的用户。如果他们想在以太坊上提取资金，而不需要信任L2运营商，就应该向他们提供这些数据。这使用户能够完全自我托管其资金。
这里有一个类比，你的高中老师让你证明X=X，这根本无需证明。和“X实际等于多少？”这个问题相比，哪个更难回答？为此，你另需其他信息，比如X=5，或者其他值都可以。同样，在区块链上，可以将STARK证明提交给STARK验证器智能合约进行验证。验证器可以证实证明是有效的。但是你需要一个单独的输入告诉你X是多少。
金色财经现场独家报道|Chain.com创始人Adam Ludwin：区块链有两层含义:在硅谷2018全球区块链投资峰会上，Chain.com创始人Adam Ludwin表示：“区块链有两层含义，首先他是一个为资产特设的数据存储模型，相当于数据库。第二层含义是，区块链技术是反互联网的，数据可以实现去中心化，不需要传统的中心化平台就能颠覆传统的平台。”[2018/3/31]
有三种方式可以使这些数据可用。
Rollup模式
Rollup模式确保账本的状态与证明一起被存储在以太坊上。目前使用Rollup模式的有dYdX和StarkNetL2公共网络。这里的好处很明显：人们可以只通过与以太坊区块链交互来重新创建账本的状态。这意味着，作为终端用户，你可以在以太坊上与相关的智能合约进行无需信任的沟通，即使L2系统停机，你也可以提取你的资金。
Validium模式
在Rollup模式下，大部分以太坊gas成本都流向了数据可用性，而不是证明验证。这是因为在区块链上存储数据是非常消耗gas的。在Validium模式下，账本信息不发送到以太坊，而是被存储在链下数据可用性委员会那里。以太坊存储这个账本信息的一个哈希值。这个数据可用性委员会由法定人数的独立成员组成，他们负责监督正确的状态更新，并保存所处理数据的副本。每个StarkEx实例都可以有各自的法定人数。StarkEx上现有应用的法定组成包括Consensys、Nethermind、Iqlusion和Cephalopod等实体。
相应的好处是显而易见的。那就是不需要支付以太坊gas费在链上存储账本信息，存储在以太坊上的唯一东西是账本信息的一个哈希值。如果你想通过与以太坊通信从L2上无需信任地提取资金，你只需要获得数据可用性委员会成员之一的数字签名即可。委员会成员将使用密码学来证明你拥有这些资金的所有权。
Validium数据可用性的另一个不那么明显的好处就是对读取区块链信息的人保密。在Rollup模式下，在提交证明时，账户余额是公开的。使用Validium模式，这些数据对区块链是隐藏的——只对数据可用性委员会可知，因为这些数据被保存在链下。这种级别的保密性支持着广泛用例，在这些用例中，交易数据模糊化是很重要的。
Volition模式
Volition这一数据可用性架构在交易层面可让用户在Validium模式和Rollup模式之间做选择。它在链上维护一个账本，在链下通过数据可用性委员会维护另一个账本。用户可以为每笔交易选择Validium或Rollup模式。
我们来设想一下，假如你在一个运行在StarkEx上的app里购买了一个非常昂贵的NFT，如BoredApe或Cryptopunk。你可能想要使用Rollup模式来保护该NFT的数据安全，因为你希望将该特定交易的记录存储在以太坊上。然而，之后你还可能会购买一个非常便宜的NFT，在这种情况下，你会很愿意使用Validium省些钱。
如果你对STARK证明所实现的规模颇感兴趣，那么请来STARK上进行开发吧。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。