在加密貨幣領域,我們已經擅長擴展。 Rollups。DA 層。共享序列器。 但在互操作性方面,我們仍然停留在過去。 我們依賴多重簽名、受信任的預言機和不安全的橋樑來在鏈之間傳遞消息,儘管我們知道它們是加密貨幣中最脆弱的攻擊面。 @SuccinctLabs 正在打破這種混亂。 不是通過建立另一個消息層或 L2... 而是通過引入一個新的原語: → 一個通用的證明層,使任何鏈能夠使用 ZK 驗證來自任何其他鏈的計算。 這完全顛覆了模型。 不再依賴第三方來證明某件事情在另一條鏈上發生過... Succinct 給予鏈自我證明的能力。 以下是如何實現的: Succinct 堆棧 在其核心,Succinct 是一個模塊化的 ZK 基礎設施堆棧,由以下組成: - SP1 zkVM – 一個高性能的開源 zkVM,從零開始構建。針對現實世界的通用證明進行優化,特別是輕客戶端和跨鏈驗證。 - 通用證明網絡 – SP1 驅動一個證明層,可以在鏈外運行任意計算並生成可以在任何地方驗證的簡潔證明。 - Succinct Gateway – 一個面向開發者的 API,抽象化所有 ZK 複雜性,讓團隊在不修改其協議或智能合約的情況下運行無信任的鏈外計算。 而這不是虛幻的產品。 Succinct 已經在與以下項目合作: Base、Arbitrum 和 Optimism → 運行無信任的 L2 輕客戶端 Solana → 以太坊橋樑 → 使用 zk 證明的區塊頭 EigenLayer AVS 項目 → 需要鏈外證明 論點很簡單: 計算應該在鏈外進行。 驗證應該在鏈上進行。 零知識使這一切成為可能並可擴展。 @SuccinctLabs ct 正在為一個世界奠定基礎,在這個世界裡: 1. 橋樑不需要預言機 2. L2 不需要集中式序列器監視器 3. 比特幣可以通過證明而不是信任與以太坊對話 這是一個新的加密原語的開始。 在下一篇文章中,我們將詳細介紹 SP1 zkVM 及其為何是這個謎題中最重要的部分。 標記可能對此感興趣的 Gigachads 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_
DOLAK1NG
DOLAK1NG2025年7月16日
在2020年,殺手級應用是DeFi。 在2021年,它是NFTs。 在2022年,則是rollups。 現在?是使所有這些應用可組合、可證明且與創作者對齊的基礎設施。 這是看不見的基礎設施層的崛起,這是支撐ZK、AI、意圖、應用鏈和計算的工具。 以下是建立該基礎的六個最重要的協議: 1. @SuccinctLabs ZK如同代碼一樣簡單 想要證明你的代碼在不重寫成加密電路的情況下運行嗎? Succinct正在構建SP1,一個zkVM,讓你可以編寫普通的Rust或C++並從中生成ZKP。 然後出現了魔法:證明由去中心化的Prover Network執行,參與者競標以快速且便宜地生成證明……以$PROVE支付。 Succinct將ZK變成你甚至不會注意到的基礎設施,無需管道的證明。 完美適合: - zkBridges - 輕客戶端 - AI驗證 - Rollups 任何需要“可證明計算”的東西 ZK從實驗室移動到應用原生規模。 2. @Mira_Network 像數學一樣驗證AI ChatGPT可以生成答案,但我們怎麼知道它是正確的? Mira使AI可證明且最小化信任。 每個AI輸出是: - 被分解為原子聲明 - 由質押的“事實檢查者”獨立驗證 - 以保護隱私的加密技術保護 - 在鏈上認證 這是零知識遇上零幻覺。 想像一下: 在DeFi中驗證的代理回應 安全的醫療LLM 可信的遊戲世界NPC 可審計的決策引擎 Mira為AI建立了一個信任層,讓你不僅能使用它,還能相信它。 3. @cysic_xyz ZK證明作為去中心化商品 每個人都想要ZKP。沒有人想生成它們。 Cysic用計算證明解決了這個問題。 一個去中心化的GPU和ASIC的證明者網絡 來自任何ZK項目的任務 證明者賺取$CYS + 計算治理代幣($CGT) 質押 + 削減 + 最終性確保信任 想想:一個零知識馬力的開放市場。 ZK現在像雲計算一樣擴展。 從輕客戶端到rollups,Cysic使可證明邏輯成本效益高、可訪問且可信去中心化。 4. @Calderaxyz Rollups作為產品,而不是協議 啟動一條鏈不應該需要6個月。 Caldera是rollups的AWS,只需幾次點擊即可啟動高性能的應用鏈。 它將以下內容串聯在一起: Celestia(用於數據可用性) Espresso(用於去中心化排序) RISC Zero(用於本地證明) EVM或自定義VM 因此DAO、dApp和協議可以從0→1,擁有生產級基礎設施。 無需自定義基礎設施。 無需開發運維的噩夢。 只需快速、模塊化的rollups,像Shopify商店一樣部署。 5. @campnetworkxyz Web3的原生IP層 AI需要數據。創作者需要來源。 Camp是一個可編程IP的L1。 想想:每一個內容都獲得一個加密ID、法律元數據和嵌入的權利邏輯。 應用可以: 註冊IP 讓代理授權/訓練 根據使用情況支付創作者 證明來源和作者 如果Caldera是rollups的AWS,那麼Camp就是文化的以太坊。 它使IP可編程,並讓創作者選擇收入模型,而不是被剝削。 6. @anoma 意圖取代交易的地方 區塊鏈不理解用戶想要什麼。Anoma懂。 Anoma不僅處理交易。它解釋意圖——用戶試圖實現的目標。 想要交換ETH → stETH → 在DAO中投票?只需說出來。 想要僅在你的AI代理獲得驗證後鑄造NFT?只需聲明。 需要在4個rollups之間互動,但不知道如何路由?讓Anoma來解決。 Anoma將用戶體驗從點擊狂潮轉變為約束解決邏輯。 基於意圖的執行是平滑協調的未來。 這是我目前的六個頂尖項目,未來肯定會再發佈另一集。 結束!
10.7K