一个快速的线程
扩展解决方案旨在扩展L1链。
L1区块链的3个最基本的属性是:
•安全
•去中心化
•可扩展性
大多数L1链都面临着“区块链三难困境”(牺牲二换一)的问题。
•Solana为了去中心化和可扩展性牺牲了安全性。
•以太坊为了去中心化和安全性牺牲了可扩展性。
下面这些就是扩展解决方案:
1/侧链:这不是L2,因为它不将状态交易发送回主网。
它可以有自己的共识机制(如POW或POS),不依赖于主网安全。
2/ Rollups:顾名思义,它将一批交易汇总或捆绑到一个压缩文件中并发回主网。它可以是Optimistic或零知识(ZK)
• Optimistic Rollups:其将交易捆绑回主网的操作是基于假设的。也就是说,它总是假设交易是有效的。使用欺诈证明来验证交易。例如 Arbitrum、Optimism、Metis
• Zk Rollups:由于Optimistic Rollups是基于假设的,这是基于“不要信任,而是验证”。在链下运行计算,它是基于最终的数据平衡。使用有效性证明来验证交易。例如 zkSync、Starkware
3/ Validium:与 zkRollups 类似,在链下运行计算,而 zkRollups 中的数据可用性在链上,而 Validium 在链下。
4/ zkRollups中的有效性证明可以是zkSNARK和zkSTARK。
• zkSNARK:零知识简洁的非交互式知识论证。它的机制不需要验证者与证明者交互来验证交易。证明的大小很小,验证者需要看到一个小证明来验证交易。它还依赖于受信任方来加密数据和原始值。一旦坏人得到了这些,他们就可以伪造证明。
• zkSTARK:零知识可扩展的透明知识论证。与zkSNARK非常相似,但它的操作不需要可信方,并且更具可扩展性。相反,这依赖于被称为“默克尔树”的哈希函数的随机性。
总结:在zk Rollups技术中,由于其密码学的方法,更容易实现隐私。Rollups 中的零知识:简单来说,就是告诉我你拥有某样东西,但实际上并没有告诉我你拥有什么。通过这种方式,他们可以证明交易,而无需透露底层细节。