打造更安全、去中心化和協作的互聯網！GOSIM CHINA 2024《下一代互聯網》重磅嘉賓揭曉

10月15日 18:14 新浪網 news-china-auto-hilite

10 月 17 – 18日，由 GOSIM 開源創新彙主辦、CSDN 承辦的 GOSIM CHINA 2024 將在北京盛大啟幕。作為 GOSIM 開源年度大會的第三屆盛會，本次活動邀請了 60 多位國際開源專家，彙聚了來自全球百餘家頂尖科技企業、知名高校及開源社區的技術大咖、項目負責人和生態領袖。預計將有 1000 + 開發者和開源人才齊聚北京，共議全球開源技術的創新與應用新趨勢。

GOSIM CHINA 2024 以國際化、社區化、強互動為特色，主題圍繞 AI 模型與基礎設施、具身智能、下一代互聯網、下一代媒體與終端、Rust 編程語言、App 開發等 6 大熱點技術，共組織了 1 場 Keynote 、6 大主題論壇、9 場 workshop 、2 場黑客馬拉松大賽……聚焦技術發展前沿趨勢，探索開源技術的應用與創新。

《下一代互聯網》論壇邀請到 Good Robot 創始人 Alan Majer、上海開源信息技術協會創始人張國鋒、牛津大學計算機科學系博士研究員趙睿、Second State創始人、WasmEdge 創始人兼維護者 Michael Yuan、Salvo 與 Palpo 開源項目維護者楊學成、中山大學副教授黃華威、Futurewei 首席架構師 Kevin Boos 等多位嘉賓圍繞數字內容的生產與互動展開探討，探討如何建設更安全、去中心化和協作的未來網絡。精彩內容不止如此，點擊閱讀全文報名，期待您的到來！

《下一代互聯網》專場，精彩議題搶先看

互聯網極大地改變了我們的工作和生活方式，重塑對網絡應用、身份和全球協作的認知。網絡基礎設施、網絡安全、新型互聯網領域、人工智能和自動化、內容分發與計算架構等都是下一代互聯網發展的關鍵領域。本分論壇將圍繞上述領域揭曉正在建設中的關鍵創新。活動議題：

像消息傳遞和社交網絡這樣的去中心化應用，增強了個人控制和隱私，通過具有改進的數據保護的去中心化人工智能社區賦予用戶權力；
為最佳性能、安全性和可嵌入性而設計的開源瀏覽器，引領基於瀏覽器的應用程序（包括小程序）的未來；
TSP 和 GAN 標準，在互聯網範圍內為下一代信任設計奠定基礎；
開源實現去中心化協議和應用的的關鍵作用，這對於將新的互聯網標準變為現實至關重要。

打造更安全、去中心化和協作的互聯網

去中心化技術和下一代平台

Good Robot創始人：Alan Majer

Alan Majer 是 Good Robot 的創始人（目前正在與 Linux 基金會合作一個項目）。在職業生涯的前半段，Alan 擔任技術研究員和撰稿人，幫助識別前沿技術和商業創新。如今直接參與技術工作，探索人工智能、機器人技術和沉浸式體驗的潛力。他是本地「創客」圈的活躍成員，常常光顧 HackLab.TO 和 InterAccess 等空間。他已申請了專利，並擁有麥吉爾大學的 MBA 學位。

議題簡介：數字體驗在很大程度上以集中式平台為媒介。這些佔主導地位的平檯面臨著去中心化構件、人工智能和算法的顛覆——這為我們在開放的基礎上重建平台、奪回數據和體驗的控制權提供了新的機遇。本演講將分享對 23 位致力於開放未來的人士進行研究訪談後得出的見解。

建設以用戶為中心的互聯網

牛津大學計算機科學系博士研究員：趙睿

牛津大學計算機科學系的博士後研究員。他參與由 Nigel Shadbolt 爵士和 Tim Berners-Lee 爵士領導的 EWADA 項目（人工智能時代的倫理網絡與數據架構項目），主要研究集中在以下兩方面：一是用戶自主性與隱私保護計算之間的關係，二是通過正式的數據使用條款促進去中心化多方利益相關者背景下的數據治理。在加入牛津大學之前，他於 2022 年在愛丁堡大學獲得博士學位，導師 Malcolm Atkinson 教授，的博士研究專注於在去中心化研究環境（電子科學）中數據使用政策（或數據治理規則）的形式化建模與自動推理。他還於 2017 年在愛丁堡大學獲得碩士學位，並於 2016 年從西北農林科技大學獲得學士學位。

議題簡介：互聯網越來越多地集中在少數幾個大平台上，導致了許多忽視或損害用戶利益的問題。近年來，人們更加關注以用戶為中心的去中心化架構。在本講座中，我將簡要回顧不同的思路，並重點介紹網絡發明人蒂姆-伯諾斯-李提出的一種方法–Solid（社會關聯數據），以重新分散網絡。我將介紹它的主要原則、目前提供的內容，以及（我們團隊）為擴展其邊界所做的探索。最後，我將提出對「穩固」的展望和相應的開放性問題，以激勵未來的發展。

Palpo社交服務器：支持Matrix協議的自託管社交服務器

Salvo與Palpo開源項目維護者：楊學成

開源愛好者，目前正在開發和維護以下開源項目：salvo: 一個簡單易用的Rust語言Web服務器框架。palpo: 一個用Rust實現的Matrix服務器項目。

議題簡介：Rust 實現的個人云部署的開源的 Matrix 服務器。

從區塊鏈到Web3：構建去中心化網絡

中山大學副教授：黃華威

黃華威是中山大學的一名副教授，他的研究興趣主要集中在區塊鏈基礎設施、共識協議和 DeFi 協議上。他的研究小組網站為：http://xintelligence.pro

議題簡介：可擴展性已成為區塊鏈底層的一個關鍵研究方向。學術界提出了多種代表性解決方案以改善區塊鏈的可擴展性，如有向無環圖技術、分片技術、新共識機制、狀態通道、側鏈和跨鏈等。其中，分片技術被認為是一種具有巨大潛力的第一級擴展解決方案，可以顯著提高區塊鏈的可擴展性。本文首先整理了區塊鏈分片技術的研究現狀，然後介紹了黃教授研究團隊基於分片區塊鏈構建的新 DeFi 協議——BrokerFi。

Robrix：純Rust構建的多平台Matrix客戶端及其功能

Futurewei首席架構師：Kevin Boos

Futurewei 的軟件架構師，同時也是 Project Robius 的技術負責人。Project Robius 是一個開源的 Rust 框架，旨在使用 Rust 開發沉浸式、功能全面的應用程序，這些應用程序能夠無縫運行在多個平台上，包括移動設備。在此之前，Kevin 創建了 Theseus OS，這是一個從零開始用 Rust 編寫的開源操作系統。Theseus OS 重新思考了操作系統的結構和實現策略，特別強調利用語言機制實現編譯時的安全性和可驗證的正確性。Kevin 在 Rice 大學獲得了博士學位，研究方向為操作系統設計，其他興趣領域還包括 I/O 虛擬化、設備驅動、移動 VR、靜態分析和安全語言等。

議題簡介：Robrix 是一個新的 Matrix 聊天客戶端，旨在成為聯邦服務的中心樞紐。通過基於 Robius 應用開發框架和 Makepad UI 工具包構建，Robrix 能夠在多個平台（包括移動設備）上無縫運行，無需編寫特定於平台的代碼。這不僅提高了開發效率，還確保了用戶在不同設備間獲得一致的使用體驗。Robrix 的設計理念是促進開放通信，同時提供高度可定製的界面和強大的功能集，以滿足不同用戶群體的需求。

web3開發新範式與案例分析

Flomesh 聯合創始人：蔡書

議題簡介：隨著人工智能的發展，大型語言模型（LLM）在各個行業的應用日益廣泛，但模型文件的集中化分發方式仍面臨著基礎設施成本高、訪問受限等問題。Moxin 通過去中心化的分發模型文件的方式，專注於模型文件的高效、安全傳輸，旨在解決這些挑戰。

壓縮無處不在：Rust中的即插即用式壓縮

Trifecta Tech基金會系統軟件工程師：Folkert de Vries

在 Tweede Golf，Folkert 主要從事在關鍵基礎設施中使用 Rust 的工作，例如時間同步、安全通信和數據壓縮。他喜歡研究編譯器和優化程序性能。

議題簡介：在網絡上加載幾乎所有內容時都會用到數據壓縮。本講座將介紹我們如何在 rust 中實現 zlib-rs 和其他壓縮算法，使其與 C 語言的相應算法兼容。

The Global Acceptance Network:

大規模實施去中心化數字信任基礎設施

Gen信任服務總監：Drummond Reed

Drummond 在互聯網身份、安全、隱私和信任基礎設施領域擁有超過四分之一個世紀的經驗。目前，他是 Gen（原 Avast）的信任服務總監，此前該公司收購了 Evernym，他在 Evernym 擔任首席信任官。Drummond 是《自主主權身份》（Self-Sovereign Identity，Manning Publications, 2021）一書的共同作者，同時也是 W3C 去中心化標識符（Decentralized Identifiers, DID）1.0 規範的共同編輯。他還是 OpenWallet 基金會和 Trust Over IP（ToIP）基金會的創始董事會成員，在 ToIP 基金會中，他擔任技術棧工作組和概念術語工作組的共同主席。2002 年，他獲得了來自 Digital ID World 的數字身份先驅獎；2013 年，他被評為 OASIS 傑出貢獻者。

議題簡介：The Global Acceptance Network（GAN）是互聯網數字公共基礎設施的新一層，某種程度上類似於目前互聯網的域名系統（DNS）。GAN 將使個人、組織和「事物」（如設備、軟件、AI 機器人）能夠使用開放標準的數字錢包、數字憑證和信任註冊表來建立和維護可持續的數字信任關係。這一新設施旨在解決互聯網當前存在的諸多問題，包括垃圾郵件、網絡釣魚、欺詐、惡意軟件、勒索軟件以及其他長期存在的安全、隱私和信任問題，這些問題之所以出現是因為互聯網最初的設計中並未包含信任層。通過引入 GAN，旨在為用戶提供更加安全、可信的網絡環境，促進數字經濟和社會的健康發展。

信任跨越協議及其在實現真實AI中的作用

Futurewei技術戰略高級總監：Wenjing Chu

Wenjing 是 Futurewei Technologies, Inc.的技術戰略高級總監，負責可信互聯網和 AGI 代理的新技術開發。他是開源和標準領域備受追捧的思想領袖，也是 OpenWallet Foundation (OWF)的創始董事會成員和技術諮詢委員會(TAC)成員。OpenWallet Foundation 的使命是推動開放、安全、互操作的數字錢包解決方案的全球採用。他還是 Linux 基金會去中心化信任基金會(LF Decentralized Trust Foundation)下的 Trust of IP (ToIP)指導委員會成員，在此擔任信任跨度協議(TSP)規範和技術架構規範的主要作者。溫靜也是內容真實性和來源聯盟(C2PA)和萬維網聯盟(W3C)的貢獻者。在此之前，他曾擔任 Linux 基金會網絡基金會和邊緣計算基金會的領導職務。在其職業生涯中，溫靜在幾家成功的矽谷初創企業中擔任連續創業者和技術革新者。

議題簡介：缺乏真實性問題是當今互聯網的一大頑疾。試想一個充斥著我們無法信任、更不用說控制的 AGI 代理的世界！現在是時候為 AI和互聯網的未來奠定堅實的信任基礎了。沒有一個能夠讓人們、組織和社會在技術和人性層面建立信任與控制的框架，AI 的廣泛應用將無從談起。在本次演講中，本議題將介紹圍繞信任跨越協議（TSP）的前沿信息真實性技術，以及它在內容生成、推理和自主代理等領域實現真實AI方面所起的關鍵作用。

Wasm作為API優先和代理互聯網的通用運行時

Second State創始人、WasmEdge創始人兼維護者：Michael Yuan

WasmEdge 運行時項目的創始人和維護者。乙態科技的創始人，6本書的作者。

議題簡介：Wasm 已成為一種跨平台、硬件可移植且與語言無關的通用運行時環境。它可以作為小部件或擴展嵌入到許多不同類型的應用程序或 SaaS 中。在本次演講中，我們將討論 Wasm 在編程下一代互聯網方面的常見用例，包括無服務器功能、工作流程自動化、web3 智能合同到 AI 代理。

WebAssembly組件是什麼及為何使用

Wasmtime核心貢獻者：Alex Crichton

他是一名 Rust 團隊的老成員，曾經參與了包括 Core、Cargo、Libs 等多個團隊的工作。在 Rust 於 2015 年發佈 1.0 版本之前就開始為其做貢獻，並在此後的幾年里持續貢獻。如今把注意力轉向了 WebAssembly，並主要在 Wasmtime 項目上工作，這是一個瀏覽器外的 WebAssembly 引擎。還幫助維護 Rust 與 WebAssembly 的集成及相關目標。

議題簡介：WebAssembly 組件，作為 WebAssembly 組件模型提案的一部分，承諾提供一個既能在瀏覽器內也能在瀏覽器外開發可移植和可組合應用程序的框架。組件保留了 WebAssembly 最優秀的特性，如其可移植性、安全性和性能，同時還將高級 API 設計和組合性的優勢帶給了應用程序。來瞭解組件模型以及它可能為您帶來的好處吧！

開源教育在下一代互聯網（NGI）中的作用

上海開源信息技術協會創始人：張國鋒

上海開源信息技術協會創始人，並擔任上海對外經貿大學開源創新與數字治理研究院院長。他自2013年開始在經濟、管理和法律學院從事開源教育工作，於2018年發起了上海開源信息技術協會的成立，2023年推動了開源創新與數字治理微專業的建設（共計11門課程），目前正推動數字經濟碩士（開源方向）的建設。

議題簡介：介紹經管法卡奧校開源人才培養。

瀏覽器的定製與思考

珠海獨角獸科技有限公司CEO：王斌

議題簡介：探索構建小巧的瀏覽器內核。

使用（非）形式化方法在Servo中解決併發問題

Servo技術指導委員會成員：Gregory Terzian

自 2016 以來，他一直為 Servo 項目做出貢獻。2019 年成為項目的評審員，並自 2020 年起成為技術指導委員會的創始成員之一。工作重點是腳本組件以及 Servo 的整體架構。

議題簡介：Servo 是一個 Web 引擎，其中一個目標是實現並行處理，這帶來了與併發相關的一系列挑戰，而這些挑戰是 Rust 編譯器本身無法完全覆蓋的。TLA+ 是一種用於建模併發算法的數學語言，使其成為提高 Servo 正確性的有力工具。在本次演講中，我們將討論最近的實際應用案例，展示 TLA+如何幫助解決 Servo 中的併發問題，提升系統的穩定性和性能。通過這些案例，聽眾將瞭解到如何利用形式化方法在複雜的軟件項目中確保邏輯的正確性。

告別WebSockets與WebRTC！

以Rust、QUIC、WebTransport 和 H湯臣P/3 提升網絡通信