技術

Lineth 是 Linea 捐贈至 Linux Foundation 的開源 ZK Rollup 技術專案，涵蓋執行層、共識系統、Proof System 與 Layer1／Layer2 智能合約。本文將深入解析 Lineth 的技術架構，以及 ZK Rollup 如何透過零知識證明提升以太坊 Layer2 的效率與可擴展性。

隨著以太坊逐漸進入 Rollup-centric 發展階段，Layer2 的治理與去中心化問題開始受到市場重視。Linea 將核心技術交由 Linux Foundation 管理，不只是技術開源，更代表 Layer2 生態治理模式的轉變。

Request Network 是一個專為加密支付與財務自動化設計的去中心化支付協議，其核心功能是將支付請求與實際轉帳整合至同一可驗證流程中，無需依賴單一託管仲介。

Robotics Capital Markets 为 XMAQUINA 所提出，是一套针对机器人经济的链上资本协调机制。其目标是通过 DAO、代币化与去中心化治理，使机器人资产、自动化设备及 AI 基础设施，得以在更开放的条件下进行融资、治理与资源协调。

XMAQUINA 是一個專為機器人與 Physical AI 產業設計的去中心化 DAO 生態系統，透過 Robotics Capital Markets (RCM)、DEUS 治理代幣以及鏈上資本協調機制，將機器人資產、自動化設備與 Web3 金融體系緊密串聯。其目標是打造一個開放的機器人經濟網絡，讓社群能共同參與機器人基礎設施的治理、融資與擴展。

Rain Protocol 的核心机制涵盖市场创建引擎、AI Agent 接口、Oracle 结果验证及流动性系统。开发者可借助 Rain 迅速部署预测市场，而 AI Agents 则能自动参与预测、交易与信息分析。Rain 通过模块化基础设施与可组合设计，致力于成为 AI 时代的预测市场操作系统及信息金融（InfoFi）基础设施。

Rain 與 Polymarket 都是圍繞未來事件預測發展的鏈上預測市場，但 Rain 更著重於 AI Agents、開發者工具與預測市場基礎設施，而 Polymarket 則更偏向一般用戶端的消費級預測平台。Rain 的目標是打造 AI 原生的 Forecasting Infrastructure，而 Polymarket 的核心競爭力則在於流動性、用戶規模以及事件市場的營運能力。

Nonce 是區塊鏈與加密貨幣中相當重要的技術概念，廣泛應用於比特幣挖礦、交易排序與防止重複交易等場景。雖然對許多新手而言，Nonce 聽起來較為技術化，但它其實是區塊鏈能夠安全運作的重要基礎之一。

Anoma 是一個以 Intent-Centric（意圖中心）架構為核心的 Web3 分散式作業系統（Distributed Operating System，DOS），其技術棧包含應用層、網路層與結算層。底層透過 Anoma Resource Machine（ARM）與 Protocol Adapter（協議適配器）連接 Ethereum、Base、Arbitrum、BNB Chain 等現有區塊鏈網路，由 Solver Network 進行意圖匹配與求解，並在 Fractal Instance 與 Typhon 共識機制之上，實現本地主權與跨鏈原子結算。

PLLD 是 Palladium Network 在 Ethereum 上發行的原生實用代幣（ERC-20），其核心定位並非單純的價格錨點，而是貫穿 Swap、質押、推薦獎勵、金庫回購及 RWA NFT 閘道的「生態協調單元」：一方面接收自動化套利與未來房地產收益所轉化的鏈上現金流，另一方面透過結構化的代幣銷毀與分層持倉權益，將用戶行為、資本留存與網絡擴張緊密連結於同一套代幣規則之下。

Palladium Network 是一个构建于 Ethereum 上的 Web3 生态网络，其核心设计在于将真实世界资产（RWA）——尤其是通过 SPV（Special Purpose Vehicle）持有的优质房地产——以 NFT 形式进行链上化，并结合覆盖多家 CEX/DEX 的自动化套利交易引擎所产生的收益，为原生代币 PLLD 提供用于回购、销毁及生态激励的资金来源。經由「鏈上可驗證資產表示 + 鏈下合規持有 + 演算法交易反饋代幣層」的多層架構，Palladium Network 試圖在加密市場的高波動性與傳統不動產的低流動性之間，打造一個可供全球參與、模組可組合、供應量可管理的混合型數位金融基礎設施。

SP1 zkVM 是通用型零知識虛擬機，支援開發者使用 Rust 撰寫任意程式，並產生可驗證的 ZK 證明，適用於跨鏈、卷軸擴容及 AI 可驗證運算。zkEVM 則專注於以太坊生態相容的證明生成，主要用於鏈上交易與智能合約驗證。兩者在可程式性、驗證效率、去中心化算力與生態整合方面存在顯著差異，開發者可依應用場景選擇最合適的 ZK 基礎設施。

SP1 zkVM 是 Succinct 推出的通用零知識虛擬機（zkVM），允許開發者使用 Rust 編寫程式並自動產生 ZK Proof。其核心流程包括：Rust 程式編譯成 RISC-V 指令、zkVM 執行並產生 Execution Trace、將 Trace 轉換為 STARK 證明、再壓縮為 SNARK Proof，最後提交至鏈上驗證。

x402 協議是專為 AI Agent 及機器經濟（Machine Economy）設計的 API 自動支付協議，旨在解決自動化程式在呼叫 API 服務時的支付問題。該協議延伸了 HTTP 標準中的 402 Payment Required 狀態碼，並整合加密支付機制，讓程式可在請求 API 的過程中自動完成支付與結算。藉由此機制，x402 為機器對機器（Machine-to-Machine，M2M）服務交易提供了更原生（或更加原生）的網際網路支付基礎設施。

Succinct 的 Prover Network 是一個針對零知識證明（ZK Proof）的去中心化算力市場，用於串接 Proof 請求方與全球 Prover 節點。開發者透過提交程式碼與輸入資料啟動 Proof 請求，網路中的 Auctioneer 會依據成本、速度與節點信譽分派任務，接著 Prover 節點於 SP1 zkVM 上執行程式並產生 ZK Proof，最終提交至鏈上驗證與結算。