一文全面了解 4 大 Polygon 全棧 zk 擴容方案_Polygon:OLY

長期以來，以太坊 L2 之爭的焦點都被 ZK Rollup 和 Optimistic rollup 兩者占據。因為 OP 的 EVM 兼容性和技術較為成熟等特性，更容易被項目開發者采用，因此，OP 在當下更為通用和主流。據 L2BAET 的數據，僅 Arbitrum、Optimism、Metis 三個采用 OP 方案的項目，就占據了 L2 市場份額的 70.8%。而 ZK rollup 因開發難度較高、技術進展較慢，目前采用率和市場份額占比都比較低。

作為目前總鎖倉量最高的以太坊擴容方案，Polygon 則堅定地將擴容的未來押注到了 zk 技術上。去年，Polygon 大手筆收購了 Hermez、Mir，并為 zk 擴容做出了 10 億美元的重金承諾。

現在，Polygon 擁有了 “一整套”zk 擴容方案，分別是 Hermez、Nightfall、Miden 和 Zero。四種擴容方案雖都建立在 zk 技術之上，但各有千秋，策略不同。那么，這四種方案具體技術特性與開發進度如何？哪個更有希望先殺出來？

在這篇文章中，我們將詳細討論這四種 zk 解決方案，包括其開發歷史、運作機制和開發進度等。以下內容整理自 Polygon DAO 專欄作者Pedro關于 Polygon 研究的 Medium 系列文章，鏈捕手在原文基礎上進行了適當的精簡和便于理解的增補。

Polygon Zero 是一個 ZKL2 解決方案，由最快速、最高效的遞歸證明系統 Plonky2 提供支持。前身為 Mir 協議，是由 Brendan Farmer 和 Daniel Lubarov 創辦的 Predicate Labs 于 2019 年構建。Mir 協議的特色是，執行程序過程中會生成遞歸的 ZKP（zk-proof）驗證。簡而言之，遞歸證明就像生成證明的證明。用于驗證一組交易證明是否有效。

遞歸證明是一項非常年輕的技術，于 2014 年首次在理論上被引入。2019 年，Mir 能夠在 2 分鐘內生成遞歸證明，顯然，這時間不算短，也缺乏擴展性。

2020 年，由于 Aztec 團隊的探索，Mir 取得了巨大突破，實現了在 60 秒內生成遞歸證明。在此基礎上，Mir 團隊開發了 Plonky，允許 Mir 協議在 15 秒內生成遞歸證明。

2021 年 12 月，Polygon 以 4 億美元收購了 Mir，協議更名為Polygon Zero。最初 Mir 正在構建的啟用 zk 技術的獨立 L1 鏈的設想，變為在 Polygon 之上構建一個分布式的 zk-rollup。

今年 1 月，Polygon Zero 發布了 Plonky2，這一技術能在 Mac-Book Pro 上以小于 170 毫秒的速度生成遞歸證明。這是有史以來最快的遞歸證明。而遞歸證明這項技術的突破，也將為 Polygon Zero 服務——Plonky2 將支持最具可擴展性的 zkEVM。

Plonky2 是 Plonky1 的迭代，前面也提到它建立在 2020 年 Aztec 構建的驗證系統之上。

美國銀行：預期美聯儲6月不會加息:金色財經報道，美國銀行：美聯儲主席鮑威爾認為，傳統的金融狀況指數可能低估了銀行業動蕩造成的緊縮性影響，因為它們關注的是利率和股票，而不是貸款條件。我們的經濟學家同意這一觀點，并將他們對美聯儲終端利率的預測修正為5—5.25%（預期美聯儲6月不會加息）。[2023/3/26 13:27:37]

這三者之間的一個共同點是 Plonk，所以我們需要先弄明白 Plonk 是什么。

ZKP 是指在不透露相關信息的同時生成某個計算的有效性證明。所以沒有信息并不會被泄露，只是生成證據。

兩個主要的 ZKP 分別是SNARK 和 STARK（由于下文會反復提到這兩種證明系統，所以鏈捕手在此處增加了對二者的詳細對比）。二者主要區別包括：SNARK 依賴橢圓曲線來保證安全性，而 STARK 依賴散列函數來保證安全，使用散列函數意味著量子抗性。

SNARK 和 STARK 對比，來源： Consensys 官網

SNARK 的證明規模更小，這意味著鏈上數據存儲更少，最終用戶支付的 gas 更少。盡管 SNARK 對開發人員更加友好，但 STARK 提供了一些獨特的優勢，例如會更加透明，不需要受信任的設置，而且是 “量子安全” 的，在未來會有更大的潛力。這些優勢也曾讓 Vitalik 稱 STARK 其實是 “更新、更耀眼” 的技術。

但因為 SNARK 早在 2012 年就被提出并投入使用，而 STARK 則在 2018 年才被提出。所以，SNARK 在采用方面具有很大的先發優勢，目前 Z-Cash、路印協議和摩根大通都采用了 SNARK 技術，而且因為被廣泛采用，SNARK 擁有更多已發布的代碼、開發人員庫、項目和開發人員。但 STARK 作為新星，因其獨特的優勢，也在被更多項目采用。

Plonk 是證明系統的名稱，它屬于 SNARK 證明系統的一種。

接下來，我會分析幾種與 Plonk 結合的不同類型的方案：

Aztec 使用 Plonk +KZG 的遞歸證明時間為 60 秒；

Plonky1 使用 Plonk +Halo，遞歸證明時間為 15 秒。Halo 于 2019 年由 Zcash 首次推出，是第一個不需要可信設置的遞歸證明方案。但 Halo 的缺點是不兼容以太坊，這就是為什么 Mir 會在最初想建立獨立的 L1 鏈；

Plonky2 使用 Plonk +FRI，遞歸證明時間為 170 毫秒。2021 年，Polygon Zero 負責人 Daniel Lubarov 提出將 FRI 與 Plonk 結合。

BOSagora基金會宣布推出其官方主網Agora:金色財經報道，BOSagora基金會宣布推出其官方主網“Agora”。Agora MainNet是一個去中心化的、自我進化的公共區塊鏈網絡，基于智能合約和區塊鏈內的決策系統國會網絡。

Congress Network 是一個由 DAO 組成的去中心化的群體決策組織，它提出并決定公共預算資金支持，這是 Agora 網絡的差異化核心要素，包括技術細節。如果通過多數投票決定有利于 BOSagora 和整個社區，國會網絡將批準和支持它。[2023/1/11 11:06:59]

FRI 是用于 STARK 的方案，這意味著通過使用 FRI，Plonk 就變成 STARK（Plonk 最初是 SNARK 的一種），也意味著增加系統的透明度。當時，只有一個項目（Fractal）實現了遞歸 FRI 證明，該協議的證明時間約為 10 分鐘且不可擴展。

為了保證快速，Polygon Zero 采用了 Plonky 的第一個版本，并用 FRI 替換了 Halo。上文圖表可看出，FRI 的證明速度是 “可變的”，提交的數據越少，獲得的證明就越快。但數據越少，安全性就越低。

如前所述，Polygon Zero 最終要建設由 Plonky2 提供支持的最具可擴展性的 zkEVM。

即，每個 zk-rollup 都需要一個 zkEVM 才能真正處理計算。用于 Polygon Zero 的 zk-rollup 的 zkEVM 將由 Plonky2 提供支持，這是目前最高效、最快的 zk 證明系統。

開發人員將能夠在 Polygon Zero 之上部署智能合約，不僅能利用 Polygon 的高性能，同時也利用以太坊的安全性。據其中一位創始人的說法，此 L2 將允許建設具有更多操作和功能的應用程序。

大多數 rollup，包括 Starkware，都會將交易打包，并生成該交易包中的每個事務都是有效的證明。

Polygon Zero 使用遞歸證明，因此，每筆交易都會同時制作一堆非常快速的證明。然后將這些單獨的交易證明捆綁在一起來創建更大的證明，即驗證其他證明有效性的證明。

這意味著 Polygon Zero 可以進行水平縮放。因此，如果有一堆機器并行生成這些交易證明，那么添加更多機器（例如 Macbook）就可以證明更多交易。通過使用遞歸證明，可以擴展到更多事務，而不用以時間延遲為代價。

Polygon Zero 相關數據

五年前，三位共讀 MBA 的同事 Jordi Baylina、David Schwartz 和 Antoni Martin 創辦了一家名為 Iden3 的公司，他們從事的第一個項目是自主身份解決方案，當時項目被稱為 “自我主權身份”（Self Sovereign ID，簡稱 SSI），與我們當下比較流行的去中心化身份 DID 其實是相同的概念。

Meta已支持美國用戶在Ins和臉書上交叉發布數字藏品:金色財經報道，據官網消息，Meta宣布在美國的Facebook和Instagram上的每個人現在都可以連接他們的錢包并分享他們的數字收藏品。這包括人們能夠在Facebook和Instagram上交叉發布他們擁有的數字收藏品。此外，在Instagram上有數字收藏品的100個國家的所有人現在都可以使用這一功能。

據悉，Instagram于5月開始測試NFT功能，Facebook于7月向部分美國創作者推出NFT功能。[2022/9/29 6:02:27]

但這三個人在研發 SSI 項目的過程中逐漸意識到，要想進一步讓 SSI 成為主流，就必須先使得現有的區塊鏈具備充分的可擴展性。這之后，三人決定轉向新項目 Hermez。

Hermez 是基于 zk 技術的去中心化 L2 rollup 解決方案。Hermez 1.0 是目前正在運行的支付平臺，該平臺允許用戶通過一個簡單易用的網絡或移動界面將任何已注冊的 ERC-20 代幣從一個 Hermez 帳戶轉移到另一個帳戶。去年 7 月，該團隊宣布開發 zkEVM，Hermez 2.0，開發完成后將為以太坊帶來一個完全兼容的 zkEVM。

去年 8 月，Polygon 宣布以 2.5 億美元收購 Hermez。新項目將命名為 Polygon Hermez，兩個項目的代幣 MATIC 和 HEZ 進行合并，Hermez 的 26 名員工也將加入 Polygon 的 80 人團隊。

Hermez 最初是作為 zk-rollup 開始的，專注于在以太坊上擴展支付和代幣轉移。

rollup 指的是打包一打交易（數千個）并在鏈下一次執行。當這數千筆交易在鏈外執行時，就 Hermez 而言，會生成一個 zk-SNARK。SNARK 證明了批次中每筆交易的有效性，隨后再由以太坊驗證證明（SNARK），而不是單個交易。

與 Optimistic rollup 相比，zk rollup 可以立即生效，實現即時提款，而 Optimistic rollup 必須等待 7 天。這種能夠在恒定時間內高效驗證證明的能力，是所有 zk rollup 的核心。

Hermez 的處理速度為 2000 TPS。據 Hermez 團隊介紹，在未來處理速度還將大幅提升。

Hermez 上可進行三種不同的交易：

存款：將任何已注冊的 ERC-20 代幣從 L1 以太坊發送到 L2 Hermez。存款需要支付以太坊 gas 費。

轉賬：將任何已注冊的 ERC-20 代幣從一個 Hermez 賬戶發送到另一個 Hermez 賬戶，此類轉賬交易非常便宜且即時。

取款：將 ERC-20 代幣從 L2 Hermez 發送回 L1 以太坊。提款需要支付以太坊 gas 費。

在提款時需要注意的一點是，Hermez 提供了一種保護機制，即 “強制提款”，允許用戶隨時將資金從 L2 Hermez 轉回 L1 以太坊，即便是協調員在試圖作惡的情況下。

ULTRADX（奧創）與 MastersDAO、MoreMeta 元宇宙平臺達成深度戰略合作:據官方消息，ULTRADX（奧創）與 MastersDAO、MoreMeta 元宇宙平臺達成深度戰略伙伴合作關系。

據官方介紹，ULTRADX(奧創）是采用美國CME的全品類全倉保證金系統與OCC的實時清結算系統的加密貨幣交易平臺。

MoreMeta是以沉浸式空間承載內容價值、社交價值的多元交互的綜合元宇宙項?。現與多家藝術院校及文化機構達成數字藝術方向的產學研合作，且為多地實現文旅、文博的數字化解決方案，為生態鏈上下游提供創作與價值革新。

MastersDAO是通過全球各領域的愛好者與藝術家所組成的去中心化自治組織，涉及領域涵蓋了美術、古董、字畫、音樂、影視等方面。[2022/6/27 1:33:46]

協調者和捐贈證明

協調者是 Hermez 版本的區塊生產者。這些人通過生成 zk-proof 來證明鏈下交易的有效性。

協調者就是將交易捆綁打包的人，他們會將所有的事務請求匯總在一個單元中，每次 rollup 會執行數千條事務，然后再生成 zk-proof，再通過以太坊上的智能合約驗證此 zk 證明。

Hermez 之所以是去中心化的，是因為任何人都可以成為協調者并通過服務來賺取獎勵。網絡上可以同時有任意數量的協調者，但是只有一個能夠實際處理交易并在任何給定的時間段（10 分鐘長）內獲得獎勵。

Hermez 網絡通過拍賣過程選擇下一個協調者。基本上任何人都可以使用 MATIC 代幣出價，出價最高的人將贏得在 10 分鐘內處理盡可能多的交易的權利，直到選擇下一個協調員。這是一個非常有效的過程，因為它要求協調員在這 10 分鐘內盡可能多地進行交易，以使獲得的回報超過出價。

如果協調者競標失敗，MATIC 代幣將被退回原錢包，而那些競標成功的資金，將有以下三個用途：

30% 永久銷毀

40% 用于由以太坊基金會管理的捐贈賬戶

30% 用于網絡激勵，以幫助推動 Hermez 網絡的進一步采用。

值得一提的是，Hermez 支持原子交易。原子交易是一連串不可再分的交易，要么交易全部發生，要么全部不發生。例如，Alice 想向 Bob 發送 1000 DAI 來換取 1 ETH，在原子交易的情況下，二者必須都發送代幣給對方之后，交易才可以成功，缺少一個步驟，交易都會失敗。所以，這種交易方式能有效預防詐騙。

去年 7 月，在 EthCC 4 大會期間，Hermez 團隊宣布正在開發 zkEVM 即 Hermez 2.0。

我們都知道，目前 L2 多采用 Optimism 而 ZK 還沒真正起飛的關鍵點就在于，zk 還無法做到 EVM 兼容。所以，zkEVM 就是要解決這個問題，在 zk-rollup 上運行智能合約。

目前很多項目也在開發 zkEVM，僅在 Polygon 生態中，就有 Polygon Zero 和 Polygon Hermez 這兩種解決方案。然而，每個項目都以不同的方式在解決這個問題，并且每個項目都有自己的權衡。

Binance將下架SC USDT永續合約:金色財經報道，據 Binance 官方消息， Binance 將于2022年06月17日17:00（東八區時間）對SC USDT永續合約進行自動清算，并將在清算結束后下架SC USDT永續合約交易對。[2022/6/13 4:22:30]

Hermez 的特色在于不論是工具、生態系統還是安全性，均能與以太坊兼容。這就意味著在理想狀態下，在以太坊上運行的智能合約能夠在 L2 Hermez 上運行。為開發人員提供無摩擦的體驗。Optimism 和 Arbitrum 一推出，就吸引了一批項目和用戶遷移過來。不難想象，等 zk-rollup 成熟，會產生甚至更強的網絡效應。

Hermez 創始人 Antoni Martin 形容 zkEVM 說：“如果你充分利用每個解決方案的最佳部分，你就可以制造出最好的汽車……”。所以，Hermez在開發zkEVM時同時采用了SNARKS 和 STARKS兩種 ZKP 方案，力求兩全其美。

具體而言，當 Hermez 處理交易并在鏈下產生新區塊時，將生成一個 STARK 證明，證明這些交易都是有效的。STARK 證明的問題是在鏈上（以太坊）驗證成本很高，而 SNARK 則在此時就有了用武之地，它需要做的就是在以太坊上驗證 STARK 證明的有效性。

如果你想進一步深入了解此zkEVM 的架構，可點擊此處查看Hermez2.0 開發文檔。Hermez 2.0（zkEVM）功能

上圖展示了 HermezzkEVM 提供的不同功能。當然，2.0 還在開發過程中，據主網上發布 2.0 路線圖顯示，Hermez2.0 計劃于今年第一季度上線公測網絡，主網預計于第二季度上線。還有一處劃重點，那就是 Hermez2.0 正在開發一個無需許可的跨鏈橋，允許用戶將資產從 Hermez L2 轉移到其他 L2。

去年 9 月，Polygon 和全球專業服務和技術公司安永 (EY，Ernest & Young) 建立合作關系，隨后發布了 Polygon Nightfall。

安永在 2019 年公布了 Nightfall 的初始版本，和其他 zk 解決方案最不同的一點是，Nightfall是以隱私為重點的 rollup，安永將其定位為 “以太坊上最突出的隱私解決方案之一”。具體來說，就是 Nightfall 上每筆交易都包含隱私，意味著如果 Alice 向 Bob 發送一筆資產，其他人將無法看到該資產是什么、包含了多少價值或它去了哪里。

之所以更注重交易的隱私性，是因為安永瞄準的客戶是企業。最開始，Nightfall 試圖直接在以太坊上構建第一個企業級區塊鏈，但最后發現，在以太坊主網擁有隱私過于昂貴，于是轉了 L2 并最終選擇和 Polygon 合作。

二者合作發布的 Polygon Nightfall 是迭代多次后的 Nightfall3.0 版本，其最突出的特點是有效地將 Optimistic Rollup 的主干概念與 ZK-Rollups 中常用的零知識 (ZK) 密碼學相結合，從而實現了可擴展性和隱私性的融合。

Polygon Nightfall 目前正在測試網階段，主網預計于今年上線。

Polygon Nightfall 本質上是一個利用 zk 加密保護隱私的 Optimistic Rollup。Polygon 和安永的合作的重點在于使用 Nightfall 技術構建產業鏈，使企業能夠以可預測的低費用且在監管指導下鏈接到 L1 上。

下圖為 Nightfall 具體運作機制：

我們目前可以把可擴展性的瓶頸歸結為 “狀態”，因為在在鏈上存儲數據的成本很高。因此，擴展解決方案的目標是不斷降低存儲在鏈上的數據量。Nightfall 在降低存儲方面采用了成本更低的 Optimistic rollup。

通常使用 Optimistic rollup 方案都會存在 7 天的挑戰期，也就是說從 L2 提現到以太坊主網需要等待 7 天。但 Nightfall 改善了這一點，為用戶提供了“即時退出”的選項。其運作方式是，由流動性提供者與用戶該筆交易交換位置，先為用戶墊付即時提款所需的資金，并在 7 天的等待期內占據該位置。

Nightfall 希望交易同時兼具隱私性。所以，在 Optimistic Rollup 上，Nightfall添加了一個額外的 zk 隱私層，來保證交易的私密性。

NightfallVS Aztec

上圖顯示了兩種不同的啟用隱私的方法。左邊的 Polygon Nightfall 使用了 zk 密碼學的 Optimistic rollup，右邊的 Aztec 使用了 zkrollup 和 zk 密碼學。我相信，最理想的方案是類似 Aztec 的 zk/zk 方法，但在當下，這種解決方法太昂貴了。所以，在一定程度上來說，Nightfall更像是一種能夠立刻投入使用的折中方案。一旦 zk 費用得到解決，Nightall 團隊會最終切換到 zk/zk 方案。

下圖為 Nightfall 的架構：

金融企業和機構投資者：Nightfall 獨特的隱私性為希望將交易和掉期保密的投資組合管理公司創造了一個巨大的機會。

為企業提供供應鏈可追溯性：企業可通過 Nightfall 處理供應、執行銷售訂單、私密支付等。目前，已有一家啤酒廠在使用安永的 Nightfall 供應鏈進行可追溯性交易，企業可輕松追蹤有多少啤酒、它在哪里、運輸數量等。此外，一家制藥公司通過 Nightfall 來將生產線上的每一種產品都鑄造成 NFT，每天約產生 60000 個 NFT。

ESG：ESG 評級是針對企業在環境（Environmental）、社會（Social）和公司治理（Governance）三個方面進行評分考核，從長遠角度判斷企業是否具備可持續發展的價值。目前已有平臺使用 Nightfall 技術，使用戶可在不透露確切的慈善機構的情況下向某個慈善機構捐款。確保了資金使用上的私密性。而且通過在鏈上添加慈善機構的供應鏈，公眾可以監督慈善機構的進度和資金去向。

去年 11 月，Polygon 宣布推出基于 zk-STARKs 的擴容解決方案 Miden。這個項目由曾經主導研發了 Winterfell 技術的 Facebook 前核心零知識證明技術研究員領導。

Polygon Miden 是一個基于 STARK 的 zk rollup。Polygon Miden的特色是它旨在解決 rollup很難支持任意邏輯和交易的挑戰。rollup 通過打包交易來減少鏈上數據存儲，可以減少擁塞并降低交易費用，但很難支持交易包中的某個任意交易的驗證，影響了它驗證所有鏈下交易的能力。Polygon Miden 通過使用 Miden VM（虛擬機）來解決這個當今 zk rollup 的最大難題之一。

Polygon Miden 框架的核心組件有兩個：Distaff VM 和 Winterfell。

Distaff VM 是一個 zk-EVM。每當在 zk-VM 中執行程序時，都會生成 zk 執行證明（zk-proof of execution）以驗證程序是否正確運行，而無需實際運行該程序。Distaff 是一個基于 STARK 的虛擬機。

對于在 Distaff VM 上執行的任何程序，都會自動生成基于 STARK 的執行證明。然后，任何人都可以使用這個證明來驗證程序是否正確執行，而無需重新執行程序，甚至不需要知道程序是什么。

Miden VM 就采用了 Distaff VM，并為其添加一個更有效的證明系統——Winterfell。Winterfell 是一個功能齊全的多線程 STARK 證明器和驗證器，用于任意計算。本質上是性能更高的最新版本的 STARK 證明。

一旦開發完成，任何項目都可以在這個 zk-rollup 之上部署智能合約。

其他項目不同之處在于，Miden 生成 STARK 證明。盡管使用 STARK 證明更貴，但它相對要更安全。Miden 創始人還計劃進一步研究遞歸 STARK 證明，來降低其價格。

交易首先會分發送給 Miden 的執行節點；

這些執行節點一次將 5000 筆交易捆綁到區塊中，并生成一個 STARK 證明；

每 200 筆交易捆綁的區塊生成一個 STARK 證明，證明交易的有效性；

最后將最終 STARK 證明結果是上傳到 L1 以太坊來達成共識和確定性。

對開發人員友好：Miden 的目標是讓開發人員甚至無需學習任何有關密碼學或 zk 證明的知識，即可在此 zkVM 之上運行智能合約。

支持多種編程語言：團隊正在努力增加對多種編程語言的支持，但同時保證 Solidity 優先。

以安全為中心：通過 zk 技術使 Miden VM 比 EVM 本身更安全。

以隱私為重點：雖然這不是現在的重點，但 Miden 團隊在路線圖部署了相關開發計劃。

據官網公布的信息，Miden 預計于 2023 年第一季度推出。

最后，我們再簡單快速對比一下 Polygon 的四種 zk 擴容方案：

Polygon Zero 開發了一種基于 SNARK 的遞歸證明系統 Plonky2，這一技術能在 Mac-Book Pro 上以小于 170 毫秒的速度生成遞歸證明。在如此高效、快速的 Plonky2 證明系統上，Polygon Zero 將最終開發最具可擴展性的 zkEVM。

Hermez 開發的 zk rollup 的特點是在交易過程中通過拍賣選擇協調者，競標成功的協調者為了盈利，會在單位時間內盡可能地進行交易，所以這一競爭機制會帶來交易上的高效。此外，Hermez 也在開發 zkEVM，且同時采用了 SNARK 和 STARK 兩種 ZKP 方案，力求兩全其美。

而 Nightfall 要更特殊一些，和其他 zk 解決方案最不同的一點是，Nightfall 是以隱私為重點的 rollup，他瞄準的客戶是企業。此外，Nightfall 有效地將 Optimistic Rollup 的主干概念與 ZK-Rollups 中常用的零知識 (ZK) 密碼學相結合，從而實現了可擴展性和隱私性的融合。

Miden 最核心的產品是 Miden VM，和其他 rollup 不同，它采用較為冷門的 STARK 證明系統來建設虛擬機，旨在解決 rollup 很難支持任意邏輯和交易的挑戰，提高驗證所有鏈下交易的能力。

目前，四個方案多處于開發和測試階段，都將于今年或明年正式上線。隨著前述新 zk 解決方案的投入使用，Layer2 將很大程度解決此前技術方案落后的質疑，并在主流 Layer2 解決方案中占有一席之地，為加密用戶帶來更多選擇空間。

作者：Pedro，Polygon DAO 作者

整理：海爾斯曼，鏈捕手

Tags：ARKPOLPolygonOLYBitmarkPOLYX價格polygon幣matic幣投資機構polygon幣圈

萊特幣價格