零知识（ZK）始于Starknet，终于Starknet Eli Ben Sasson @EliBenSasson 将零知识从讲堂带入现场编码，2018年共同发明了zkSTARKs，经过多年的PCP和FRI研究，随后共同创立StarkWare以将数学产品化。Uri Kolodny 将这一愿景转化为一个两百人的工程团队，Alessandro Chiesa和Michael Riabzev保持证明的纯粹性，图灵奖得主Avi Wigderson和Shafi Goldwasser作为顾问加入，生态系统发展成为数千名Cairo开发者和资助前沿的Starknet基金会。 • zkSTARKs，透明，量子安全，无需可信设置，多对数验证 • Cairo，首个图灵完备的zk原生语言，开源，被外部团队重用 • StarkEx & Sharp System，交易量达一万亿美元，超过十亿笔交易，几乎零燃气费 • Stwo证明器，预计于2025年5月发布，在哈希密集型电路上便宜九百倍，已经在证明区块、AI和比特币信号演示中使用 • Starknet主网自2021年上线，原生账户抽象，支付方，去中心化排序器和0.14版本的费用市场，每月活跃开发者数以千计 在生产中提供超过三十亿个证明，超过任何其他技术栈，相同的验证器代码在以太坊、比特币信号和移动设备上运行，研究被白宫在隐私简报中引用，Starkware公司的估值为八十亿，社区得到了Paradigm、Vitalik和每个主要zk播客的支持，GitHub上的开放基准保持竞争对手的诚实。 从Eli的白板到全球建设者军队，@StarkWareLtd和@Starknet拥有零知识领域最尖端的技术，数字、人员和证明都表明我们将会胜利！ Grrrrrrinta模式已开启！期待我们！！