Anaxi Labs và CyLab của Đại học Carnegie Mellon ra mắt hệ thống chứng minh mang tính đột phá, mở đường cho các ứng dụng thực tế an toàn và có thể mở

Anaxi Labs và Viện An ninh mạng và Quyền riêng tư của Đại học Carnegie Mellon CyLab đã công bố ra mắt khung trình biên dịch mật mã mang tính cách mạng nhằm giải quyết một vấn đề tồn tại lâu dài đã gây khó khăn cho ngành - việc xây dựng các ứng dụng không có kiến thức có thể mở rộng đòi hỏi phải có những đánh đổi cơ bản. Trước đó, ba đặc điểm về khả năng mở rộng, bảo mật mật mã và ứng dụng phi tập trung được coi là không thể đạt được cùng lúc, đây cũng là rào cản cản trở ứng dụng quy mô lớn-cho đến nay.

Những đột phá về tiền điện tử mà không cần đánh đổi

Các chuỗi khối như Ethereum được ca ngợi là Trong Tương lai của cơ sở hạ tầng tập trung, công nghệ không kiến thức (ZK) được cho là có thể cải thiện tính bảo mật và khả năng mở rộng của Ethereum lên hơn 120 giao dịch mỗi giây. Nhưng thực tế lại rất khác. Việc phát triển các bằng chứng không có kiến thức rất phức tạp và tốn thời gian, đòi hỏi hàng chục nhà phát triển phải đầu tư hàng nghìn giờ. Để tối ưu hóa tốc độ tạo bằng chứng, thường cần phải thiết kế thủ công các giao thức, trong khi việc mã hóa thủ công và hàng chục nghìn dòng mã mang lại những rủi ro bảo mật đáng kể. Điều này làm phức tạp việc tạo ra các ứng dụng phi tập trung nhạy cảm về bảo mật và khiến việc kiểm tra và tuân thủ trở thành cơn ác mộng — tất cả đều cản trở việc áp dụng rộng rãi công nghệ này trong các ngành được quản lý như tài chính, y tế và trí tuệ nhân tạo.

Một nhóm nghiên cứu tại Đại học Carnegie Mellon đang hợp tác với Anaxi Labs để khắc phục vấn đề này

Một bài báo mới do Đại học Carnegie Mellon xuất bản đề xuất một phương pháp mang tính cách mạng để tự động biên dịch và giảm bớt phần mềm cấp cao thành các dạng đơn giản hơn (biểu diễn cấp thấp) theo yêu cầu của hệ thống chứng minh cơ bản. Quá trình này hoàn toàn tự động, có thể lặp lại và kiểm tra được, loại bỏ công việc thủ công, cải thiện đáng kể hiệu suất trong khi vẫn đảm bảo quy trình được bảo mật bằng mật mã. Thành tựu này đạt được bằng cách phân tích một chương trình cấp cao, chia nó thành các đơn vị nhỏ, không thể chia được và sau đó tạo ra từ mỗi đơn vị một biểu diễn cấp thấp có thể dễ dàng đưa vào nhiều hệ thống chứng minh khác nhau.

Kỹ thuật Điện và Máy tính Đại học Carnegie Mellon Riad Wahby, trợ lý giáo sư trong khoa cho biết: "Việc thay thế CPU bằng cách chia nhỏ các tính toán thành các phần rất cụ thể theo cách tự động này là một cách tiếp cận hoàn toàn mới và lần đầu tiên có người thử cách này trong một trình biên dịch tránh trình bày toàn bộ chương trình. Chúng tôi' tôi rất vui mừng về điều đó."

Kích hoạt các ứng dụng phi tập trung mới

Nghiên cứu này và khuôn khổ mà Anaxi Labs xây dựng dựa trên đó sẽ cách mạng hóa bối cảnh ngành cho Web3 và hơn thế nữa. Trong tài chính truyền thống và được quản lý, việc cải thiện hiệu suất trong khi vẫn duy trì khả năng kiểm toán cho phép thanh toán chuyển khoản giữa các ngân hàng theo thời gian thực, chẳng hạn như thanh toán ngay lập tức bằng đô la Mỹ. Trong lĩnh vực chăm sóc sức khỏe, trước những thách thức của 23andMe, các công cụ mã hóa bảo mật và an toàn được cung cấp bởi các sản phẩm do Anaxi Labs phát triển giờ đây 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 chính họ, đồng thời hỗ trợ nghiên cứu có giá trị. Trong các lĩnh vực AI cấp 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 đòi hỏi tính sẵn sàng cao và độ trễ gần như bằng 0, chẳng hạn như tinh chỉnh và suy luận nhanh chóng trên nhiều tài nguyên dữ liệu và điện toán, cũng đang trở thành hiện thực.

Trong thời gian tới, các sản phẩm dựa trên nghiên cứu này sẽ cung cấp các giải pháp hiệu quả nhất cho các doanh nghiệp Web3 đang vật lộn với sự đánh đổi giữa khả năng mở rộng, bảo mật và phân quyền. Giải pháp này cung cấp một mô hình thiết kế mới cho các sản phẩm cuộn và các sản phẩm có khả năng tương tác.

Kate Shen, đồng sáng lập của Anaxi Labs, cho biết: "Nghiên cứu này và các sản phẩm chúng tôi đang xây dựng kết hợp những phát hiện của nó sẽ có tác động đến nhiều người. về nhu cầu có thể kiểm toán ngày nay, giải pháp này có tác động sâu sắc đến các ứng dụng quan trọng trong ngành giải quyết một số lượng lớn các tắc nghẽn về hiệu suất, chẳng hạn như ZK và EVM, và cuối cùng đưa chúng ta tiến một bước gần hơn đến việc hiện thực hóa tầm nhìn về sự đồng thuận phi tập trung được bảo mật bằng mật mã với thực tế. khả năng giải quyết thời gian "

Shen Nói thêm: "Chúng tôi cũng đánh giá cao khả năng đa ngôn ngữ của nghiên cứu này, điều đó có nghĩa là nhiều dự án khác nhau có thể được hưởng lợi mà không cần phải sửa đổi mã. Điều này cho phép chúng tôi xây dựng một khuôn khổ hợp tác, mở, thay vì cách tiếp cận nguyên khối, ngày càng tĩnh như hiện nay. Điều này cho phép tất cả các nhà phát triển tự động lựa chọn và kết hợp các ưu điểm của hệ thống kiểm chứng mới nhất, chẳng hạn như bảng tra cứu, bộ đồng xử lý và tăng tốc phần cứng, để tối đa hóa hiệu suất đạt được của từng phương pháp tính toán."

Phòng thí nghiệm Anaxi và CyLab: Hợp tác thay đổi trò chơi

CyLab của Đại học Carnegie Mellon là trung tâm nghiên cứu tiên tiến trong phát triển blockchain, bao gồm cả các công nghệ không có kiến thức. Các nhà nghiên cứu nổi tiếng của CyLab bao gồm Bryan Parno, người đóng góp quan trọng cho lịch sử của công nghệ không có kiến thức và phòng thí nghiệm của ông đã tạo ra Nova Paper Series; và Trợ lý Giáo sư Riad Wahby, người có nghiên cứu dẫn đến Tầm nhìn của Quỹ Ethereum về các công nghệ mã hóa mới (và gần đây nhất là việc triển khai Jolt zkVM mang tính đột phá của bộ phận tiền mã hóa a16z của Andreessen Horowitz).

Khung trình biên dịch này là kết quả của dự án nghiên cứu thứ hai trong mối quan hệ hợp tác cộng sinh giữa Anaxi Labs và CyLab thông qua Sáng kiến Chuỗi khối An toàn CMU. Sự hợp tác này cho phép các học giả của Carnegie Mellon hợp tác với Anaxi Labs để hiểu rõ hơn và học hỏi từ việc triển khai nghiên cứu blockchain thương mại của họ trong các ứng dụng Web3 và Web 2.0. Nó cho phép họ tìm ra các giải pháp thương mại cho các vấn đề lớn về blockchain hiện có, thu hẹp khoảng cách giữa những lợi ích đã biết của công nghệ blockchain và việc áp dụng trên quy mô lớn. Điều này cũng tạo bàn đạp cho sinh viên Carnegie Mellon bắt đầu sự nghiệp trong lĩnh vực Web3.

Michael Lisanti, giám đốc cấp cao về quan hệ đối tác tại CyLab, cho biết: "Sự hợp tác của Anaxi Labs với CyLab nâng cao công việc của các nhà nghiên cứu Carnegie Mellon trong các dự án có thế giới thực trực tiếp." các khả năng ứng dụng để đảm bảo công việc của họ có tính phù hợp thực tế và tác động tiềm tàng."

Tìm hiểu thêm về Anaxi Labs tại Trang web chính thức.

Tìm hiểu thêm về công việc mới nhất của Anaxi Labs và CyLab, vui lòng truy cập đây.

Để tìm hiểu thêm về sự hợp tác giữa CyLab và Anaxi Labs, vui lòng truy cập tại đây.

Giới thiệu về Anaxi Labs

Anaxi Labs là một The mới Phòng thí nghiệm R&D thu hẹp khoảng cách giữa lý thuyết học thuật 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 nguyên bản và tiên tiến, xây dựng cơ sở hạ tầng phi tập trung cấp doanh nghiệp, an toàn và có thể mở rộng, đồng thời thúc đẩy sự phát triển thế hệ tiếp theo của các ứng dụng phi tập trung được hỗ trợ bởi mật mã.

Chúng tôi làm việc với những tài năng nghiên cứu mật mã hàng đầu thế giới và các kỹ sư đẳng cấp thế giới, những người đã xây dựng và vận hành thành công các sản phẩm nổi tiếng với hàng trăm triệu người dùng có kiến thức chuyên môn. và kinh nghiệm cung cấp hỗ trợ kỹ thuật vững chắc cho các dự án của chúng tôi. Chúng tôi là Đại học Carnegie Mellon Trong ngành các đối tác như các tổ chức học thuật mật mã hàng đầu. Cùng nhau, chúng tôi đang nỗ lực biến đổi tương lai của Internet bằng cách khai thác tiềm năng khoa học cho con người, xã hội và hành tinh.

Giới thiệu về CyLab

Đại học Carnegie Mellon CyLab là viện nghiên cứu về bảo mật và quyền riêng tư của trường. Chúng tôi tập hợp các chuyên gia từ các khoa trong trường đại học, bao gồm kỹ thuật, khoa học máy tính, chính sách công, hệ thống thông tin, kinh doanh, quản lý rủi ro thông tin tài chính, nhân văn và khoa học xã hội. Sứ mệnh của chúng tôi là xúc tác, hỗ trợ, thúc đẩy và tăng cường hợp tác nghiên cứu và giáo dục về bảo mật và quyền riêng tư xuyên qua các ranh giới phòng ban, ngành và địa lý để đạt được tác động đáng kể trong nghiên cứu, giáo dục, chính sách công và thực tiễn.

Bài viết này được gửi đi và không thể hiện quan điểm của BlockBeats