比特币寻找支撑和阻力，Curve zkSyncL2进化以太坊

Curve和MatterLabs团队很快乐宣告以安全且去中心化的办法向以太坊扩展迈出了一大步：今天，咱们和CurveFinance一起发布了第一个常驻dapp的zkSyncL2智能合约测试网。

【演示demo!】【3】

在Zinc上的Curve合约[4]

Zinc文档[5]

为什么挑选ZKRollup？

扩展性是以太坊一个火急的需求-隧道尽头有一个亮灯。VitalikButerin刚刚宣告Rollup是现阶段扩展以太坊的“仅有挑选”[6]，突出显示了其独特的无需信任安全确保。

ZKRollup(ZKR)是现有的两种Rollup[7]版本之一，另一种是OptimisticRollup(简写：OR)[8]。两种办法都有其取舍(参见详细比较[9])。这是主要的实际差异：

安全-即使运用单个验证者，ZKRollup也十分安全，由于它们依托纯数学，而不是进行持续的经济激励活动来确保资金安全。与ZKR比较，OptimisticRollup具有强大的反网络效应：其安全性与锁定价值成比例地下降。与ZKR比较，OptimisticRollup需求操控本钱上限才能安全地防御对L1的高度合理进犯.只要以太坊仍然是PoW链，就无法缓解。

最终确定性。ZKRollup的最终确定性时刻(分钟)短，因而支撑本钱快速退回到L1（L1：第一层，即以太坊本身网络）。相反，OptimisticRollup被迫在快速退出和本钱效率退出之间进行挑选，但不能两者兼有。大多数研究人员以为，OR至少需求一个星期的争议延迟时刻。这对于与L1上的合约(至少将在开始)持续在生态系统中发挥重要作用的合约的互操作性十分重要。

可编程性-经过OptimisticRollup支撑完全的EVM兼容性更加容易。一般以为OR办法是将现有以太坊智能合约引入L2（L2：二层网络）的仅有可行办法。可是，这种状况即将改动。

ZKRollup中的智能合约？

直到最近，在ZKRollup中支撑恣意用户界说的智能合约仍是一项极富挑战性的使命。可是这些天来，在零常识证明领域中工作发展很快。2020年带来了几项打破，最终使之成为可能：MatterLabs引入了Zinc编程言语和对SNARK友好的ZincVM，并完成了以太坊的递归PLONK证明验证[12]。这些技能的结合将推动zkSync上的完成智能合约。

ZincVM怎么工作？

合约以Zinc编程言语编写并编译。编译器输出是双重的：

Zinc虚拟机的字节码。

合约的SNARK验证密钥。

ZincVM字节码+验证密钥能够完全无许可的办法部署到zkSync网络。合约将在L2中被分配一个新地址。每当用户与该合约进行交互时，zkSync的验证程序将执行ZincVM操作码并发生对买卖有效性的零常识证明–友好的SNARK。ZincVM的特别设计使其成为可能。然后将由Rollup块电路针对已部署的验证密钥来递归验证该证明。然后，以太坊上的zkSync智能合约验证区块证明，以授权状态转化，所有买卖状态转化能够在一个区块快速的验证。

因而，zkSync上的Zinc智能合约承继了有效性证明的严厉安全确保。

怎么为zkSync编写智能合约？

目前，必须运用Zinc编程言语编写ZincVM的智能合约。检查最新版本的ZincBoOK[13]，你将找到完好的入门指南和完好的开发人员参阅。咱们期待你在ZincGitter聊天室[14]中提出的问题和反应。

Zinc目前处于关闭开发Beta版。如果你有爱好为你的项目尝试，请与咱们联络[15].

Zinc与Solidity/Vyper有何不同？我能够移植现有的源代码吗？

Zinc遵循简化的Rust语法，但它

此时快讯

【超过5亿美元BTC和2亿美元ETH期权合约将于今日到期交割】金色财经报道，8月11日，大约17,000份比特币期权合约将到期，名义价值为5.1亿美元。除比特币外，还有121,000个以太坊合约即将到期，名义价值为2.2亿美元。其中BTC的最大痛点价格为29,500万美元；ETH的最大痛点价格为1,850美元。