精確定義 Web3 這個概念

我們將 Web3 定義為一種網路基礎設施/應用程式 (Infrastructure/Application)，其主要特徵是依賴於區塊鏈等去中心化協議。

1. 符號約定

• $I(x)$: $x$ 是一個網路基礎設施或應用程式。

• $Web3(x)$: $x$ 是一個 Web3 應用程式/系統。

• $D(x)$: $x$ 是去中心化的（無單點控制）。

• $T(x)$: $x$ 是信任消除的（無需第三方仲介）。

• $P(x)$: $x$ 基於公鑰密碼學（具備數位簽名）。

• $B(x)$: $x$ 運行在區塊鏈或類似的分散式帳本技術 (DLT) 上。

• $Own(u, d, x)$: 用戶 $u$ 對數位資產 $d$ 擁有所有權 $x$。

2. Web3 的核心形式邏輯定義

我們定義一個系統 $x$ 是 Web3 的組成部分，當且僅當 $x$ 是一個網路基礎設施/應用程式，並且它運行在一個去中心化和信任消除的系統上：

翻譯： 對於所有的 $x$，當且僅當 $x$ 是一個網路基礎設施/應用程式，並且 $x$ 運行在區塊鏈/DLT上，並且 $x$ 是去中心化的，並且 $x$ 是信任消除時，我們才稱 $x$ 是 Web3。

3. 包含所有權屬性的擴展定義

如果我們想包含 Web3 的關鍵社會經濟屬性——用戶對其數位資產的真正所有權：

$$ \forall x (Web3(x) \leftrightarrow [I(x) \land B(x) \land D(x) \land \forall u \forall d (Asset(d) \implies \exists Own(u, d, \text{“Exclusive Control”}))] )$$

翻譯： 對於所有的 $x$，當且僅當 $x$ 是一個網路基礎設施/應用程式，並且 $x$ 運行在區塊鏈/DLT上，並且 $x$ 是去中心化的，並且對於任何用戶 $u$ 和任何數位資產 $d$，都存在排他性控制權形式的所有權時，我們才稱 $x$ 是 Web3。