Anaxi Labs 與卡內基梅隆大學的網絡安全和隱私研究所 CyLab合作，宣佈推出一個革命性的密碼學編譯器框架，解決了一個長期困擾業界的難題——構建可擴展的零知識應用需要在基本層面做出取捨。在此之前，可擴展、加密安全和去中心化應用這三個特性被認為是不可能同時實現的，這也是阻礙大規模應用的壁壘——直到現在。

無需取捨的密碼學突破

以太坊等區塊鏈被譽為去中心化基礎設施的未來，零知識（ZK）技術更是被認為能將以太坊的安全性和可擴展性提升至超過每秒 120 筆交易。但現實卻大不相同。開發零知識證明既複雜又耗時，需要數十名開發者投入數千小時。為了優化證明生成速度，往往需要手動設計協議，而手動編碼和數萬行代碼則帶來了重大的安全隱患。這使得創建安全性敏感的去中心化應用變得複雜，也讓審計和合規變成了噩夢——這些都阻礙了該技術在金融、醫療保健和人工智能等受監管行業的廣泛應用。

卡內基梅隆大學的研究團隊正在與 Anaxi Labs 合作克服這一難題

卡內基梅隆大學最新發表的論文提出了一種革命性的方法，能夠將高級軟件自動編譯並簡化為底層證明系統所需的更簡單形式（低級表示）。這一過程完全自動化、可重複且可審計，消除了手動工作，大幅提升性能的同時還能在密碼學層面確保過程的安全性。該成果通過分析高級程序，將程序分解成小型、不可分割的單元，然後從每個單元創建可以輕鬆輸入各種證明系統的低級表示來實現。

卡內基梅隆大學電氣與計算機工程系助理教授 Riad Wahby 表示："以這種自動化的方式將計算分解成非常具體的塊來替代 CPU 是一種全新的方法，這也是首次有人嘗試這種避免完整程序表示的編譯器方法。我們對此感到非常興奮。"

開啟新型去中心化應用

這項研究以及 Anaxi Labs 基於研究打造的框架將徹底改變 Web3 及其他領域的行業格局。在傳統和受監管的金融領域，在保持可審計性的同時提升性能使得銀行間轉賬的實時結算（如即時美元支付）成為可能。在醫療保健領域，在 23andMe 面臨挑戰的背景下，Anaxi Labs 正在開發的產品所支持的安全且保護隱私的加密工具，現在可以通過確保個人對自己 DNA 的合法所有權來解決關鍵問題，同時支持有價值的研究。在企業級人工智能和關鍵物理基礎設施領域，需要高可用性和接近零延遲的去中心化解決方案（如跨多個數據和計算資源的快速微調和推理）也成為現實。

就近期而言，基於該研究的產品為正在應對可擴展性、安全性和去中心化權衡問題的 Web3 企業提供了最有效的解決方案，為 rollups 和互操作性產品提供了新的設計範式。

Anaxi Labs 聯合創始人 Kate Shen 表示："這項研究以及我們正在構建的整合了該研究成果的產品，將對當今許多需要可審計的解決方案來應對大量性能瓶頸的重要行業應用產生深遠影響，例如 ZK 和 EVM，最終讓我們離實現具有實時結算能力的加密安全去中心化共識的願景更進一步。"

Shen 補充道："我們也很欣賞此項研究的跨語言能力，這意味著各種項目無需修改代碼就能受益。這使我們能夠構建一個開放、協作的框架，而不是採用當今日益靜態、單體的方法。這使所有開發者都能自動選擇和組合最新證明系統的優勢，如查表、協處理器和硬件加速，最大限度地提升每個計算方式帶來的性能收益。"

Anaxi Labs 與 CyLab：改變遊戲規則的合作

卡內基梅隆大學的 CyLab 一直是區塊鏈開發（包括零知識技術）前沿研究的中心。CyLab 的著名教授研究人員包括 Bryan Parno，他是零知識技術發展史上的重要貢獻者，其實驗室產出了廣受引用的 Nova 論文系列；以及助理教授 Riad Wahby，他的研究成果催生了實現以太坊基金會願景的新型密碼技術（最近還有 Andreessen Horowitz 加密部門 a16z crypto 開創性的 Jolt zkVM 實現）。

這個編譯器框架的研究成果來自 Anaxi Labs 與 CyLab 通過 CMU 安全區塊鏈計劃建立的共生合作伙伴關係中的第二個研究項目。這種合作使卡內基梅隆大學的學者能夠與 Anaxi Labs 合作，從他們在 Web3 和 Web 2.0 應用中的區塊鏈研究商業部署中獲得見解並學習。它使他們能夠為區塊鏈現有的主要問題找到商業解決方案，彌合區塊鏈技術已知優勢與大規模應用之間的差距。這也為卡內基梅隆大學的學生在 Web3 領域開啟職業生涯提供了跳板。

CyLab 合作關係高級主管 Michael Lisanti 表示："Anaxi Labs 與 CyLab 的合作提升了卡內基梅隆大學研究人員在具有直接現實應用的項目上工作的能力，確保他們的工作具有實際相關性和潛在影響力。"

瞭解更多關於 Anaxi Labs 的信息，請訪問官網。

瞭解更多關於 Anaxi Labs 和 CyLab 的最新工作，請訪問這裡。

瞭解更多關於 CyLab 與 Anaxi Labs 的合作信息，請訪問這裡。

關於 Anaxi Labs

Anaxi Labs 是一種新型研發實驗室，架起了先進學術理論與大規模應用之間的橋樑。我們致力於開展原創性的前沿研究，構建企業級、安全且可擴展的去中心化基礎設施，並推動由密碼學驅動的下一代去中心化應用的發展。

我們與世界頂尖的密碼學研究人才和世界級工程師合作，這些工程師曾成功構建並運營過數億用戶級別的知名產品，他們的專業知識和經驗為我們的項目提供了堅實的技術支持。我們是卡內基梅隆大學等頂級密碼學學術機構的行業合作伙伴。我們共同致力於通過釋放科學對人類、社會和地球的潛力來改變互聯網的未來。

關於 CyLab

卡內基梅隆大學的 CyLab 是該校的安全和隱私研究所。我們匯聚了來自全校各院系的專家，涵蓋工程、計算機科學、公共政策、信息系統、商業、金融信息風險管理、人文和社會科學等領域。我們的使命是在部門、學科和地理邊界之間催化、支持、促進和加強協作性的安全和隱私研究與教育，以在研究、教育、公共政策和實踐方面產生重大影響。

本文來自投稿，不代表 觀點

：