說PlatON測試之前,我們需要先了解下關于區塊鏈測試和傳統互聯網測試的區別,其主要體現在系統邊界模糊,對于區塊鏈的測試不僅僅是前端API與某個區塊鏈節點之間的測試,還涉及大量區塊鏈節點與節點之間的測試。
同時還要注意PlatON鏈本身包含公有鏈、私有鏈,不同類型在管理、用戶身份、最大節點數等平臺自身特征方面均有不同,測試需要考慮所有的模式,導致測試方案和場景也比常規的傳統測試更加復雜。
現在我們可以來認識下PlatON,首先它不屬于交易所類型的業務產品,而是于基于區塊鏈的技術以及鏈技術產生的價值的生態基礎服務,測試的重點也是不一樣的。我們的測試會更加關注底層,比如共識算法、網絡、存儲、經濟模型等。
PlatON測試范圍總覽
從Case全景圖可以看出,我們對PlatON的Case過程進行分類,主要是通過5個方面去驗證系統保證安全可靠。
主要是通過在鏈初始化時,搭建私鏈或者鏈接主網時對經濟模型中的合約賬號、信息以及參數進行合理性的驗證。
隱式初始化-不指定網絡時鏈接PlatON主網絡,這時候需要驗證網絡節點搭建成功之后鏈上信息和內置的信息保持一致。
顯式初始化-搭建私鏈則是通過創世文件初始化的方式加入到特定的私有網絡,成功加入鏈之后驗證鏈上信息和配置的信息保持一致初始化參數。
共識參數-經濟模型參數、治理參數、懲罰參數、獎勵參數、增發參數。
初始化參數是通用的系統參數,參數分主網參數和自定義參數兩類:
主網參數-通過在啟動節點時增加命令參數來實現鏈接PlatON主網絡,需要驗證的就是鏈上共識參數、經濟模型參數、治理參數等和主網參數保持一致。
比特幣NFT協議Ordinals昨日銘文鑄造量超15萬枚,創迄今單日鑄造量第二高記錄:金色財經報道,據Dune Analytics數據顯示,比特幣NFT協議Ordinals于4月26日的銘文鑄造量達到151,000枚,創下迄今為止單日鑄造量第二高記錄,歷史最高記錄發生在4月23日,當日鑄造量超過19萬枚。此外,當前Ordinal 鑄造銘文總量已超187.3萬枚,迄今產生的總費用達到約188.4枚BTC。[2023/4/27 14:30:37]
自定義參數-在啟動節點時,通過調整初始化創世文件里的初始化參數來實現自定義參數,然后通過鏈初始化啟動節點,這時候鏈上的參數應該和創世文件中的參數保持一致。
但是這里需要注意的是自定義參數時,創世文件中數值閾值的調整需要合理,不同的參數組合最終會導致鏈啟動成功與否以及鏈上運行的規則發生變化,我們的測試過程正是驗證這些參數變動帶來的各種邊界值,以及參數是否給鏈的運行提供合理的標準。
啟動階段測試我們分為兩種模式進行驗證,分別是單節點和集群,因為不同的節點數量鏈運行方式也會有所不同,我們從簡單的結構出發,然后慢慢擴展數量,從而達到模擬真實環境。
啟動節點
查看節點信息
查看版本信息
鏈上功能
快速參數集群
主網集群
作為區塊鏈運轉的載體,所有的事情幾乎都要節點參與,網絡通信、邏輯運算、交易、數據驗證等,而區塊鏈一般是由多個節點組成協同工作,因此節點屬性及對節點的管理至關重要。在實際管理中,節點能由管理者操作加入或者退出區塊鏈網絡,而不影響業務的正常運行,以及擴容新增節點。
在節點相關驗證,主要包含了鏈部署時不同節點數量的情況下節點的運行情況檢查,創世文件啟動時不同的參數組合對鏈影響,如共識節點數量、治理參數配置、同步方式等,我們會根據不同的組合去驗證配置參數的合理性,同時節點本身具備了不同的啟動參數,在整個鏈運行的過程中需要對啟動參數的調整來驗證這些啟動命令的有效性以及對鏈的影響。
美司法部已扣押部分與FTX相關的Robinhood股份和Silvergate賬戶中約9300萬美元資金:1月5日消息,美國司法部律師Seth Shapiro在特拉華州虛擬法庭聽證會表示,美國聯邦政府已經或正在扣押一些可能與破產的FTX有關的資產,包括價值約4.5億美元的Robinhood的一些股票。他表示其中一項動議與Robinhood股份有關,聯邦政府也沒收了這些股份,我們認為這些資產不是破產財產中或受到豁免,這意味著它們不必像大多數FTX資產那樣被凍結以等待清盤,與此同時多家銀行的資產已被扣押,其中包括與FTX密切相關的Silvergate,美國聯邦法官 (Katharine Parker) 已下令沒收FTX Digital Markets在Silvergate賬戶中約9300萬美元資金。
美國司法部計劃提交一份扣押通知,以詳細披露政府持有的資產,被扣押的資產可能會面臨民事或刑事沒收程序。[2023/1/5 9:53:46]
同時還需要分別在單節點和集群模式下進行鏈上功能的驗證,確保在不同模式下PlatON經濟模型業務表示是一致的。
這個階段也是PlatON主要的測試內容,這個階段主要包含了對底層和業務層兩個方面。
底層
Giskard共識
正所謂「無共識,不區塊」,作為區塊鏈的核心屬性,「共識機制」決定了區塊鏈的安全性、 去中心化和可擴展性等重要性質,并且保證各共識節點對交易執行結果達成一致。
PlatON的Giskard共識協議由概率性權益證明PPoS(PlatON proof of stake)和Giskard拜占庭容錯協議-Giskard BFT(Giskard Byzantine Fault Tolerance) 組成。PPoS使用質押、委托、隨機選取的形式選出參與共識的驗證節點,Giskard BFT使用類BFT算法實現區塊的生產和驗證。
美國司法部組建檢察官網絡打擊加密貨幣犯罪:金色財經報道,美國司法部(DOJ)已經組建了一個檢察官網絡,以加強其在加密貨幣相關犯罪方面的工作。據官員們說,司法部已經從全國各地招募了150多名檢察官參與這項工作。這個新團隊被稱為數字資產協調人網絡。該網絡的目標是為美國律師事務所分配有關加密案件所帶來的困難技術和法律挑戰的主題專業知識,該網絡的成立緊隨拜登政府宣布與加密貨幣有關的法規框架之后。
司法部國家加密貨幣執法小組第一任主任Eun Young Choi表示,數字資產犯罪確實是多學科的。它們是跨境、復雜和具有挑戰性的調查,需要一定程度的能力。該網絡旨在就加密貨幣問題對其他司法官員進行培訓。這些官員包括在該部門的稅務、刑事、民事、國家安全和環境部門有經驗的人。[2022/9/16 7:02:08]
針對Giskard共識我們設計了相應的驗證場景來覆蓋PlatON共識模塊。
1. 從共識的不同階段我們來驗證每個階段共識
viewChange:對viewChange基本信息校驗同時包含viewChange發起、收到等場景組合來驗證正確性。
prepareBlock:對prepareBlock消息基本校驗同時窗口期內viewChangeQC后發起的不同狀態下的prepareBlock進行驗證。
prepareVote:對prepareVote消息基本校驗同時不同窗口期以及不同節點狀態下的prepareVote進行驗證。
VerifyQC:包含了viewChangQC和prepareQC,主要檢測不同簽名數量下場景驗證。
2. 模擬拜占庭場景下共識模塊的驗證
Giskard-非拜占庭場景:模擬參與節點在非拜占庭場景下共識模塊各個階段的驗證。
Giskard-拜占庭場景:模擬參與節點在拜占庭場景雙出、惡意等操作下共識模塊各個階段的驗證。
BRAVO READY宣布獲得Sino Global Capital戰略投資:金色財經報道,NFT游戲開發公司BRAVO READY宣布,Sino Global Capita l 已對該公司進行投資,金額為350萬美元。自完成第一輪融資以來,該公司已擴大其游戲開發團隊,以繼續構建 BR1:Infinite Royale 及其底層技術平臺。Sino Global Capital是一家國際加密原生風險投資公司,成立于 2015 年。Sino 團隊分布在北美、歐洲、非洲、MENA 和亞洲,專注于投資區塊鏈和數字資產項目。(businesswire)[2022/9/14 13:28:23]
3. 異常場景下共識模塊的驗證
Giskard-節點啟停:通過啟停節點、間隔啟停、節點恢復等操作來驗證共識模塊的完整性和連續性。
Giskard-消息丟失:模擬丟棄投票、prepareBlock等場景下驗證共識消息傳遞的有效性。
Giskard-容錯:通過構建超時、惡劣環境的運行穩定性場景來驗證共識的容錯性。
通過以上場景我們測試需要驗證的是,這種共識機制能否按預期算法完成從交易觸發到數據落塊,以及在容錯和容災范圍內依然正常工作。區塊鏈平臺上線前,對其使用的共識算法需要做嚴格的測試驗證,涉及功能、安全、易用性等各方面。
P2P網絡驗證
涉及到連接的地方主要有節點間P2P連接、節點與客戶端的連接,以及鏈下機構間通過鏈上節點進行通信。通常在環境條件正常時,以上連接都能順利進行,并且通過網絡連接命令和日志信息能查詢對應結果。而真正考驗連接的健壯性是在異常環境下系統的應對能力,以及環境恢復正常之后,連接能否也恢復正常。
從而我們需要考慮從以下幾個方向來驗證p2p網絡的安全性:
1. 節點數
Tornado Cash DAO緊急投票通過添加DAO治理作為財庫多簽者的提案:金色財經報道,Tornado Cash DAO社區已完成將DAO治理作為財庫多簽者的提案投票,共有12位參與者進行投票。該提案于周三提出,現已獲得全票通過。目前該財庫管理約2160萬美元,投票通過后,財庫需要六位多簽者之中的四位通過方可批準交易。?(The Block)[2022/8/12 12:21:52]
不同的節點數量組合,可以驗證網絡通信中消息傳遞所需要的時間是否滿足以及消息傳遞過程中是否出現遺漏和丟失。
2. 網絡流量
監控網絡流量,則是為了驗證在一個鏈運行過程中的各種業務功能和節點操作時,鏈上資源消耗情況是否能達到預期的要求,避免出現運行過程中異常流量的產生導致鏈出現無法共識的情況。
3. 節點發現
通過配置種子節點數、靜態節點數來驗證節點在互聯過程中靜態節點連接數限制,主動鏈接數限制、被動鏈接數限制是否生效,模擬在不同級別的數量節點配置情況下鏈的運行是否穩定。
發送到節點的交易,應當能同步到網絡中其他節點。不同的區塊鏈平臺,根據節點的類型、組網模式,會采用不同的同步邏輯。區塊同步涉及場景較多,新入網節點、進程停止一段時間在重啟、節點遭遇故障導致數據丟失等,都會觸發區塊同步邏輯,以及在沒有交易處理時,節點間也會保持狀態的同步,以上都涉及到很多的同步場景,在測試中需對每一個場景設計詳細、全面的驗證過程,包括一些場景的交叉測試。
區塊存儲驗證
區塊存儲功能的驗證主要還是穩定性和正確性,在落塊成功的基礎上還要保證節點之間數據都一致。
每個節點根據不同節點啟動策略部署的數據存儲的信息能有效且準確的保留信息,一般我們會根據啟動參數以及同步模式的不同采取fast或者full模式進行驗證,這時候我們需要考慮的是多交易在發送過程中記錄在本地的區塊信息是否有遺漏,同時在進行功能驗證的時候可采用混沌模型測試,各業務場景進行組合,驗證每個節點存儲穩定且數據正確。
業務層
經濟模型驗證
PlatON的經濟模型就是在鏈上進行各種會產生經濟活動的場景組合,所有參與到經濟活動的主體在互動時,都將伴隨著Token的變化,針對不同的經濟活動我們可以運用測試理論中的測試手段,如邊界值、等價類、因果法、場景構建等方法進行驗證,主要是活動主體的Token的數量進行校驗。
鎖倉
鎖倉創建
鎖倉質押委托
鎖倉回退
鎖倉結算
處罰通知....
Staking
createStaking (質押)
editCandidate (修改候選人信息)
increaseStaking (增持質押)
withdrewStaking (撤銷質押)
delegate (委托)
withdrewDelegate (撤銷委托)
withdrawDelegateReward (領取獎勵)
getVerifierList (查詢當前結算周期的驗證人列表)
ElectNextVerifierList (選舉下一個結算周期的驗證人列表)激勵 ……
激勵
發放質押獎勵
發放出塊獎勵
是否到達年末……
處罰
舉報雙簽
舉報雙出
查詢舉報信息
處罰規則……
在這個過程中,我們也會對節點排名、狀態、節點的收益進行驗證,針對不同的經濟活動場景進行有效的組合,其中包括了節點的狀態以及鏈的結算周期和共識周期的變化,根據不同的組合我們可以通過自動化的方式檢查活動主體的Token數量和狀態變化情況是否滿足設計要求,從而驗證了經濟模型的合理性和正確性。
治理模型驗證
PlatON治理模型主要是驗證PlatON進行鏈上治理時,鏈上節點參與投票的進行更新或者修復的一個過程,在這個過程中節點的選擇行為會影響到鏈上發展方向和鏈的一個狀態,如果節點對治理的內容有分歧則會出現不同的結果,治理升級的驗證主要是驗證治理前后鏈上數據的一致性和區塊的連續性。
提交提案
提交升級提案
提交文本提案
提交參數提案
提交取消提案 ……
投票
有效提案投票
無效提案投票
放棄投票
投票統計……
版本聲明
有效的提案聲明
無效提案聲明……
提案全流程
提交文本提案統計
提交取消提案……
通過不同的結算周期、共識周期、投票節點狀態的變化來驗證治理機制的正確性。同時為了滿足實際場景中的復雜運行環境,需要增加經濟活動的場景來豐富可能出現的異常情況,從而驗證整個治理模型的可靠性。
對于區塊鏈底層的測試,不僅僅是前端API與某個區塊鏈節點之間的測試,還涉及大量區塊鏈節點與節點之間的測試。所以,如果只是單一地去做某個特性的測試,比如連接或者同步,同樣條件,這次成功,下次可能就會失敗,因為區塊鏈是個分布式的系統軟件,一個節點的正常不代表整個系統正常。
測試過程也需要融入分布式思想,而不能停留在中心化軟件上。某個節點在同步,其他節點可能在共識,包括節點所在機器環境也可能隨時發生變化,在場景模擬的過程,需要將軟件、硬件以及區塊鏈自身操作進行各種組合驗證,區塊鏈的邊界比較模糊,而各種組合測試正好通過模擬現實運行的場景,讓系統盡可能運行在邊界處,就比如共識算法,多節點的網絡,讓其中部分正常運行,剩下的部分節點在正常的閾值內進程啟停,進行場景模擬會更容易發現一些邊界問題。所有場景模擬過程,持續運行測試,觀察資源的消耗情況,從而找到系統的盲點。
作為一個底層平臺,性能是一個很關鍵的指標,它決定了上層應用在高峰期能跑多少的業務量。一個系統中每個接口,每個功能特性都會涉及到性能,但并非都需要壓出其性能。對于區塊鏈來說,重點關注的是它處理交易的性能,從客戶端發起交易、簽名,到節點打包、共識,最后數據落盤,這一完整過程系統的性能。
任何一個性能數據背后都對應著軟件和硬件配置組合的結果,包括CPU、內存、磁盤、帶寬等硬件條件,以及壓測的合約類型、交易大小,節點組網模式等因素都會影響性能結果。理論上,代碼自己沒有邏輯錯誤,只要配置跟上,性能是可以無限的。但實際生產條件肯定有個上限,因此壓測的性能數據可以提供兩份,生產常用的硬件及軟件配置條件下的,和實驗室里高配的硬件和軟件時的性能數據。后續會再出一篇專門的性能文章,來講解PlatON性能是如何提升上去的。
合約編譯及支持
合約的使用和管理對區塊鏈是一個重要的評測標準。包括合約的部署方式是否簡便,即能提供哪些語言支持的客戶端或者中間件工具部署合約,以及發送交易。合約是否支持升級,升級后如何管理版本。除了合約本身的升級,區塊鏈節點升級后,已經部署的老合約也應當能繼續調用,兼容性都沒問題。
PlatON提供對應的編譯工具,為此我們也要對合約編譯工具及本身合約版本進行驗證,確保鏈上支持不同版本的合約語法。拿solidity語言來說,需要驗證提供的各種變量類型、語法表達式、控制接口等合約結構,在鏈上是否都能跑通,包括能否跨合約調用鏈上的內置合約功能。
區塊鏈系統涉及的安全包括很多方面,從連接到共識、從算法到隱私保護,都和安全息息相關,安全措施覆蓋得越全面,系統被攻擊的概率越低,運行越穩健。區塊鏈是由節點組成,而對于非法節點的加入,平臺是否提供了證書網絡準入機制或者黑白名單特性,解決非法連接和入網問題。鏈上大量的數據或者各種類型的表,需要提供權限管理機制給不同用戶授予不同操作權限,包括部署合約及發送交易。
原文標題:《ETH官方項目Swarm引爆市場 不了解的人虧了一個億 !》近段時間,業內有消息稱以太坊將推出以太坊自身的官方分布式存儲網絡項目.
1900/1/1 0:00:00自 2020 DeFi Summer 以來,加密行業對于去中心化金融的協議已經有了全新的探索,包括多鏈涌現、各式架構的金融協議、NFT 的 DeFi 化和 GameFi 化.
1900/1/1 0:00:00Illuvium 是一個基于以太坊構建的 RPG 和 NFT 收藏游戲,游戲的核心機制在于玩家通過打怪升級來捕獲野獸,并將其鑄造生成 NFT,然后放到交易市場中賣出獲利.
1900/1/1 0:00:00每秒處理50000筆交易,每筆交易費用不到0.01美元,憑借優越的性能,飛速發展的Solana在企業級采用性方面遙遙領先.
1900/1/1 0:00:00穩定幣的最基本形式是作為一種交換媒介,使得傳統的價值存儲(例如,法定貨幣)可以在整個加密經濟中使用.
1900/1/1 0:00:00第一節? Lido是以太坊社區選出來對抗CEX的質押池,肩負著ETH2.0去中心化的使命,如果Lido成為最大的質押池.
1900/1/1 0:00:00