Nyx Foundation開始開發以太坊次世代客戶端「Verity」
Nyx Foundation宣布開始開發支援「Lean Consensus」層的全新以太坊客戶端「Verity」。該客戶端以形式化驗證為核心，旨在應對抗量子計算機密碼（PQC）威脅，打造最安全的基礎設施。
📋 文章處理履歷
- 📰 發表: 2026年4月8日 00:35
- 🔍 收集: 2026年4月7日 16:00
- 🤖 AI分析完成: 2026年4月20日 19:45（收集後315小時45分鐘）
一般社團法人Nyx Foundation（東京都文京區，以下簡稱「Nyx」）宣布，已開始開發支援以太坊次世代共識層「Lean Consensus」的全新客戶端「Verity」。
隨著量子計算機的進步，全球正迎來密碼技術的世代交替（PQC轉型），而以太坊正處於這場變革的最前線。
在這樣的背景下，Nyx過去已在以太坊生態系中累積了豐富的實績：
- 使用Lean4語言對XMSS的部分命題進行形式化證明
- 在Fusaka升級審計競賽中，漏洞報告數量達世界第一（17件）
- 參與以太坊基金會主導的zkVM「Lean Multisig」開發
基於這些經驗，我們決定親手打造最安全的客戶端，那就是Verity。
Verity將形式化驗證（一種以數學證明軟體正確性的方法）視為核心，目標是實現「最安全的客戶端」。
我們的方法已獲得EF的PQC轉型團隊的肯定，並在巴黎舉行的ETH CC周邊活動上，由核心研究員Justin Drake的專題演講中進行了介紹。
## 密碼技術的轉捩點即將降臨於所有軟體
由於量子計算機的進步，目前廣泛使用的TLS與數位簽章等密碼技術在未來被破解的風險正變得越來越真實。這不僅僅是區塊鏈的問題，更是網路銀行、電子政府等所有數位系統的共同挑戰。
在日本國內，金融廳也於2026年3月啟動了「金融機構抗量子計算機密碼（PQC）轉型實證實驗」的企劃競爭，金融基礎設施的PQC轉型已開始啟動。
在所有系統中，以太坊是密碼技術世代交替進展最快的一個。
作為全球有數十萬節點運作的大型去中心化金融系統，以太坊已率先著手向抗量子密碼過渡。
在開源且公開的環境中，滿足高安全要求的同時翻新密碼基礎，這項創舉已超越了區塊鏈的範疇，成為廣泛探討軟體基礎設施安全時的重要先例。
Nyx計畫將在以太坊最前線獲得的知識，回饋並應用於強化日本金融機構與社會基礎設施的安全性。
## 為什麼Lean Consensus很重要
以太坊所推進的次世代協議「Lean Consensus」，不僅是正面迎擊上述威脅，更是一項償還過去技術債的宏大專案。
隨著量子計算機的進步，全球正迎來密碼技術的世代交替（PQC轉型），而以太坊正處於這場變革的最前線。
在這樣的背景下，Nyx過去已在以太坊生態系中累積了豐富的實績：
- 使用Lean4語言對XMSS的部分命題進行形式化證明
- 在Fusaka升級審計競賽中，漏洞報告數量達世界第一（17件）
- 參與以太坊基金會主導的zkVM「Lean Multisig」開發
基於這些經驗，我們決定親手打造最安全的客戶端，那就是Verity。
Verity將形式化驗證（一種以數學證明軟體正確性的方法）視為核心，目標是實現「最安全的客戶端」。
我們的方法已獲得EF的PQC轉型團隊的肯定，並在巴黎舉行的ETH CC周邊活動上，由核心研究員Justin Drake的專題演講中進行了介紹。
## 密碼技術的轉捩點即將降臨於所有軟體
由於量子計算機的進步，目前廣泛使用的TLS與數位簽章等密碼技術在未來被破解的風險正變得越來越真實。這不僅僅是區塊鏈的問題，更是網路銀行、電子政府等所有數位系統的共同挑戰。
在日本國內，金融廳也於2026年3月啟動了「金融機構抗量子計算機密碼（PQC）轉型實證實驗」的企劃競爭，金融基礎設施的PQC轉型已開始啟動。
在所有系統中，以太坊是密碼技術世代交替進展最快的一個。
作為全球有數十萬節點運作的大型去中心化金融系統，以太坊已率先著手向抗量子密碼過渡。
在開源且公開的環境中，滿足高安全要求的同時翻新密碼基礎，這項創舉已超越了區塊鏈的範疇，成為廣泛探討軟體基礎設施安全時的重要先例。
Nyx計畫將在以太坊最前線獲得的知識，回饋並應用於強化日本金融機構與社會基礎設施的安全性。
## 為什麼Lean Consensus很重要
以太坊所推進的次世代協議「Lean Consensus」，不僅是正面迎擊上述威脅，更是一項償還過去技術債的宏大專案。