零知識(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模式已啟動!期待我們的到來!!
15.24K