简介 1 Starknet如何工作。与以太坊相比，Starknet只需要一个排序器来执行链外计算。然后，为了减少数据量，验证者为交易生成一个ZK-STARK证明。最后，验证者在链上验证证明的正确性，最后将多个L2交易捆绑成以太坊上的一个交易（被称为Rollup）。因此，Starknet减少了链上的执行和存储成本，从而降低了gas费用，提高了TPS。 2 EVM-equivalent。Starknet有一个ZK友好的Cairo VM，它与EVM不同，这意味着Starknet不支持EVM和Solidity。但是随着Solidity编译器Warp和Cairo zkEVM Kakarot的引入，Starknet可以实现第三类EVM-equivalent。 3 STARK证明系统。与其他ZK证明系统相比，STARK更安全，更具可扩展性。它的证明生成速度可线性扩展，验证时间和证明大小可对数扩展（$O(polylog(N))$）。证明越大，总成本和验证时间就越低。此外，STARK纯粹依赖于hashing 和信息理论，所以它有更简单的密码学假设，使它能抵抗量子攻击。但它的缺点是，初始证明生成的规...

简介 1 Starknet如何工作。与以太坊相比，Starknet只需要一个排序器来执行链外计算。然后，为了减少数据量，验证者为交易生成一个ZK-STARK证明。最后，验证者在链上验证证明的正确性，最后将多个L2交易捆绑成以太坊上的一个交易（被称为Rollup）。因此，Starknet减少了链上的执行和存储成本，从而降低了gas费用，提高了TPS。 2 EVM-equivalent。Starknet有一个ZK友好的Cairo VM，它与EVM不同，这意味着Starknet不支持EVM和Solidity。但是随着Solidity编译器Warp和Cairo zkEVM Kakarot的引入，Starknet可以实现第三类EVM-equivalent。 3 STARK证明系统。与其他ZK证明系统相比，STARK更安全，更具可扩展性。它的证明生成速度可线性扩展，验证时间和证明大小可对数扩展（$O(polylog(N))$）。证明越大，总成本和验证时间就越低。此外，STARK纯粹依赖于hashing 和信息理论，所以它有更简单的密码学假设，使它能抵抗量子攻击。但它的缺点是，初始证明生成的规...