Danh sách người đoạt giải mới của Giải thưởng Nghiên cứu Học thuật Sui được công bố: Các trường đại học hàng đầu toàn cầu tích cực tham gia, 17 dự án nhận 420.000 USD tài trợ.
Quỹ Sui gần đây đã công bố danh sách người nhận giải thưởng nghiên cứu học thuật Sui trong vòng mới nhất. 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 mạng blockchain, lập trình hợp đồng thông minh và các công nghệ tiên tiến 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 vừa qua, có tổng cộng 17 đề xuất 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 tham gia bao gồm Viện Khoa học và Công nghệ Hàn Quốc, Đại học London, Viện Công nghệ Liên bang Lausanne và Đại học Quốc gia Singapore.
Điểm nổi bật của dự án đạt giải
Nghiên cứu tổ chức tự trị phi tập trung
Giáo sư Ari Juels từ Đại học Cornell sẽ khám phá 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à nghiên cứu các phương pháp thực tiễn để nâng cao sự phi tập trung bên trong tổ chức.
Đồng thuận giao thức DAG bất đồng bộ
Nhóm Philipp Jovanovic của Đại học London đang tập trung phát triển một giao thức DAG bất đồng bộ, nhằm tăng cường khả năng chống tấn công và thích ứng với môi trường đối thủ động. Giao thức này sẽ cung cấp tính bảo mật và khả năng thích ứng tốt hơn trong khi vẫn duy trì hiệu suất cao.
Mô hình ngôn ngữ lớn hỗ trợ kiểm tra hợp đồng thông minh
Nhóm Arthur Gervais đến từ Đạ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 để nâng cao hiệu quả kiểm toán hợp đồng thông minh Move. Họ đã phát hiện ra những lỗ hổng dẫn đến thiệt hại gần 1 tỷ USD trong phân tích 52 hợp đồng thông minh DeFi Solidity trước đó và hiện đang lên kế hoạch mở rộng nghiên cứu sang lĩnh vực hợp đồng thông minh Sui.
Nghiên cứu lĩnh vực giao thức đồng thuận
Giáo sư Christopher Cachin của Đại học Bern sẽ tiến hành khảo sát toàn diện về lĩnh vực đồng thuận hiện tại, cung cấp những hiểu biết mới cho các giao thức đồng thuận mật mã, giúp hiểu sâu hơn về các thuật toán hiện có và cung cấp những ý tưởng mới cho việc thiết kế các giao thức phân tán.
khung xác thực oracle phi tập trung
Tiến sĩ Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo từ Liên minh Djed sẽ tạo ra một khuôn khổ để phân tích và xác minh các oracle blockchain một cách nghiêm ngặt thông qua các phương pháp hình thức. Dự án sẽ sử dụng hệ thống quản lý chứng minh Coq để phát triển một thư viện các định nghĩa và chiến lược chứng minh toàn diện.
nhận diện nút thắt khả năng mở rộng
Nhóm giáo sư Roger Wattenhofer tại Viện Công nghệ Liên bang Zurich sẽ tập trung vào việc nhận diện các nút thắt xuất phát từ các lỗi thiết kế hợp đồng thông minh, nhằm nâng cao tiềm năng song song của các ứng dụng blockchain. Đồng thời, họ cũng sẽ khám phá ảnh hưởng của việc điều chỉnh phí giao dịch đối với khả năng song song.
Xác minh cơ học giao thức Bullshark
Giáo sư Ilya Sergey của Đại học Quốc gia Singapore sẽ sử dụng các công cụ xác minh hỗ trợ máy tính hiện đại để thực hiện xác minh hình thức cho các thuộc tính của Bullshark, thúc đẩy nghiên cứu về giao thức đồng thuận dựa trên DAG. Đây sẽ là mô hình giao thức đồng thuận DAG đầu tiên được xác minh cơ học trong lĩnh vực hệ thống phân tán.
Khung tiêu chuẩn chuẩn hóa blockchain
Giáo sư Henry F. Korth của Đại học Lehigh nhằm mục đích tạo ra một định dạng chuẩn hóa chuẩn mực blockchain để so sánh công bằng các blockchain L1 và các giải pháp mở rộng 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
Tiến sĩ Min Suk Kang từ Viện Khoa học và Công nghệ Hàn Quốc sẽ khám phá việc sử dụng Bullshark/Mysticeti như một thuật toán phân loại chia sẻ, nghiên cứu cơ chế hoạt động của nhiều Rollup sử dụng Sui làm lớp phân loại.
Tối ưu hóa thị trường phí địa phương
Giáo sư Abdoulaye Ndiaye tại Đại học New York sẽ nghiên cứu thị trường phí địa phương để tối ưu hóa giá cả tắc nghẽn, khám phá việc thiết lập cơ chế định giá hiệu quả phản ánh trạng thái tắc nghẽn của mạng, nhằm đạt được phân bổ tài nguyên tối ưu.
Nghiên cứu về nhà tạo lập thị trường tự động phân mảnh
Đội ngũ của Giáo sư Ittay Eyal tại Viện Công nghệ Israel đang phát triển khái niệm "hợp đồng phân mảnh", sử dụng nhiều hợp đồng để tăng cường tính cạnh tranh. Họ sẽ tập trung nghiên cứu cách điều chỉnh cơ chế khuyến khích cho các nhà cung cấp thanh khoản và người giao dịch, nhằm duy trì nhiều phân mảnh AMM, đạt được phân mảnh AMM hoàn toàn có thể song song.
Vai trò của sự tiết lộ cá nhân trong cơ chế cạnh tranh
Giáo sư Andrea Attar từ Đại học Ramatovivata sẽ khám phá các phương pháp mới trong thiết kế cơ chế thị trường, nghiên cứu tác động của việc tiết lộ thông tin một cách riêng tư từ nhà thiết kế tới đại lý đối với kết quả thị trường và tương tác chiến lược, cung cấp cái nhìn cho động lực và cạnh tranh của thị trường hiện đại.
Mô hình ngôn ngữ lớn tạo hợp đồng thông minh Sui
Ken Koedinger và Eason Chen từ Đại học Carnegie Mellon sẽ cam kết giải quyết những thách thức trong việc tạo ra hợp đồng thông minh bằng ngôn ngữ Move. Họ dự định nâng cao hiệu quả của các mô hình ngôn ngữ lớn trong việc tạo ra hợp đồng thông minh Sui bằng cách thu thập các ví dụ mã Move, cải thiện kỹ thuật gợi ý và thực hiện tinh chỉnh.
Nghiên cứu khung chuyển tiếp ngôn ngữ Move
Giáo sư George Giaglis của Đại học Nicosia sẽ thực hiện phân tích so sánh toàn diện giữa Solidity và Move, khám phá sâu các chức năng và khả năng của Move, và xây dựng khung giúp các nhà phát triển chuyển đổi sang phát triển Move một cách suôn sẻ.
Phương pháp học sâu tối ưu DeFi
Rachid Guerraoui và Walid Sofiane từ Viện Công nghệ Liên bang Lausanne sẽ phát triển mô hình học sâu hỗn hợp cho dự đoán khoảng cách tối ưu trong giao thức Sui DeFi. Mô hình này kết hợp mạng nơ-ron hồi tiếp nâng cao, học tăng cường sâu và phân tích cảm xúc trên mạng xã hội, nhằm nâng cao khả năng phản ứng của giao thức DeFi đối với những thay đổi của thị trường.
Đánh giá khả năng dự đoán độ biến động SUI
Giáo sư Stavros Degiannakis của Đại học Mở Síp sẽ nghiên cứu hiệu quả của thuật toán SPEC trong việc dự đoán độ biến động của tài sản Sui, tập trung vào nghiên cứu SUI bằng cách sử dụng dữ liệu giá cao cấp và xác minh trong nhiều tài sản blockchain khác.
zkSNARKs trong suốt hậu lượng tử với bộ nhớ thấp
Brett Falk và Pratyush Mishra từ Đại học Pennsylvania sẽ tập trung vào việc phát triển zkSNARKs có thể mở rộng, đồng thời giải quyết ba trở ngại lớn về độ phức tạp thời gian của người chứng minh, độ phức tạp không gian và kích thước SRS, để cung cấp các giải pháp chứng minh mật mã có thể mở rộng sẵn sàng triển khai cho các ứng dụng khác nhau trong công nghệ blockchain.
Các dự án nghiên cứu này bao gồm nhiều lĩnh vực tiên tiến của công nghệ blockchain, từ cơ chế đồng thuận đến an toàn hợp đồng thông minh, từ tối ưu hóa DeFi đến bảo vệ quyền riêng tư. Những kết quả của chúng hứa hẹn sẽ mang lại những đột phá quan trọng cho hệ sinh thái Sui và toàn ngành công nghiệp blockchain, thúc đẩy sự phát triển hơn nữa của công nghệ Web3.
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.
12 thích
Phần thưởng
12
3
Đăng lại
Chia sẻ
Bình luận
0/400
GasFeePhobia
· 08-09 23:50
Bối rối khi thấy DAO thì cảm thấy lo lắng.
Xem bản gốcTrả lời0
OnChain_Detective
· 08-09 23:49
phân tích mẫu cho thấy phí funding khá thấp thật lòng... cần nhiều hơn nữa cho nghiên cứu an ninh thực sự theo ý kiến của tôi
Giải thưởng Nghiên cứu Học thuật Sui công bố vòng mới, 17 dự án nhận được 420.000 USD tài trợ
Danh sách người đoạt giải mới của Giải thưởng Nghiên cứu Học thuật Sui được công bố: Các trường đại học hàng đầu toàn cầu tích cực tham gia, 17 dự án nhận 420.000 USD tài trợ.
Quỹ Sui gần đây đã công bố danh sách người nhận giải thưởng nghiên cứu học thuật Sui trong vòng mới nhất. 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 mạng blockchain, lập trình hợp đồng thông minh và các công nghệ tiên tiến 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 vừa qua, có tổng cộng 17 đề xuất 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 tham gia bao gồm Viện Khoa học và Công nghệ Hàn Quốc, Đại học London, Viện Công nghệ Liên bang Lausanne và Đại học Quốc gia Singapore.
Điểm nổi bật của dự án đạt giải
Nghiên cứu tổ chức tự trị phi tập trung
Giáo sư Ari Juels từ Đại học Cornell sẽ khám phá 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à nghiên cứu các phương pháp thực tiễn để nâng cao sự phi tập trung bên trong tổ chức.
Đồng thuận giao thức DAG bất đồng bộ
Nhóm Philipp Jovanovic của Đại học London đang tập trung phát triển một giao thức DAG bất đồng bộ, nhằm tăng cường khả năng chống tấn công và thích ứng với môi trường đối thủ động. Giao thức này sẽ cung cấp tính bảo mật và khả năng thích ứng tốt hơn trong khi vẫn duy trì hiệu suất cao.
Mô hình ngôn ngữ lớn hỗ trợ kiểm tra hợp đồng thông minh
Nhóm Arthur Gervais đến từ Đạ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 để nâng cao hiệu quả kiểm toán hợp đồng thông minh Move. Họ đã phát hiện ra những lỗ hổng dẫn đến thiệt hại gần 1 tỷ USD trong phân tích 52 hợp đồng thông minh DeFi Solidity trước đó và hiện đang lên kế hoạch mở rộng nghiên cứu sang lĩnh vực hợp đồng thông minh Sui.
Nghiên cứu lĩnh vực giao thức đồng thuận
Giáo sư Christopher Cachin của Đại học Bern sẽ tiến hành khảo sát toàn diện về lĩnh vực đồng thuận hiện tại, cung cấp những hiểu biết mới cho các giao thức đồng thuận mật mã, giúp hiểu sâu hơn về các thuật toán hiện có và cung cấp những ý tưởng mới cho việc thiết kế các giao thức phân tán.
khung xác thực oracle phi tập trung
Tiến sĩ Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo từ Liên minh Djed sẽ tạo ra một khuôn khổ để phân tích và xác minh các oracle blockchain một cách nghiêm ngặt thông qua các phương pháp hình thức. Dự án sẽ sử dụng hệ thống quản lý chứng minh Coq để phát triển một thư viện các định nghĩa và chiến lược chứng minh toàn diện.
nhận diện nút thắt khả năng mở rộng
Nhóm giáo sư Roger Wattenhofer tại Viện Công nghệ Liên bang Zurich sẽ tập trung vào việc nhận diện các nút thắt xuất phát từ các lỗi thiết kế hợp đồng thông minh, nhằm nâng cao tiềm năng song song của các ứng dụng blockchain. Đồng thời, họ cũng sẽ khám phá ảnh hưởng của việc điều chỉnh phí giao dịch đối với khả năng song song.
Xác minh cơ học giao thức Bullshark
Giáo sư Ilya Sergey của Đại học Quốc gia Singapore sẽ sử dụng các công cụ xác minh hỗ trợ máy tính hiện đại để thực hiện xác minh hình thức cho các thuộc tính của Bullshark, thúc đẩy nghiên cứu về giao thức đồng thuận dựa trên DAG. Đây sẽ là mô hình giao thức đồng thuận DAG đầu tiên được xác minh cơ học trong lĩnh vực hệ thống phân tán.
Khung tiêu chuẩn chuẩn hóa blockchain
Giáo sư Henry F. Korth của Đại học Lehigh nhằm mục đích tạo ra một định dạng chuẩn hóa chuẩn mực blockchain để so sánh công bằng các blockchain L1 và các giải pháp mở rộng 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
Tiến sĩ Min Suk Kang từ Viện Khoa học và Công nghệ Hàn Quốc sẽ khám phá việc sử dụng Bullshark/Mysticeti như một thuật toán phân loại chia sẻ, nghiên cứu cơ chế hoạt động của nhiều Rollup sử dụng Sui làm lớp phân loại.
Tối ưu hóa thị trường phí địa phương
Giáo sư Abdoulaye Ndiaye tại Đại học New York sẽ nghiên cứu thị trường phí địa phương để tối ưu hóa giá cả tắc nghẽn, khám phá việc thiết lập cơ chế định giá hiệu quả phản ánh trạng thái tắc nghẽn của mạng, nhằm đạt được phân bổ tài nguyên tối ưu.
Nghiên cứu về nhà tạo lập thị trường tự động phân mảnh
Đội ngũ của Giáo sư Ittay Eyal tại Viện Công nghệ Israel đang phát triển khái niệm "hợp đồng phân mảnh", sử dụng nhiều hợp đồng để tăng cường tính cạnh tranh. Họ sẽ tập trung nghiên cứu cách điều chỉnh cơ chế khuyến khích cho các nhà cung cấp thanh khoản và người giao dịch, nhằm duy trì nhiều phân mảnh AMM, đạt được phân mảnh AMM hoàn toàn có thể song song.
Vai trò của sự tiết lộ cá nhân trong cơ chế cạnh tranh
Giáo sư Andrea Attar từ Đại học Ramatovivata sẽ khám phá các phương pháp mới trong thiết kế cơ chế thị trường, nghiên cứu tác động của việc tiết lộ thông tin một cách riêng tư từ nhà thiết kế tới đại lý đối với kết quả thị trường và tương tác chiến lược, cung cấp cái nhìn cho động lực và cạnh tranh của thị trường hiện đại.
Mô hình ngôn ngữ lớn tạo hợp đồng thông minh Sui
Ken Koedinger và Eason Chen từ Đại học Carnegie Mellon sẽ cam kết giải quyết những thách thức trong việc tạo ra hợp đồng thông minh bằng ngôn ngữ Move. Họ dự định nâng cao hiệu quả của các mô hình ngôn ngữ lớn trong việc tạo ra hợp đồng thông minh Sui bằng cách thu thập các ví dụ mã Move, cải thiện kỹ thuật gợi ý và thực hiện tinh chỉnh.
Nghiên cứu khung chuyển tiếp ngôn ngữ Move
Giáo sư George Giaglis của Đại học Nicosia sẽ thực hiện phân tích so sánh toàn diện giữa Solidity và Move, khám phá sâu các chức năng và khả năng của Move, và xây dựng khung giúp các nhà phát triển chuyển đổi sang phát triển Move một cách suôn sẻ.
Phương pháp học sâu tối ưu DeFi
Rachid Guerraoui và Walid Sofiane từ Viện Công nghệ Liên bang Lausanne sẽ phát triển mô hình học sâu hỗn hợp cho dự đoán khoảng cách tối ưu trong giao thức Sui DeFi. Mô hình này kết hợp mạng nơ-ron hồi tiếp nâng cao, học tăng cường sâu và phân tích cảm xúc trên mạng xã hội, nhằm nâng cao khả năng phản ứng của giao thức DeFi đối với những thay đổi của thị trường.
Đánh giá khả năng dự đoán độ biến động SUI
Giáo sư Stavros Degiannakis của Đại học Mở Síp sẽ nghiên cứu hiệu quả của thuật toán SPEC trong việc dự đoán độ biến động của tài sản Sui, tập trung vào nghiên cứu SUI bằng cách sử dụng dữ liệu giá cao cấp và xác minh trong nhiều tài sản blockchain khác.
zkSNARKs trong suốt hậu lượng tử với bộ nhớ thấp
Brett Falk và Pratyush Mishra từ Đại học Pennsylvania sẽ tập trung vào việc phát triển zkSNARKs có thể mở rộng, đồng thời giải quyết ba trở ngại lớn về độ phức tạp thời gian của người chứng minh, độ phức tạp không gian và kích thước SRS, để cung cấp các giải pháp chứng minh mật mã có thể mở rộng sẵn sàng triển khai cho các ứng dụng khác nhau trong công nghệ blockchain.
Các dự án nghiên cứu này bao gồm nhiều lĩnh vực tiên tiến của công nghệ blockchain, từ cơ chế đồng thuận đến an toàn hợp đồng thông minh, từ tối ưu hóa DeFi đến bảo vệ quyền riêng tư. Những kết quả của chúng hứa hẹn sẽ mang lại những đột phá quan trọng cho hệ sinh thái Sui và toàn ngành công nghiệp blockchain, thúc đẩy sự phát triển hơn nữa của công nghệ Web3.