Anaxi Labs與卡內基美隆大學CyLab推出突破性證明系統，為可擴展且安全的現實應用鋪路

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，最終讓我們離實現具有即時結算能力的加密安全去中心化共識的願景更進一步。補充道："我們也很欣賞此項研究的跨語言能力，這意味著各種項目無需修改程式碼就能受益。這使我們能夠建立一個開放、協作的框架，而不是採用當今日益靜態、單體的方法。

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 的合作提升了卡內基美隆大學研究人員在具有直接現實應用的項目上工作的能力，確保他們的工作具有實際相關性和潛在影響力。 href="https://www.anaxilabs.com/" target="">官網。

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

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

關於Anaxi Labs

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

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

關於CyLab

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

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