Anaxi Labs và Viện nghiên cứu an ninh mạng và quyền riêng tư CyLab tại Đại học Carnegie Mellon đã hợp tác để công bố một framework biên dịch mật mã cách mạng, giải quyết một vấn đề lâu nay làm khó khăn cho ngành công nghiệp - xây dựng ứng dụng zero knowledge có tính mở rộng yêu cầu phải đưa ra sự chọn lựa ở mức cơ bản. Trước đây, ba đặc tính mở rộng, bảo mật mã hóa và tập trung phi được coi là không thể đồng thời thực hiện, đây cũng là rào cản ngăn cản việc triển khai quy mô lớn - cho đến bây giờ.
Không cần phải chọn lựa với sự đột phá mật mã
Các nền tảng blockchain như Ethereum được xem là tương lai của cơ sở hạ tầng Phi tập trung, với công nghệ zk-SNARK được cho là có thể nâng cao tính an toàn và khả năng mở rộng của Ethereum lên trên 120 giao dịch mỗi giây. Tuy nhiên, thực tế lại khác xa. Việc phát triển chứng minh không kiến thức không chỉ phức tạp mà còn tốn thời gian, đòi hỏi sự đầu tư hàng nghìn giờ đồng hồ từ hàng chục nhà phát triển. Để tối ưu hóa tốc độ tạo chứng minh, thường cần phải thiết kế giao thức thủ công, trong khi mã hóa thủ công và hàng ngàn dòng mã mang lại những nguy cơ bảo mật lớn. Điều này làm cho việc tạo ứng dụng Phi tập trung nhạy cảm với tính an toàn trở nên phức tạp, cũng như biến việc kiểm toán và tuân thủ trở thành cơn ác mộng - những điều này đều làm trì hoãn việc áp dụng rộng rãi của công nghệ này trong các ngành được quản lý như tài chính, chăm sóc sức khỏe và trí tuệ nhân tạo.
Nhóm nghiên cứu của Đại học Carnegie Mellon đang hợp tác với Anaxi Labs để vượt qua thách thức này
Bài báo mới nhất của Đại học Carnegie Mellon đề xuất một phương pháp cách mạng, có thể biên dịch tự động phần mềm cao cấp và đơn giản hóa thành dạng đơn giản hơn (biểu diễn cấp thấp) cần thiết cho hệ thống chứng minh dưới cơ sở. Quá trình này hoàn toàn tự động, có thể lặp lại và có thể kiểm tra, loại bỏ công việc thủ công, đồng thời cải thiện đáng kể hiệu suất và đảm bảo an ninh tại mức Mật mã học. Kết quả này phân tích chương trình cao cấp, phân tách chương trình thành các đơn vị nhỏ, không thể phân chia, sau đó tạo ra biểu diễn cấp thấp mà có thể dễ dàng nhập vào các hệ thống chứng minh khác nhau.
Giáo sư trợ lý của Khoa Điện tử và Máy tính tại Đại học Carnegie Mellon, Riad Wahby cho biết: "Việc phân tách tính toán thành các khối cụ thể rất mới mẻ và đây là lần đầu tiên ai đó thử nghiệm phương pháp biên dịch này để tránh việc biểu diễn chương trình đầy đủ." Chúng tôi rất phấn khởi với điều này.
Khởi động ứng dụng Phi tập trung mới
Nghiên cứu này cùng với khung công việc được xây dựng dựa trên nghiên cứu của Anaxi Labs sẽ thay đổi hoàn toàn cảnh quan ngành công nghiệp của Web3 và các lĩnh vực khác. Trong lĩnh vực tài chính truyền thống và có quy định, việc nâng cao hiệu suất trong khi duy trì khả năng kiểm tra giúp thực hiện thanh toán Thanh toán giữa các ngân hàng theo thời gian thực (ví dụ như thanh toán đô la ngay lập tức) trở thành điều có thể. Trong lĩnh vực chăm sóc sức khỏe, trong bối cảnh thách thức mà 23andMe đang đối mặt, các công cụ mã hóa an toàn và bảo vệ quyền riêng tư đang được phát triển bởi Anaxi Labs có thể giải quyết các vấn đề quan trọng bằng cách đảm bảo quyền sở hữu hợp pháp của cá nhân đối với DNA của mình và đồng thời hỗ trợ nghiên cứu có giá trị. Trong lĩnh vực trí tuệ nhân tạo doanh nghiệp và cơ sở hạ tầng vật lý quan trọng, các giải pháp Phi tập trung có sẵn và gần như không có độ trễ (ví dụ như điều chỉnh và suy luận nhanh chóng trên nhiều nguồn tài nguyên dữ liệu và tính toán) cũng trở thành hiện thực.
Về gần đây, sản phẩm dựa trên nghiên cứu này cung cấp giải pháp hiệu quả nhất cho các doanh nghiệp Web3 đang đối mặt với vấn đề mở rộng, bảo mật và cân nhắc giữa Phi tập trung, cung cấp mô hình thiết kế mới cho rollups và các sản phẩm tương tác.
Đồng sáng lập Anaxi Labs, Kate Shen, nói rằng: "Nghiên cứu này và sản phẩm chúng tôi đang xây dựng kết hợp với những kết quả của nghiên cứu này sẽ có tác động sâu rộng đến nhiều lĩnh vực ứng dụng quan trọng cần có giải pháp có thể kiểm tra để đối phó với các rào cản hiệu suất lớn, chẳng hạn như ZK và EVM, cuối cùng làm cho tầm nhìn về mã hóa an toàn Phi tập trung Nhận thức chung với khả năng thanh toán thời gian thực của chúng tôi trở nên xa hơn."
Shen added, "We also appreciate the cross-language capabilities of this research, which means that various projects can benefit without modifying the code. This allows us to build an open, collaborative framework instead of adopting the increasingly static and monolithic approach of today. This enables all developers to automatically select and combine the advantages of the latest proof systems, such as table lookups, co-processors, and hardware acceleration, to maximize the performance benefits of each computation method."
Anaxi Labs 与 CyLab：改变游戏规则的合作
CyLab của Đại học Carnegie Mellon luôn là trung tâm nghiên cứu hàng đầu về phát triển blockchain (bao gồm công nghệ không biết), giáo sư nổi tiếng của CyLab bao gồm Bryan Parno, một nhà đóng góp quan trọng trong lịch sử phát triển công nghệ không biết, phòng thí nghiệm của ông đã sản xuất ra những bài báo Nova được trích dẫn rộng rãi; và giáo sư trợ lý Riad Wahby, các thành tựu nghiên cứu của ông đã sinh ra công nghệ mật mã mới giúp thực hiện tầm nhìn của Quỹ Ethereum (gần đây còn có Jolt zkVM của a16z crypto, bộ phận mã hóa của Andreessen Horowitz, đã thực hiện một công trình đột phá).
Kết quả nghiên cứu về kiến trúc trình biên dịch này là kết quả của mối quan hệ đối tác sinh thái được thiết lập thông qua dự án Hợp tác Anaxi Labs và CyLab trong Chương trình Blockchain an ninh của CMU. Sự hợp tác này cho phép các học giả của Đại học Carnegie Mellon có thể hợp tác với Anaxi Labs, nhận thông tin và học hỏi từ việc triển khai thương mại nghiên cứu blockchain của họ trong các ứng dụng Web3 và Web 2.0. Nó giúp họ tìm ra các giải pháp thương mại cho các vấn đề chính hiện có của blockchain, đồng thời cũng giúp thu hẹp khoảng cách giữa lợi thế đã biết về công nghệ blockchain và ứng dụng quy mô lớn. Điều này cũng tạo điều kiện cho sinh viên của Đại học Carnegie Mellon bắt đầu sự nghiệp trong lĩnh vực Web3.
Giám đốc cấp cao quan hệ hợp tác của CyLab, Michael Lisanti cho biết: "Sự hợp tác giữa Anaxi Labs và CyLab đã nâng cao khả năng làm việc của các nhà nghiên cứu của Đại học Carnegie Mellon trên các dự án có ứng dụng trực tiếp trong thực tế, đảm bảo công việc của họ có tính tương quan thực tế và tiềm năng ảnh hưởng."
Để biết thêm thông tin về Anaxi Labs, vui lòng truy cập trang web chính thức.
Để biết thêm về công việc mới nhất của Anaxi Labs và CyLab, vui lòng truy cập vào đây.
Để biết thêm thông tin về hợp tác giữa CyLab và Anaxi Labs, vui lòng truy cập vào đây.
Về Anaxi Labs
Anaxi Labs là một loại phòng thí nghiệm nghiên cứu mới, đặt cầu nối giữa lý thuyết học tiên tiến và ứng dụng quy mô lớn. Chúng tôi cam kết tiến hành nghiên cứu tiên tiến sáng tạo, xây dựng cơ sở hạ tầng Phi tập trung doanh nghiệp, an toàn và có thể mở rộng, và thúc đẩy sự phát triển của các ứng dụng Phi tập trung thế hệ tiếp theo do mật mã điều khiển.
Chúng tôi đã hợp tác với các chuyên gia nghiên cứu mật mã hàng đầu thế giới và các kỹ sư hàng đầu thế giới, những kỹ sư này đã xây dựng và vận hành các sản phẩm nổi tiếng với hàng trăm triệu người dùng thành công. Kiến thức chuyên môn và kinh nghiệm của họ cung cấp hỗ trợ kỹ thuật vững chắc cho dự án của chúng tôi. Chúng tôi là đối tác trong ngành của các tổ chức học thuật về mật mã hàng đầu như Đại học Carnegie Mellon. Chúng tôi cam kết cùng nhau giải phóng tiềm năng khoa học cho con người, xã hội và trái đất để thay đổi tương lai của Internet.
Về CyLab
CyLab của Đại học Carnegie Mellon là Viện nghiên cứu an ninh và bảo mật của trường. Chúng tôi tập hợp các chuyên gia từ các khoa trường, bao gồm kỹ thuật, khoa học máy tính, chính sách công cộng, hệ thống thông tin, kinh doanh, thông tin tài chính, nhân văn và xã hội. Nhiệm vụ của chúng tôi là thúc đẩy, hỗ trợ và tăng cường nghiên cứu và giáo dục về an ninh và bảo mật hợp tác giữa các bộ ngành, lĩnh vực và ranh giới địa lý, nhằm tạo ra tác động lớn trong nghiên cứu, giáo dục, chính sách công cộng và thực hành.
Bài viết này dựa trên các bài nộp và không nhất thiết phải thể hiện ý kiến
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Anaxi Labs và CyLab của Đại học Carnegie Mellon giới thiệu hệ thống chứng minh đột phá, mở đường cho ứng dụng thực tế có thể mở rộng và an toàn
Anaxi Labs và Viện nghiên cứu an ninh mạng và quyền riêng tư CyLab tại Đại học Carnegie Mellon đã hợp tác để công bố một framework biên dịch mật mã cách mạng, giải quyết một vấn đề lâu nay làm khó khăn cho ngành công nghiệp - xây dựng ứng dụng zero knowledge có tính mở rộng yêu cầu phải đưa ra sự chọn lựa ở mức cơ bản. Trước đây, ba đặc tính mở rộng, bảo mật mã hóa và tập trung phi được coi là không thể đồng thời thực hiện, đây cũng là rào cản ngăn cản việc triển khai quy mô lớn - cho đến bây giờ.
Không cần phải chọn lựa với sự đột phá mật mã
Các nền tảng blockchain như Ethereum được xem là tương lai của cơ sở hạ tầng Phi tập trung, với công nghệ zk-SNARK được cho là có thể nâng cao tính an toàn và khả năng mở rộng của Ethereum lên trên 120 giao dịch mỗi giây. Tuy nhiên, thực tế lại khác xa. Việc phát triển chứng minh không kiến thức không chỉ phức tạp mà còn tốn thời gian, đòi hỏi sự đầu tư hàng nghìn giờ đồng hồ từ hàng chục nhà phát triển. Để tối ưu hóa tốc độ tạo chứng minh, thường cần phải thiết kế giao thức thủ công, trong khi mã hóa thủ công và hàng ngàn dòng mã mang lại những nguy cơ bảo mật lớn. Điều này làm cho việc tạo ứng dụng Phi tập trung nhạy cảm với tính an toàn trở nên phức tạp, cũng như biến việc kiểm toán và tuân thủ trở thành cơn ác mộng - những điều này đều làm trì hoãn việc áp dụng rộng rãi của công nghệ này trong các ngành được quản lý như tài chính, chăm sóc sức khỏe và trí tuệ nhân tạo.
Nhóm nghiên cứu của Đại học Carnegie Mellon đang hợp tác với Anaxi Labs để vượt qua thách thức này
Bài báo mới nhất của Đại học Carnegie Mellon đề xuất một phương pháp cách mạng, có thể biên dịch tự động phần mềm cao cấp và đơn giản hóa thành dạng đơn giản hơn (biểu diễn cấp thấp) cần thiết cho hệ thống chứng minh dưới cơ sở. Quá trình này hoàn toàn tự động, có thể lặp lại và có thể kiểm tra, loại bỏ công việc thủ công, đồng thời cải thiện đáng kể hiệu suất và đảm bảo an ninh tại mức Mật mã học. Kết quả này phân tích chương trình cao cấp, phân tách chương trình thành các đơn vị nhỏ, không thể phân chia, sau đó tạo ra biểu diễn cấp thấp mà có thể dễ dàng nhập vào các hệ thống chứng minh khác nhau.
Giáo sư trợ lý của Khoa Điện tử và Máy tính tại Đại học Carnegie Mellon, Riad Wahby cho biết: "Việc phân tách tính toán thành các khối cụ thể rất mới mẻ và đây là lần đầu tiên ai đó thử nghiệm phương pháp biên dịch này để tránh việc biểu diễn chương trình đầy đủ." Chúng tôi rất phấn khởi với điều này.
Khởi động ứng dụng Phi tập trung mới
Nghiên cứu này cùng với khung công việc được xây dựng dựa trên nghiên cứu của Anaxi Labs sẽ thay đổi hoàn toàn cảnh quan ngành công nghiệp của Web3 và các lĩnh vực khác. Trong lĩnh vực tài chính truyền thống và có quy định, việc nâng cao hiệu suất trong khi duy trì khả năng kiểm tra giúp thực hiện thanh toán Thanh toán giữa các ngân hàng theo thời gian thực (ví dụ như thanh toán đô la ngay lập tức) trở thành điều có thể. Trong lĩnh vực chăm sóc sức khỏe, trong bối cảnh thách thức mà 23andMe đang đối mặt, các công cụ mã hóa an toàn và bảo vệ quyền riêng tư đang được phát triển bởi Anaxi Labs có thể giải quyết các vấn đề quan trọng bằng cách đảm bảo quyền sở hữu hợp pháp của cá nhân đối với DNA của mình và đồng thời hỗ trợ nghiên cứu có giá trị. Trong lĩnh vực trí tuệ nhân tạo doanh nghiệp và cơ sở hạ tầng vật lý quan trọng, các giải pháp Phi tập trung có sẵn và gần như không có độ trễ (ví dụ như điều chỉnh và suy luận nhanh chóng trên nhiều nguồn tài nguyên dữ liệu và tính toán) cũng trở thành hiện thực.
Về gần đây, sản phẩm dựa trên nghiên cứu này cung cấp giải pháp hiệu quả nhất cho các doanh nghiệp Web3 đang đối mặt với vấn đề mở rộng, bảo mật và cân nhắc giữa Phi tập trung, cung cấp mô hình thiết kế mới cho rollups và các sản phẩm tương tác.
Đồng sáng lập Anaxi Labs, Kate Shen, nói rằng: "Nghiên cứu này và sản phẩm chúng tôi đang xây dựng kết hợp với những kết quả của nghiên cứu này sẽ có tác động sâu rộng đến nhiều lĩnh vực ứng dụng quan trọng cần có giải pháp có thể kiểm tra để đối phó với các rào cản hiệu suất lớn, chẳng hạn như ZK và EVM, cuối cùng làm cho tầm nhìn về mã hóa an toàn Phi tập trung Nhận thức chung với khả năng thanh toán thời gian thực của chúng tôi trở nên xa hơn."
Shen added, "We also appreciate the cross-language capabilities of this research, which means that various projects can benefit without modifying the code. This allows us to build an open, collaborative framework instead of adopting the increasingly static and monolithic approach of today. This enables all developers to automatically select and combine the advantages of the latest proof systems, such as table lookups, co-processors, and hardware acceleration, to maximize the performance benefits of each computation method."
Anaxi Labs 与 CyLab：改变游戏规则的合作
CyLab của Đại học Carnegie Mellon luôn là trung tâm nghiên cứu hàng đầu về phát triển blockchain (bao gồm công nghệ không biết), giáo sư nổi tiếng của CyLab bao gồm Bryan Parno, một nhà đóng góp quan trọng trong lịch sử phát triển công nghệ không biết, phòng thí nghiệm của ông đã sản xuất ra những bài báo Nova được trích dẫn rộng rãi; và giáo sư trợ lý Riad Wahby, các thành tựu nghiên cứu của ông đã sinh ra công nghệ mật mã mới giúp thực hiện tầm nhìn của Quỹ Ethereum (gần đây còn có Jolt zkVM của a16z crypto, bộ phận mã hóa của Andreessen Horowitz, đã thực hiện một công trình đột phá).
Kết quả nghiên cứu về kiến trúc trình biên dịch này là kết quả của mối quan hệ đối tác sinh thái được thiết lập thông qua dự án Hợp tác Anaxi Labs và CyLab trong Chương trình Blockchain an ninh của CMU. Sự hợp tác này cho phép các học giả của Đại học Carnegie Mellon có thể hợp tác với Anaxi Labs, nhận thông tin và học hỏi từ việc triển khai thương mại nghiên cứu blockchain của họ trong các ứng dụng Web3 và Web 2.0. Nó giúp họ tìm ra các giải pháp thương mại cho các vấn đề chính hiện có của blockchain, đồng thời cũng giúp thu hẹp khoảng cách giữa lợi thế đã biết về công nghệ blockchain và ứng dụng quy mô lớn. Điều này cũng tạo điều kiện cho sinh viên của Đại học Carnegie Mellon bắt đầu sự nghiệp trong lĩnh vực Web3.
Giám đốc cấp cao quan hệ hợp tác của CyLab, Michael Lisanti cho biết: "Sự hợp tác giữa Anaxi Labs và CyLab đã nâng cao khả năng làm việc của các nhà nghiên cứu của Đại học Carnegie Mellon trên các dự án có ứng dụng trực tiếp trong thực tế, đảm bảo công việc của họ có tính tương quan thực tế và tiềm năng ảnh hưởng."
Để biết thêm thông tin về Anaxi Labs, vui lòng truy cập trang web chính thức.
Để biết thêm về công việc mới nhất của Anaxi Labs và CyLab, vui lòng truy cập vào đây.
Để biết thêm thông tin về hợp tác giữa CyLab và Anaxi Labs, vui lòng truy cập vào đây.
Về Anaxi Labs
Anaxi Labs là một loại phòng thí nghiệm nghiên cứu mới, đặt cầu nối giữa lý thuyết học tiên tiến và ứng dụng quy mô lớn. Chúng tôi cam kết tiến hành nghiên cứu tiên tiến sáng tạo, xây dựng cơ sở hạ tầng Phi tập trung doanh nghiệp, an toàn và có thể mở rộng, và thúc đẩy sự phát triển của các ứng dụng Phi tập trung thế hệ tiếp theo do mật mã điều khiển.
Chúng tôi đã hợp tác với các chuyên gia nghiên cứu mật mã hàng đầu thế giới và các kỹ sư hàng đầu thế giới, những kỹ sư này đã xây dựng và vận hành các sản phẩm nổi tiếng với hàng trăm triệu người dùng thành công. Kiến thức chuyên môn và kinh nghiệm của họ cung cấp hỗ trợ kỹ thuật vững chắc cho dự án của chúng tôi. Chúng tôi là đối tác trong ngành của các tổ chức học thuật về mật mã hàng đầu như Đại học Carnegie Mellon. Chúng tôi cam kết cùng nhau giải phóng tiềm năng khoa học cho con người, xã hội và trái đất để thay đổi tương lai của Internet.
Về CyLab
CyLab của Đại học Carnegie Mellon là Viện nghiên cứu an ninh và bảo mật của trường. Chúng tôi tập hợp các chuyên gia từ các khoa trường, bao gồm kỹ thuật, khoa học máy tính, chính sách công cộng, hệ thống thông tin, kinh doanh, thông tin tài chính, nhân văn và xã hội. Nhiệm vụ của chúng tôi là thúc đẩy, hỗ trợ và tăng cường nghiên cứu và giáo dục về an ninh và bảo mật hợp tác giữa các bộ ngành, lĩnh vực và ranh giới địa lý, nhằm tạo ra tác động lớn trong nghiên cứu, giáo dục, chính sách công cộng và thực hành.
：