|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
類型檢查
什麼是類型檢查？
類型檢查通常由編譯器執行，以驗證所有操作是否已收到適當數量的參數和資料類型。有兩種類型的系統，分別是：
靜態型別檢查
在靜態類型檢查中，不需要執行程式來檢查它。編譯器在編譯時執行靜態型別檢查。
當程式中存在錯誤時，靜態類型檢查非常有用，因為可以在運行之前檢測到錯誤。它有助於提高可靠性和安全性。
靜態類型檢查的一個例子是 C 語言，在程式中使用變數之前必須先宣告變數。如果您不聲明它們，那麼編譯器將顯示錯誤，並且您將無法執行您的程式。
動態類型檢查
動態類型檢查直到運行時或執行時才會發生。動態類型檢查非常有用，因為它允許我們在不事先了解類型的情況下編寫程式。在我們只需要在運行時檢查類型的場景中。
最常見的類型檢查形式包括為電腦程式中的每個變數、參數和函數傳回值指派資料類型。根據指派給這些值的類型，允許進行適當的操作（例如，添加兩個整數變數以產生另一個整數或連接兩個字串以產生另一個字串）。類型檢查確保這些操作對於其預期目的是有效的。
在某些程式語言（例如 C）中，類型檢查由編譯器執行；在其他情況下（例如 PHP），它可以推遲到運行時（在這種情況下，它可以稱為動態類型檢查）。
某些語言允許程式設計師定義新類型，以便他們的程式可以在演算法中使用這些類型。其他語言允許程式設計師在執行時將任意屬性與值關聯。
許多語言都涉及這兩種方法；例如，Java 提供預定義類型並允許程式設計師建立新類別或擴展現有類別（即定義新類型）。某些語言（例如 Perl 和 Python）也執行類型推斷，並且不需要任何類型聲明。
|
可信任執行環境 (TEE)
可信任執行環境 (TEE) 是主處理器內的安全區域，提供受保護的空間，敏感程式碼和資料可以在其中運行，而不必擔心外界的篡改或觀察。 |
|
人類鑰匙
人類金鑰是從您的身分、您的知識或您擁有的東西衍生出來的加密金鑰。它們用於保護數位資產、保護隱私和訪問去中心化網路。 |
|
開放金融（OpenFi）
OpenFi是「開放金融」的縮寫，是一個將傳統金融（TradFi）與去中心化金融（DeFi）結合的金融框架。 |
|
匯總即服務 (RaaS)
匯總即服務 (RaaS) 允許建構者快速建立和啟動自己的匯總。 RaaS 供應商提供端對端解決方案，例如底層技術堆疊的客製化、無程式碼管理以及與核心基礎架構的一鍵客製化整合。 |
|
數據可用性採樣 (DAS)
資料可用性採樣（DAS）是一種使去中心化應用程式能夠驗證區塊資料的可用性的方法，而不需要每個參與者下載整個資料集。 |
|
多種數據可用性 (MultiDA)
這個區塊鏈架構使用多個資料可用性（DA）服務來確保資料冗餘。 |