一 什么是Light

StarkNet的去中心化涉及到一个本地代币和一个新的基金会foundation StarkNet代币被用于治理，并作为网络的支付和抵押资产。 已经铸造了100亿个代币，它们的分配已经开始。 正在成立的StarkNet基金会的任务是将StarkNet作为一个公共产品来维护。

我们都知道，以太坊区块链需要一个规模化的解决方案，而最有可能扩大网络规模的方法，目前我们应该相信的是零知识技术，是最有希望达到的途径。然而，技术和算法的复杂程度仍然是以太坊项目的一大障碍。传统观点认为，以太坊网络需要很多年才能开发出第二层的扩展解决方案，既能给我们带来zk证明的扩展性优势，又能与以太坊虚拟机（EVM）兼容。

“It was the best of times, it was the worst of times.”

零知识证明，可以保证计算的完整性、正确性和隐私性，在区块链的扩展和隐私方面有很多的用例。 zk-SNARK和zk-STARK有各自的优势，这两者的结合更有潜力。 zkVM通过零知识证明为应用赋能，zkVM可以按照主流、EVM或新建的指令集进行分类。 EVM兼容性包括EVM兼容性、等价性和规范级兼容性。 zkEVM是一个EVM兼容和零知识证明的环境。它可以分为基于本地和基于编译器的解决方案。 基于原生的zkEVM是Ethereum和区块链的未来。 支持Solidity lang的通用zkVM是Web3的未来。

ZK-rollups have long been regarded as the endgame of Ethereum scaling. However, despite their importance to the Ethereum scaling roadmap, there is still widespread uncertainty about several key points:

zkSNARKs和zkSTARKs是非交互式零知识证明的实现，这意味着证明者prover不需要向验证者 verifier披露数据。非交互式意味着证明者prover只需要向验证者 verifier发送一条信息，而不是来回的通信。这使得区块链有可能利用ZK证明，因为区块链是单向的。一旦区块产生，它就是不可改变的。 目前有两种零知识证明的方法正在用区块链技术实现：ZKSNARKs和ZKSTARKs。在以太坊rollups领域，有两个领导者：ZkSync使用zkSNARKs，而StarkWare使用zkSTARKs。除了这两个，还有Loopring、Aztec、Polygon Hermez（SNARKs）、Polygon Miden（STARKs），以及更多。你可以在zkrollups.xyz上找到一份完整的清单。无论SNARKs与STARKs的实现方式如何，所有的rollups都是为了解决同样的问题，应该少认为是竞争对手，多认为是合作者，都是通过不同的方式帮助推进和扩展以太坊

现在也许你已经知道什么是有效性证明了validity proof 爱丽丝执行一个程序，然后将输出output+执行证明发送给鲍勃。 鲍勃验证了该证明，并确信输出output是正确的。

监测 通常有一个参与者（“oracle”预言机、“validator验证器”或“relayer”中继器）来监控源链上的状态。