A.1
Havenlon
Havenlon
Havenlon 是一套面向高風險數位執行場景的硬體強制執行控制基礎設施。
Havenlon 是一套面向高風險數位執行場景的硬體強制執行控制基礎設施。它把執行權從軟體、人員、AI Agent 與 SaaS 後台中拆分出來,放入分層約束、硬體信任邊界與可驗證的證據鏈之中。
核心表達
在執行發生之前約束執行,在執行完成之後證明執行。
用於理解執行控制、分層不信任與可驗證證據鏈的統一語言。
A
A.1
Havenlon
Havenlon 是一套面向高風險數位執行場景的硬體強制執行控制基礎設施。
Havenlon 是一套面向高風險數位執行場景的硬體強制執行控制基礎設施。它把執行權從軟體、人員、AI Agent 與 SaaS 後台中拆分出來,放入分層約束、硬體信任邊界與可驗證的證據鏈之中。
核心表達
在執行發生之前約束執行,在執行完成之後證明執行。
A.2
分層不信任架構
這是 Havenlon 的核心安全哲學。
這是 Havenlon 的核心安全哲學。它不預設任何單一層永遠可信,因此把身份、授權、策略、執行與證據拆分到彼此獨立的信任邊界中。
核心表達
任何單一層失效,都不應單獨造成災難性的執行結果。
A.3
執行控制層
這是 Havenlon 的核心能力層,負責在關鍵動作真正發生之前,判斷它是否應被允許執行。
這是 Havenlon 的核心能力層,負責在關鍵動作真正發生之前,判斷它是否應被允許執行。它會檢查發起來源、批准流程、策略符合性、風險觸發與最終執行資格。
核心表達
這個動作是否應被允許執行?
A.4
執行證明層
這一層負責說明關鍵執行究竟如何發生。
這一層負責說明關鍵執行究竟如何發生。它關注的不是只有能不能執行,而是執行之後能否還原、驗證並審計整條路徑。
核心表達
執行前有控制,執行後有證明。
A.5
Havenlon 執行證據鏈
這是支撐關鍵執行的證據系統,將發起、授權、策略判斷與最終執行串成一條可追溯、可驗證、可追責的路徑。
這是支撐關鍵執行的證據系統,將發起、授權、策略判斷與最終執行串成一條可追溯、可驗證、可追責的路徑。
核心表達
SaaS 負責保存紀錄,設備負責證明紀錄,Intent 負責串起整條證據鏈。
A.6
IntentHash
IntentHash 是關鍵動作的證據錨點,用來把請求、批准、策略判斷與執行紀錄對齊到同一個執行意圖上,讓整條路徑能被追溯與驗證。
IntentHash 是關鍵動作的證據錨點,用來把請求、批准、策略判斷與執行紀錄對齊到同一個執行意圖上,讓整條路徑能被追溯與驗證。
核心表達
沒有 IntentHash,就沒有完整的關鍵執行證據。
A.7
執行意圖
執行意圖代表一項可能產生外部結果的高風險動作提案,例如轉帳、簽名、交易廣播、API 執行、支付提交、設備控制或運維操作。
執行意圖代表一項可能產生外部結果的高風險動作提案,例如轉帳、簽名、交易廣播、API 執行、支付提交、設備控制或運維操作。它是提案,不是最終執行本身。
核心表達
Intent 是提案,不是最終執行。
A.8
治理意圖
治理意圖代表對系統治理狀態的變更。
治理意圖代表對系統治理狀態的變更。它未必直接移轉資產,但會改變誰能執行、誰能批准,以及執行應如何被控制。
核心表達
改變誰能執行,本身就是高風險執行。
A.9
雙階段簽名提交
這是一種避免外部系統直接改變執行事實的機制。
這是一種避免外部系統直接改變執行事實的機制。第一步是提出提案,第二步則是在受控邊界內完成簽名確認。
核心表達
外部系統可以提出請求,設備側確認之後才會成為真實生效的執行。
A.10
簽名確認路徑
這是雙階段簽名提交真正發生效力的執行路徑。
這是雙階段簽名提交真正發生效力的執行路徑。關鍵變更不會因為 SaaS 資料改動就直接生效,而必須進入設備信任邊界中的受控確認流程。
核心表達
外部系統只能提出請求,只有設備信任邊界可以確認,只有簽名確認才能改變真實的執行狀態。
A.11
證據存儲
證據存儲是關鍵設備內部的本地證據緩衝區。
證據存儲是關鍵設備內部的本地證據緩衝區。它不是無上限的日誌資料庫,而是在需要時保留關鍵執行證據,供後續同步與驗證使用。
核心表達
先在本地保存關鍵證據,再於需要時完成同步與驗證。
A.12
證據回壓機制
當關鍵證據無法可靠產生或同步時,高風險執行不應無限制持續。
當關鍵證據無法可靠產生或同步時,高風險執行不應無限制持續。若證據完整性長時間無法維持,系統就應降低或停止高風險執行能力。
核心表達
沒有簽名證據,就不應有關鍵執行;證據長期不同步,也不能無限制持續執行。
A.13
SaaS 協同平面
SaaS 是 Havenlon 中的協同層,負責流程協作、使用者體驗、通知、狀態呈現、證據歸檔與業務整合,但它不是最終的信任根。
SaaS 是 Havenlon 中的協同層,負責流程協作、使用者體驗、通知、狀態呈現、證據歸檔與業務整合,但它不是最終的信任根。
核心表達
SaaS 負責協同流程,但不掌握最終的執行事實。
A.14
Hub 治理狀態
Hub 治理狀態是由設備側持有的治理狀態,用來定義誰能執行、誰能批准,以及哪些規則生效。
Hub 治理狀態是由設備側持有的治理狀態,用來定義誰能執行、誰能批准,以及哪些規則生效。SaaS 可以顯示它,但真正有效的治理狀態必須由設備側邊界承認。
核心表達
SaaS 不是執行事實的來源,設備持有的治理狀態才是。
A.15
設備信任邊界
設備信任邊界是 Havenlon 的實體信任邊界。
設備信任邊界是 Havenlon 的實體信任邊界。關鍵執行與治理變更必須在這個邊界內完成確認,而不是依賴平台側的預設可信。
核心表達
關鍵執行必須進入設備信任邊界,才會成為真實生效的執行。
B
B.1
Enigma Hub
Enigma Hub 是 Havenlon 的治理與仲裁核心,負責策略、批准、路由、風險控制、設備狀態、治理狀態與執行前判斷,並作為客戶側的真實治理核心存在。
Enigma Hub 是 Havenlon 的治理與仲裁核心,負責策略、批准、路由、風險控制、設備狀態、治理狀態與執行前判斷,並作為客戶側的真實治理核心存在。
核心表達
它不是 SaaS 的被動延伸,而是客戶側真正的治理核心。
B.2
Enigma Pass Key
Enigma Pass Key 是身份發起裝置,用來證明是誰在發起關鍵請求。
Enigma Pass Key 是身份發起裝置,用來證明是誰在發起關鍵請求。但身份發起不等於授權,也無法單獨完成最終執行。
核心表達
它負責證明誰發起了請求,而不是決定請求最終是否被允許。
B.3
Enigma Auth Key
Enigma Auth Key 是授權確認裝置,用來證明是誰批准了關鍵動作,也可參與轉帳、合約呼叫、治理變更、策略更新與設備綁定等確認流程。
Enigma Auth Key 是授權確認裝置,用來證明是誰批准了關鍵動作,也可參與轉帳、合約呼叫、治理變更、策略更新與設備綁定等確認流程。
核心表達
它可以參與授權確認,但不能繞過策略,也不能單獨完成最終執行。
B.4
Enigma Executor
Enigma Executor 是面向現實業務系統的硬體封裝執行端,目的是把原本容易暴露的憑證,例如 API Key、證書、支付憑證與運維密鑰,轉化為受控執行能力。
Enigma Executor 是面向現實業務系統的硬體封裝執行端,目的是把原本容易暴露的憑證,例如 API Key、證書、支付憑證與運維密鑰,轉化為受控執行能力。
核心表達
Enigma Executor 把暴露憑證轉變為受控執行。
B.5
安全執行模組
安全執行模組是最終的安全執行邊界,負責最終簽名、密鑰使用、安全執行與執行證明,且不直接暴露給 App、SaaS 或一般軟體層。
安全執行模組是最終的安全執行邊界,負責最終簽名、密鑰使用、安全執行與執行證明,且不直接暴露給 App、SaaS 或一般軟體層。
核心表達
最終安全執行必須發生在受保護的邊界內,而不是一般軟體層中。
B.6
仲裁模組
Arbiter 是 Havenlon 硬體體系中的仲裁模組,參與策略判斷、請求過濾、執行路由、風險檢查,以及對安全執行的受控存取。
Arbiter 是 Havenlon 硬體體系中的仲裁模組,參與策略判斷、請求過濾、執行路由、風險檢查,以及對安全執行的受控存取。
核心表達
它負責仲裁執行存取,但不應成為最終密鑰持有者,也不能繞過安全執行邊界。
C
C.1
App 操作證據日誌
App 操作證據日誌記錄使用者在應用入口看到了什麼、做了什麼、提交了什麼。
App 操作證據日誌記錄使用者在應用入口看到了什麼、做了什麼、提交了什麼。它屬於入口層證據,而不是最終執行證明。
核心表達
入口證據很重要,但它不是最終執行證明。
C.2
業務意圖日誌
業務意圖日誌記錄使用者自己的業務系統提交了什麼執行意圖。
業務意圖日誌記錄使用者自己的業務系統提交了什麼執行意圖。業務系統負責發起意圖,而 Havenlon 負責控制它是否能執行,以及應如何執行。
核心表達
業務系統發起意圖,Havenlon 控制執行路徑。
C.3
身份發起證據日誌
身份發起證據日誌用來證明是哪一個身份,透過哪一把 Pass Key,發起了特定意圖。
身份發起證據日誌用來證明是哪一個身份,透過哪一把 Pass Key,發起了特定意圖。
核心表達
它負責證明是誰發起了特定意圖。
C.4
授權確認證據日誌
授權確認證據日誌用來證明是哪一個授權方,對特定意圖做出了批准或拒絕。
授權確認證據日誌用來證明是哪一個授權方,對特定意圖做出了批准或拒絕。
核心表達
它負責證明是誰批准或拒絕了該意圖。
C.5
Hub 仲裁證據日誌
Hub 仲裁證據日誌用來證明 Hub 如何依據當時適用的策略與風險規則,判斷某個關鍵意圖。
Hub 仲裁證據日誌用來證明 Hub 如何依據當時適用的策略與風險規則,判斷某個關鍵意圖。
核心表達
它負責證明 Hub 是如何做出判斷的。
C.6
執行器證據日誌
執行器證據日誌用來證明現實世界中的執行動作是否真的發生,例如 API 執行、簽名、加密、支付提交或設備控制。
執行器證據日誌用來證明現實世界中的執行動作是否真的發生,例如 API 執行、簽名、加密、支付提交或設備控制。
核心表達
它負責證明現實世界中的動作是否真的發生。
C.7
安全執行日誌
安全執行日誌用來證明最終安全執行是否在安全執行邊界內完成。
安全執行日誌用來證明最終安全執行是否在安全執行邊界內完成。它是最重要的最終執行證據之一。
核心表達
它負責證明最終安全執行確實發生在邊界之內。
C.8
SaaS 證據歸檔
SaaS 證據歸檔負責保存、展示、查詢、導出與審計證據紀錄。
SaaS 證據歸檔負責保存、展示、查詢、導出與審計證據紀錄。它管理的是證據的可見性與可用性,但證據事實仍需由設備側確認來證明。
核心表達
SaaS 可以歸檔證據,但證據仍需由設備側來證明。
D
D.1
核心原則
這是一組用來概括 Havenlon 公開立場的原則短句,說明它如何看待安全、信任、執行控制、證據,以及設備側確認的重要性。
這是一組用來概括 Havenlon 公開立場的原則短句,說明它如何看待安全、信任、執行控制、證據,以及設備側確認的重要性。
核心表達
沒有任何系統是百分之百安全的。Havenlon 假設每一層都有可能失效。信任不是預設存在,而是必須在分層邊界中被約束、驗證並強制執行。沒有證據的執行,本質上仍只是信任;具備簽名證據的執行,才會成為可追責的系統。SaaS 負責保存紀錄,設備負責證明紀錄,Intent 串起整條證據鏈。執行前有控制,執行後有證明。