Kết quả công bố chương trình tài trợ nghiên cứu học thuật mới của Sui: Các trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận hỗ trợ trên 420.000 đô la Mỹ
Gần đây, Quỹ Sui đã công bố kết quả của đợt tài trợ nghiên cứu học thuật mới. Chương trình này nhằm tài trợ cho các nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt tập trung vào các mạng blockchain, lập trình hợp đồng thông minh và các công nghệ liên quan đến sản phẩm được xây dựng trên nền tảng Sui.
Trong hai giai đoạn trước, có tổng cộng 17 đề xuất nghiên cứu từ các trường đại học nổi tiếng quốc tế được phê duyệt, với tổng số tiền tài trợ lên đến 425,000 USD. Các trường đại học tham gia bao gồm Viện Khoa học và Công nghệ Hàn Quốc, Đại học London, Đại học Bách khoa Lausanne và Đại học Quốc gia Singapore.
Dưới đây là một số tóm tắt về các đề xuất đoạt giải:
DAOs: Đa dạng các nhóm bỏ phiếu
Ari Juels từ Đại học Cornell sẽ nghiên cứu bản chất của tổ chức phi tập trung, thiết lập các chỉ số để đo lường mức độ phi tập trung của DAO và khám phá các phương pháp thực tiễn để tăng cường sự phi tập trung bên trong tổ chức.
Đồng thuận giao thức DAG bất đồng bộ an toàn thích ứng
Philipp Jovanovic từ Đại học London đã đề xuất phát triển một giao thức DAG bất đồng bộ nhằm nâng cao khả năng chống tấn công và thích ứng với môi trường đối thủ đang thay đổi. Giao thức này nhằm mục đích cung cấp sự an toàn và khả năng thích ứng tốt hơn, đồng thời giữ gần mức hiệu suất của đối thủ đồng bộ một phần.
Kiểm toán hợp đồng thông minh Sui dưới sự hướng dẫn của mô hình ngôn ngữ lớn
Nhóm Arthur Gervais của Đại học London sẽ sử dụng các mô hình ngôn ngữ lớn như GPT-4-32k và Claude-v2-100k để cải thiện quy trình kiểm toán hợp đồng thông minh Move. Dự án này sẽ áp dụng những kết quả nghiên cứu trước đây của họ trên các hợp đồng DeFi Solidity vào hợp đồng thông minh Sui.
Lĩnh vực giao thức đồng thuận ánh xạ
Christopher Cachin từ Đại học Bern sẽ điều tra lĩnh vực đồng thuận hiện tại, cung cấp cái nhìn mới cho các giao thức đồng thuận mật mã, nhằm giúp hiểu rõ hơn về các thuật toán hiện có và cung cấp ý tưởng mới cho việc thiết kế các giao thức phân tán.
Khung xác thực đáng tin cậy cao cho giao thức oracle phi tập trung
Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo từ Djed Alliance sẽ tạo ra một khuôn khổ để phân tích và xác minh chặt chẽ các oracle blockchain thông qua các phương pháp hình thức, đảm bảo tính chính xác và công bằng của dữ liệu bên ngoài trong hợp đồng thông minh.
Nhận diện nút thắt khả năng mở rộng
Roger Wattenhofer từ Viện Công nghệ Liên bang Zurich sẽ nghiên cứu cách tăng cường tiềm năng song song của các ứng dụng blockchain thông qua việc xác định các khiếm khuyết trong thiết kế hợp đồng thông minh, và sẽ khám phá tác động của việc điều chỉnh phí giao dịch đến sự song song.
Cơ chế Bullshark Protocol
Ilya Sergey từ Đại học Quốc gia Singapore nhằm mục đích sử dụng các công cụ xác minh hỗ trợ máy tính hiện đại để xác minh chính thức các thuộc tính của Bullshark, thúc đẩy sự hiểu biết về các giao thức đồng thuận dựa trên DAG.
BBSF: Khung tiêu chuẩn chuẩn hóa blockchain
Henry F. Korth từ Đại học Lihaï sẽ tạo ra một định dạng tiêu chuẩn hóa điểm chuẩn blockchain để so sánh công bằng các giải pháp mở rộng L1 blockchain và L2, cung cấp cái nhìn minh bạch về hiệu suất chuỗi cho người dùng và nhà phát triển.
Xây dựng lớp chuỗi chia sẻ có thể mở rộng và phi tập trung
Min Suk Kang từ Viện Khoa học và Công nghệ Hàn Quốc sẽ thảo luận về việc sử dụng Bullshark/Mysticeti làm thuật toán sắp xếp chia sẻ, nghiên cứu khả năng chạy nhiều Rollup trên Sui.
Thị trường phí địa phương cho định giá tắc nghẽn tốt nhất
Abdoulaye Ndiaye từ Đại học New York sẽ nghiên cứu thị trường phí địa phương để tối ưu hóa giá cả theo mức độ tắc nghẽn, với mục tiêu thiết lập một cơ chế định giá hiệu quả phản ánh trạng thái tắc nghẽn, nhằm đạt được phân bổ tài nguyên tối ưu.
Các dự án nghiên cứu này bao gồm nhiều lĩnh vực quan trọng của công nghệ blockchain, từ giao thức đồng thuận, an ninh hợp đồng thông minh đến tài chính phi tập trung và hệ thống oracle. Những thành quả của chúng hy vọng sẽ mang lại những bước đột phá và đổi mới quan trọng cho hệ sinh thái Sui và toàn bộ ngành công nghiệp blockchain.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
7 thích
Phần thưởng
7
5
Đăng lại
Chia sẻ
Bình luận
0/400
OldLeekMaster
· 08-11 08:32
sui thật tuyệt, chính là siêu như vậy
Xem bản gốcTrả lời0
RugPullProphet
· 08-11 08:31
sui còn sớm, vẫn đang nghiên cứu, trước tiên đừng để thua lỗ là được.
Quỹ Sui cho vòng tài trợ học thuật mới: 17 dự án nhận 420.000 USD, các trường đại học danh tiếng toàn cầu tham gia.
Kết quả công bố chương trình tài trợ nghiên cứu học thuật mới của Sui: Các trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận hỗ trợ trên 420.000 đô la Mỹ
Gần đây, Quỹ Sui đã công bố kết quả của đợt tài trợ nghiên cứu học thuật mới. Chương trình này nhằm tài trợ cho các nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt tập trung vào các mạng blockchain, lập trình hợp đồng thông minh và các công nghệ liên quan đến sản phẩm được xây dựng trên nền tảng Sui.
Trong hai giai đoạn trước, có tổng cộng 17 đề xuất nghiên cứu từ các trường đại học nổi tiếng quốc tế được phê duyệt, với tổng số tiền tài trợ lên đến 425,000 USD. Các trường đại học tham gia bao gồm Viện Khoa học và Công nghệ Hàn Quốc, Đại học London, Đại học Bách khoa Lausanne và Đại học Quốc gia Singapore.
Dưới đây là một số tóm tắt về các đề xuất đoạt giải:
DAOs: Đa dạng các nhóm bỏ phiếu Ari Juels từ Đại học Cornell sẽ nghiên cứu bản chất của tổ chức phi tập trung, thiết lập các chỉ số để đo lường mức độ phi tập trung của DAO và khám phá các phương pháp thực tiễn để tăng cường sự phi tập trung bên trong tổ chức.
Đồng thuận giao thức DAG bất đồng bộ an toàn thích ứng Philipp Jovanovic từ Đại học London đã đề xuất phát triển một giao thức DAG bất đồng bộ nhằm nâng cao khả năng chống tấn công và thích ứng với môi trường đối thủ đang thay đổi. Giao thức này nhằm mục đích cung cấp sự an toàn và khả năng thích ứng tốt hơn, đồng thời giữ gần mức hiệu suất của đối thủ đồng bộ một phần.
Kiểm toán hợp đồng thông minh Sui dưới sự hướng dẫn của mô hình ngôn ngữ lớn Nhóm Arthur Gervais của Đại học London sẽ sử dụng các mô hình ngôn ngữ lớn như GPT-4-32k và Claude-v2-100k để cải thiện quy trình kiểm toán hợp đồng thông minh Move. Dự án này sẽ áp dụng những kết quả nghiên cứu trước đây của họ trên các hợp đồng DeFi Solidity vào hợp đồng thông minh Sui.
Lĩnh vực giao thức đồng thuận ánh xạ Christopher Cachin từ Đại học Bern sẽ điều tra lĩnh vực đồng thuận hiện tại, cung cấp cái nhìn mới cho các giao thức đồng thuận mật mã, nhằm giúp hiểu rõ hơn về các thuật toán hiện có và cung cấp ý tưởng mới cho việc thiết kế các giao thức phân tán.
Khung xác thực đáng tin cậy cao cho giao thức oracle phi tập trung Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo từ Djed Alliance sẽ tạo ra một khuôn khổ để phân tích và xác minh chặt chẽ các oracle blockchain thông qua các phương pháp hình thức, đảm bảo tính chính xác và công bằng của dữ liệu bên ngoài trong hợp đồng thông minh.
Nhận diện nút thắt khả năng mở rộng Roger Wattenhofer từ Viện Công nghệ Liên bang Zurich sẽ nghiên cứu cách tăng cường tiềm năng song song của các ứng dụng blockchain thông qua việc xác định các khiếm khuyết trong thiết kế hợp đồng thông minh, và sẽ khám phá tác động của việc điều chỉnh phí giao dịch đến sự song song.
Cơ chế Bullshark Protocol Ilya Sergey từ Đại học Quốc gia Singapore nhằm mục đích sử dụng các công cụ xác minh hỗ trợ máy tính hiện đại để xác minh chính thức các thuộc tính của Bullshark, thúc đẩy sự hiểu biết về các giao thức đồng thuận dựa trên DAG.
BBSF: Khung tiêu chuẩn chuẩn hóa blockchain Henry F. Korth từ Đại học Lihaï sẽ tạo ra một định dạng tiêu chuẩn hóa điểm chuẩn blockchain để so sánh công bằng các giải pháp mở rộng L1 blockchain và L2, cung cấp cái nhìn minh bạch về hiệu suất chuỗi cho người dùng và nhà phát triển.
Xây dựng lớp chuỗi chia sẻ có thể mở rộng và phi tập trung Min Suk Kang từ Viện Khoa học và Công nghệ Hàn Quốc sẽ thảo luận về việc sử dụng Bullshark/Mysticeti làm thuật toán sắp xếp chia sẻ, nghiên cứu khả năng chạy nhiều Rollup trên Sui.
Thị trường phí địa phương cho định giá tắc nghẽn tốt nhất Abdoulaye Ndiaye từ Đại học New York sẽ nghiên cứu thị trường phí địa phương để tối ưu hóa giá cả theo mức độ tắc nghẽn, với mục tiêu thiết lập một cơ chế định giá hiệu quả phản ánh trạng thái tắc nghẽn, nhằm đạt được phân bổ tài nguyên tối ưu.
Các dự án nghiên cứu này bao gồm nhiều lĩnh vực quan trọng của công nghệ blockchain, từ giao thức đồng thuận, an ninh hợp đồng thông minh đến tài chính phi tập trung và hệ thống oracle. Những thành quả của chúng hy vọng sẽ mang lại những bước đột phá và đổi mới quan trọng cho hệ sinh thái Sui và toàn bộ ngành công nghiệp blockchain.