Jump Crypto：深入分析區塊鏈基礎設施細分賽道
原文標題：《
原文標題：《Peeking Under the Hood: Key Pillars of Crypto Infrastructure》
簡介
相關閱讀
簡介
原文標題：《
原文標題：《
簡介
二級標題
相關閱讀
Jump Crypto：如何建立Layer1分析框架Jump Crypto：詳解各類區塊鏈擴容解決方案
一級標題簡介
我們將圍繞區塊鏈基礎設施的生態系統定義為旨在支持以下關鍵領域的L1 和L2 開發的協議：一級標題
二級標題
區塊鏈開發：
存儲
存儲計算
計算一級標題
索引去中心化雲服務
二級標題
存儲
存儲
計算
二級標題
一級標題
數據可用性
數據可用性
節點基礎設施
遠程過程調用（RPC）是許多類型軟件系統功能的核心。它們允許一個程序調用或訪問另一台計算機上的程序。這對於區塊鏈尤其有用，區塊鏈必須為來自不同區域和環境中運行的各種機器的大量傳入請求提供服務。 Alchemy、Syndica和Infura等協議將這種基礎設施作為服務提供，使建設者能夠專注於高級應用程序開發，而不是將呼叫傳輸和路由到節點所涉及的底層機制。
一級標題
二級標題
一級標題
數據可用性
二級標題
數據可用性
應用程序大量消耗數據。在Web2範例中，這些數據通常以集中的方式直接來自用戶或第三方提供商（數據提供商因將數據聚合併銷售給特定的公司和應用程序而直接獲得報酬——比如亞馬遜、谷歌或其他機器學習數據提供商）。
DApp也是數據的大量消費者，但需要驗證器使這些數據可供鏈上運行的用戶或應用程序使用。為了盡量減少信任假設，以去中心化的方式提供這些數據非常重要。應用程序可以通過兩種主要方式快速高效地訪問高保真數據：
隨著Layer1及其生態系統數量的增長，對跨鏈管理可組合性和互操作性的需求更加迫切。跨鏈橋使原本孤立的生態系統能夠以有意義的方式相互作用，這類似於新的貿易路線幫助連接原本不同的地區，開創了知識共享的新時代！ Wormhole、Layer Zero與其他跨鏈橋解決方案支持通用消息傳遞，允許所有類型的數據和信息(包括逮捕)跨多個生態系統移動，應用程序甚至可以跨鏈進行任意函數調用，使它們能夠進入其他社區，而不必部署到其他地方。 Synpase、CELER等其它協議僅限於資產或代幣的跨鏈轉移。
一級標題
二級標題
鏈上消息傳遞仍然是區塊鏈基礎設施的關鍵組件。隨著DApp開發和零售需求的增長，協議以有意義但去中心化的方式與其用戶交互的能力將成為增長的關鍵驅動力。以下是鏈上消息傳遞可能有用的幾個潛在領域：
代幣領取通知。
允許在錢包中內置通信消息傳遞。
二級標題集成測試
集成測試審計
審計二級標題
安全與測試加密技術的安全性和測試相對來說還處於初級不發達階段，但不可否認的是，它對整個生態系統的成功至關重要。加密應用程序對安全風險尤其敏感，因為它們通常直接關係著用戶資產。其設計或實施中的小錯誤往往會造成嚴重的經濟後果。
有7種主要的安全和測試方法：單元測試
集成測試集成測試
審計審計
已成為區塊鏈安全流程開發的核心部分。在向公眾發布智能合約之前，協議通常會利用第三方代碼審計員來檢查和驗證每一行代碼。我們非常重視審核員來確保最高程度的安全。 Trail of Bits、Open Zeppelin和Quantstamp是區塊鏈審計領域中值得信賴的幾個機構。
形式化驗證
涉及檢查程序或軟件組件是否滿足一組屬性。通常，有人會編寫一份正式的規範，詳細指出程序的行為方式。形式化驗證框架將把這個規範轉化為一組約束，然後對其進行解決和檢查。來增強智能合約安全性的領先項目之一。 Certora是一個領先的項目，它使用Runtime Verification來實施形式化驗證以支持智能合約的安全性。
模擬
—長期以來，定量交易公司一直使用基於代理的模擬來對算法交易策略進行回測。鑑於在區塊鏈中進行實驗的高成本，模擬方法提供了一種參數化協議和測試各種假設的方式。其中，Chaos Labs和Guantlet是兩個利用基於場景的模擬，來保護區塊鍊和協議的優質平台。
測試網絡
二級標題
提供類似主網網絡的展現形式，支持開發人員在研發環境中對其測試和調試參數。許多測試網絡使用Proof-of-Authority/其他共識機制和少量驗證者進行速度優化，並且測試網絡上的代幣沒有實際價值。因此，除了通過水龍頭外，用戶沒有其他方式獲取代幣。有許多測試網是為了模仿主網L1上的一些項目而構建的（如以太坊的Rinkeby、Kovan、Ropsten）。
每種方法都有自己的優點和缺點，當然也不是相互排斥的，不同的測試風格通常用於項目開發的不同階段：
第1 階段：在構建合約時編寫單元測試。
第2 階段：一旦構建了更高級別的程序抽象，集成測試對於測試模塊之間的交互就會非常重要。
第3 階段：代碼審計在測試網/主網發布或大型功能發佈時進行。
第4 階段：形式化驗證通常與代碼審計相結合，並使用額外的安全保證。一旦程序被指定，其餘的過程就可以自動化，這使得它很容易與Continuous Integration或Continuous Deployment工具配對。第5 階段：在測試網絡上啟動應用程序檢查吞吐量、流量和其他擴展參數。
二級標題二級標題
用於開發新L1的SDK，有助於抽像出創建和部署共識模型的過程。預建模塊允許靈活性和定制化，但針對開發速度和標準化進行了優化。 Cosmos SDK就是一個很好的例子，它支持在Cosmos生態系統內快速開發新的經驗證的區塊鏈。 Binance Chain和Terra是以Cosmos為基礎的公鏈的著名例子。結論
結論
智能合約開發—-有許多工具可以幫助開發人員快速開發智能合約。例如，Truffle boxes包含簡單而有用的Solidity合約(投票等)示例。社區還可以向此存儲庫推薦附錄。
前端/後端工具
