StarkNet是一个无需许可的去中心化ZK-Rollup。它作为以太坊上的L2网络运行，使任何dApp都可以实现无限的计算规模，同时保持以太坊的可组合性和安全性。

ZKrollup

zkRollup是基于零知识证明的二层扩容方案，这里简单举个生活中的例子 方便大家理解一下零知识证明。

小明想向爸爸证明自己学习好。于是小明爸爸随意找了一个老师给小明考了任意学科的小测验。然后由老师批改后告诉家长成绩好或者不好。在这个过程中，要证明的事情是“小明成绩好”。证明人是孩子。验证人是家长。而老师就是暗箱。小测验就是暗箱的算法。验证者小明爸爸通过随机选择老师以及试题来给小明测试，小明通过参加测验来给出证明，当小明爸爸获得足够多的小明成绩好的证明，就能得出“小明成绩好”的结论。在这个过程中爸爸是不需要知道小明具备那些知识。

融资信息

目前Starknet的公司Starkware总共披露了7轮融资，融资额达到了2.73亿美元，在D轮融资估值达到79亿美金。

其中有很多我们很熟悉的风险投资基金，红衫，老虎，paradigm，coinbase等等。在种子轮的时候，V神，以太坊基金会也参与了融资。融资阵容非常豪华。

团队信息

在官网上公布的目前有78名员工，7位技术顾问，5位传统顾问。两位创始人，ben，在密码学，零知识证明方面的研究非常深入。他也是Stark，Zerocash协议联合发明者，Zcash的创世科学家。另一位创始人是一名连续创业者，创立了多家科技公司，创业经验，企业管理经验非常丰富。团队能力很全面。

zkVM--Cairo语言

在EVM等效问题上，Starkware团队为了能更好的和STARK兼容，采用了新的编程语言Cairo。执行Cairo程序会产生一个记录，然后发送给验证者，验证者产生一个STARK证明，证明Cairo程序所代表的指令或计算有效性。然后，这个证明会被verifier证明。由于语言比较新，会这门语言的开发者比较少，也不兼容EVM，dapp很难将以太坊上现有的合约搬过来。目前，Cairo已经开源。

zkEVM和zkVM

代币模型

在今年九月，Starknet 公布了代币经济模型。

代币分配：初始发行量为 100 亿枚，17% 分配给 StarkWare 投资者，32.9% 分配给核心贡献者，51% 分配给基金会。同时具有增发机制。