OIN:關于zkRollup硬件加速與zkPOW的思考_Bitcoin Gold

零知識證明能夠提供隱私保護、擴容、構建信任等關鍵作用，與Web3.0的精神相互契合，因此其應用場景如雨后春筍大量涌現。目前，ZK的小型應用開發難度小、成本低，有較多較成熟應用；ZK的中型應用初見雛型，現今的技術也足以滿足其性能需求；而對于大型應用而言，目前仍處于較早期的階段，仍存存在部分技術瓶頸，距離成為成熟的產品還需要一些時間。我們首先簡單盤點各類的應用場景:小型應用場景

獨立的ZKDAPP是零知識證明最直接的應用場景，這類應用要證明的事項簡單、種類少、量不大，因此也較容易開發。例如:單純的隱私支付協議、ZK橋、身份解決方案等。中型應用場景

這類應用較小型應用場景相對復雜一些，需要證明的情況較多，但相對于小型應用而言只是倍數的增加，這類應用如:在數據存儲網絡中證明正確性、基于ZK的游戲等。大型應用場景

zkRollup的Layer2和zkEVM是零知識證明在Web3中的終極應用，用于處理一個VM或EVM中的各種可能性帶來的狀態變化。相對于小型應用的復雜程度是指數量級的增加，它們對于技術、開發工作量的要求都較高，距離達到理想中的用戶體驗還差一次技術跳躍。零知識證明無疑是Web3領域中最具創新性的技術之一，零知識證明也提供了構建Trustless產品的絕佳技術手段。然而像人工智能剛從學界走向業界一樣，現今的各類應用場景仍有相當多的問題與挑戰。慶幸的是，越來越多學界與業界的力量正投入這個領域。下面我們將深入探討zk科技樹的不同枝葉。高效算法與成熟的開發棧是核心枝干

Patrick Hansen：歐盟目前還沒有關于加密資產作為MiFID II所指的金融工具的監管分類指南:金色財經報道，Circle歐盟戰略和政策總監Patrick Hansen在社交媒體上表示，我推薦德國金融監管機構 BaFin 在 2018 年發出的這封舊咨詢信，以提供一些指導，說明代幣在德國和歐盟法律下何時可能被視為證券。在歐盟層面，目前還沒有關于代幣/加密資產作為 MiFID II 所指的金融工具（如可轉讓證券）的監管分類指南。

但這種情況很快就會改變。作為 MiCA 實施過程的一部分，ESMA 被授權發布關于加密資產作為金融工具（證券）的標準和條件的指南。這項工作將于 2024 年第一季度完成，從跨大西洋的角度來看，這項工作將非常值得關注。

不過，歐盟不太可能偏離其先前的評估，即大多數加密資產不在歐盟現有證券監管范圍內。早在 2019 年，歐盟主要監管機構歐洲銀行監管局（EBA）和歐洲證券與金融管理局（ESMA）就已認定，通常情況下，加密資產活動并不構成歐盟銀行、支付和電子貨幣法律范圍內的受監管服務，對消費者存在的風險并未在歐盟層面得到解決。這一認識是 MiCA 的主要驅動力之一。

此外，這一評估甚至已被納入已在實施的歐盟法律，如 DLT 試點制度，該制度指出：大多數加密資產不屬于歐盟立法范圍，并在投資者保護、市場誠信和金融穩定等方面提出了挑戰。因此，它們需要歐盟層面的專門制度。盡管如此，仍應密切關注即將發布的歐洲證券與金融管理局（ESMA）指導方針，業界也應為將于 2024 年第一季度發布的一攬子咨詢計劃貢獻自己的觀點。[2023/7/27 16:01:58]

一套完整的零知識算法從研究走到應用需要經過理論研究、開發工具構建與具體應用開發等階段。而其中效率問題是零知識證明應用進入下一個階段最大的瓶頸之一，這其中包含算法的效率與開發的效率。在算法效率方面，不同零知識證明使用不同的方法表達要證明的電路、且背后基于不同的數學困難問題，這些因素都會影響算法的各項效率。具體而言，一個零知識證明算法重要的效率指標包含證明大小、證明時間、驗證時間等等，而在目前，大量的算法都能實現較短的驗證時間，各式的聚合技術也可以壓縮證明大小，而證明時間則是主要的瓶頸。因此項目方的設計與選擇對算法效率表現顯得至關重要。不同零知識證明算法在復雜度方面會形成巨大的差異。復雜度的差異在輸入的數量級大的時候會充分反映到具體的性能差異上。

歐洲立法者將于4月25日展開關于Web3時代加密稅收的討論:金色財經消息，歐洲立法者將于4月25日討論如何收緊Web3時代的稅法和程序。

歐洲議會葡萄牙議員LídiaPereira編寫的一份報告草案表明，國家稅務機關有權交換個人持有的加密資產數據，一些人認為這是不合理的窺探。此外，立法者也認為區塊鏈技術技術可以幫助完善稅收制度，區塊鏈公共分類賬本可以提供一種自動化稅收征管的新方法，讓居民在無需大量填寫表格的情況下支付所欠款項。（CoinDesk）[2022/4/22 14:41:52]

圖1:各種零知識證明算法預期未來將有更多團隊在零知識證明的算法上投入更多研究精力以找到最符合項目需求特性的算法。例如FOX這樣的Layer2項目堅持設計在證明時間這項關鍵指標上達到理論下界，線性復雜度O(C)，且是對數驗證時間、無需可信設制的算法。這種算法非常適合支持一個沒有容量上限的擴容網絡。在開發方面，開發效率低下的主要原因是相關的開發棧缺失嚴重，將應用場景轉換為電路語言最終付諸算法證明的過程相當復雜：需要將前述漫長過程中的某個(些)部份抽象化、形成模塊化的開發工具或語言，并保持彼此之間的兼容性。完整、豐富的ZK開發棧便是破局的關鍵，這讓開發者能只專注于各自關注的環節，一起合作完成一個完整的ZK應用。

灰度旗下關于BCH和LTC的單一基金獲得FINRA公開報價批準:加密資產管理公司灰度投資GrayscaleInvestments宣布旗下基金產品GrayscaleBitcoinCashTrust和GrayscaleLitecoinTrust現已獲得美國金融業監管局（FINRA）的公開報價批準，場外交易代碼分別為BCHG和LTCN，分別成為首個與BCH或LTC掛鉤的公開上市證券。不過，在獲得美國信托公司DTC資格之前，這兩種證券將不會開放交易。灰度投資稱，預計BCHG和LTCN將很快獲得DTC資格。注：BCHG和LTCN分別是該公司第五、第六種獲得公開報價批準的投資產品。[2020/7/21]

表1:零知識證明硬件加速面臨的問題硬件加速助力開枝散葉

硬件加速是使零知識證明效率進一步提高、讓大型應用更接近成熟落地的關鍵。而這便涉及兩個問題:首先是哪些運算可以加速，其次是哪些硬件可以用來加速。對于第一個問題，不同的零知識證明主要的差異在于多項式承諾的方法，MatterLabs采用的Plonk、Scroll采用的Ultra-Plonk等算法多項式承諾基于KZG，因此其中的Prover涉及大量的FFT計算和ECC點乘MSM的運算用以產生多項式和承諾，這兩類計算都會帶來大量計算負擔。具體而言，MSM有通過在多個線程上運行來加速的可能，但是需要大量內存并且即使在高度并行化時仍然很慢，而FFT嚴重依賴算法運行時數據的頻繁洗牌，這使得它們很難通過跨計算集群分配負載來加速。因此目前對這些運算加速都意味著高昂的成本。此外，Starkware研發的STARK、FOX研發的FOAKS都在FRI的過程中主要涉及哈希運算。雖然也有FFT，但量不大。因此這兩種算法可以使用硬件加速來提升運算的效率。在硬件層面主要有GPU、FPGA、ASIC三種選擇，各有不同的特性:GPU:GPU能夠通過一定的算法，加速并行計算。使用GPU加速的效果取決于具體的算法，例如在FOX的使用的FOAKS算法沒有大量的FFT和MSM運算，且其ZKEVM設計中本身就包含大量可以并行計算的部分，便能通過GPU獲得較大的效率提升。FPGA:FPGA是可編程的集成電路，因此開發者能夠通過針對于ZK算法定制化優化礦機。ASIC:ASIC是為特定用途專門定制的集成電路芯片。但是ASIC由于過于定制化，需要的時間和成本也會更多，也許硬件的迭代伴隨著行業規模的增大，逐漸朝著ASIC方向發展，但是不會一步到位。在比特大陸等專業硬件廠商進入這個領域之后，ASIC或成為主流選項。這三種硬件不同的特性也使其有不同的機會。短期看GPU，中期看FPGA，長期看ASIC。以太坊轉為PoS后，GPU算力將會流向可以吸納這些算力的網絡，而沒有大量FFT和MSM運算且對并行運算友好的網絡將會成為他們的首選。FPGA的可編程性在中期具備一定的優勢，尤其是在算法更迭快速、技術路線還不穩定的時期。ASIC路線意味著更高昂的成本，但能帶來更高的效率提升。從長遠看大型硬件廠商勢必進入這個賽道并毫無疑問會選擇ASIC作為其主打芯片類型。zkPOW機制設計錦上添花

動態 | 韓國新韓信用卡公司已在韓國獲得關于”區塊鏈信用結算系統”的專利:7月15日，韓國新韓信用卡公司Shinhan Card表示，已經在韓國獲得關于”區塊鏈信用結算系統”的專利。該系統可在區塊鏈上體現信用交易流程。據悉，Shinhan Card目前正在美國、日本、中國、歐盟、越南、印度尼西亞等地區進行專利申請。[2019/7/15]

最后，有了完整的軟硬件，機制設計便是使其穩定運行與進步的最后一步。各個zkRollup項目在初期的Prover通常都會更接近傳統的中心化服務：部署在云上，并由項目方獨享這部分的收益。但是在Web3的敘事下，未來Prover的工作勢必往去中心化的方向發展，而這樣的發展也有以下的優點:將有更多人可以分享證明生成算力，分享收益與項目利益綁定。這種激勵機制將出現更加本地化的算力，從而與項目方和基金會共同建造并壯大生態系統。一個好的去中心化的機制會帶動更大的力量推動技術進步，讓更多各方的專家投入精力研究讓系統效率不斷進步，讓用戶獲得更好的體驗。去中心化的機制將能更好的適應需求的動態變化。但是證明過程的去中心化有相當多的挑戰，例如去中心化后各方該通過甚么樣的共識合作、應該在證明過程中的哪個層面分配去中心化的任務、如何保持通信的效率與避免可能的攻擊行為等等。盡管如此，一些理想的可能解決方案已經被刻畫在部分項目的愿景中，例如在FOX的設計中便包含了一個zkPOW的方案，這個方案能夠達成以下目標:通過引入隨機性實現算力提升:生成零知識證明的計算和傳統POW的計算不一樣，在沒有引入隨機性的場景下，具有最高算力的一方將永遠都能獲得生成證明的獎勵，從而導致其他各方退出，而獲得壟斷后這個算力提供者也不再有動機提升算力，失去去中心化的初衷。通過引入算力收益算法實現分配公平:一個公平分配的方案將使得長期而言，各個算力提供者的期望收益與其算力成正比，這意味著這個方案將讓zkMiner如PoW機制下一樣，可以通過投入算力以獲取收益，并難以通過非法手段獲取超額激勵收益。長期而言，公平的算力收益算法也能保證系統中算力提供者數量的穩定性，同時也意味著更高的抗攻擊能力。FOX的zkPOW設計中，在第一個證明被提交隨后的一個時間窗口內提交證明的參與者都可以獲得不同比例的激勵，同時，通過引入隨機性使得每次證明的提交內容都不相同，這意味著每次證明的提交背后都必須經過完整的證明計算。而通過仔細設計的比例分配，將使得各個參與者的期望收益與其算力成比例，對各個參與者提高計算效率產生正向激勵，最終使得項目的用戶都將因此受惠，享受更安全、更快、成本更加低廉的zkRollup服務。

動態 | 印度德里提交關于Coinsecure盜幣案件的指控表:據Times of India報道，印度德里提交了一份關于Coinsecure盜幣案件的指控表。提交的指控表圍繞著Coinsecure首席安全官，他被視為主要嫌疑人之一。高級警官表示，基于數據，調查顯示黑客是公司內部人員，查獲的公司服務器和計算機仍在分析中。據此前報道，印度三大比特幣交易所之一Coinsecure在官網發布公告稱，該交易所438個BTC失竊，價值約330萬美元。[2018/9/10]

Tags：ASIOINCOICOINBasisX Bondhotcoinglobal官網Bitcoin Goldbinance-coin

狗狗幣最新價格