一个快速的线程
扩展解决方案旨在扩展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 中的零知识：简单来说，就是告诉我你拥有某样东西，但实际上并没有告诉我你拥有什么。通过这种方式，他们可以证明交易，而无需透露底层细节。
