以太坊創辦人「V神」現身港Web3.0嘉年華　為區塊鏈兩大局限拆招

Web3.0嘉年華近日在港開幕，以太坊創辦者Vitalik Buterin現身兩場演講，1994年出生的他素被稱為「V神」。演講中，他提出當前加密貨幣協議涉及的局限性，認為當前技術，如ZK-SNARKs、MPC等存在效率低、安全性不足兩大問題，並提出解決方案。

當前加密貨幣驗證效率性低下

Vitalik Buterin指出，ZK-SNARKs、MPC、FHE等技術基於密碼學基礎，發展迅速，但是其效率與安全存在問題。就效率而言，以太坊時隙（slot）為12秒，普通區塊驗證時間約為400毫秒，ZK-SNARK的驗證時間則約為20分鐘。距離其目標「即時證明（real-time proving）還相距甚遠。

對於效率性的解決辦法，他提出可使用「並行化」與「聚合樹」（Parallelization + aggregation trees），通過SNARK算法以及ASIC進行ZK硬體加速。

憧憬AI可實現無Bug的世界　解決安全性問題

就安全問題，他就表示主要問題在於漏洞（bug）。人們會擔心電路缺陷，不願意將資料交給ZK-SNARKs。對於安全性的解決辦法，他提出當下人們利用安全委員會（security councils），在不久的未來相信可以使用多證明機制（multi-provers）應對，不過放眼更遠，相信可以用AI的形式性驗證（formal verification）。

他表示，過去AI也曾一度受到質疑與不信任，但其近來發展已經可以使人憧憬，未來的應用形式，他本人就對此興致盎然，稱如若AI真的得以實現無Bug的世界，可謂瘋狂。

對於聚合簽章（signature aggregation），Vitalik Buterin指出當前每個時隙（slot）約有3萬個簽章，需要高節點需求。期望目標是盡可能支援更多的驗證者，同時降低節點需求，採用相對簡單的協定。而根據理論限制，每位參與者每個時隙需要1 bit的數據，計算方面沒有下限限制。

議員邱達根：港可連接投資者與教授　冀續投資數字資產

立法會科技創新界議員邱達根同樣現身活動，他表示數字資產會成為香港未來投資的重要組成，未來連同立法的配合，將成為一個整體的計劃。他以會議為例，稱這裡不僅雲集了投資者，還包括科技、金融等領域的專家、教授，擁有全方位的整體團隊，並希望藉此活動吸引更多專家來港。