Sui công bố đợt tài trợ nghiên cứu học thuật mới: Các trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận hỗ trợ hơn 420.000 USD
Gần đây, Quỹ Sui đã công bố danh sách những người nhận tài trợ nghiên cứu học thuật trong vòng 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 là các công nghệ liên quan đến mạng blockchain, lập trình hợp đồng thông minh và các sản phẩm được xây dựng trên nền tảng Sui.
Trong hai giai đoạn trước, quỹ đã phê duyệt các đề xuất từ 17 trường đại học danh tiếng quốc tế, với tổng số tiền tài trợ lên tới 425.000 đô la. Các trường tham gia bao gồm Học 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.
Giới thiệu dự án được tài trợ
DAOs: Đa dạng nhóm bỏ phiếu
Giáo sư Ari Juels của Đại học Cornell sẽ nghiên cứu ý nghĩa cốt lõi của tổ chức phi tập trung, xây dựng 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 tính phi tập trung trong tổ chức.
Giao thức đồng thuận DAG bất đồng bộ an toàn thích ứng
Đội ngũ Philipp Jovanovic tại Đại học London đang nỗ lực 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 đe dọa đang thay đổi. Giao thức này được thiết kế để cung cấp độ bảo mật và khả năng thích ứng tốt hơn, đồng thời duy trì gần mức hiệu suất của các đối thủ bán đồng bộ.
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 việc kiểm toán hợp đồng thông minh Move. Nghiên cứu ban đầu của họ đã phát hiện ra những lỗ hổng trong 52 hợp đồng thông minh Solidity DeFi dẫn đến thiệt hại gần 1 tỷ USD. Dự án này mở rộng nghiên cứu này sang hợp đồng thông minh Sui.
ánh xạ giao thức đồng thuận lĩnh vực
Giáo sư Christopher Cachin tại Đại học Bern sẽ thực hiện một cuộc điều tra 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 về các giao thức đồng thuận mật mã, giúp hiểu rõ 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 đáng tin cậy cao của giao thức oracle phi tập trung
Giselle Reis của Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo của Djed Alliance sẽ tạo ra một khung công tác để 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ẽ tận dụng hệ thống quản lý chứng minh Coq để phát triển một thư viện đị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
Đội ngũ Roger Wattenhofer của Viện Công nghệ Liên bang Zurich sẽ xác định các nút thắt xuất phát từ những thiếu sót trong 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. Họ cũng sẽ nghiên cứu ảnh hưởng của việc điều chỉnh phí giao dịch đến khả năng song song.
Giao thức Bullshark cơ giới hóa
Giáo sư Ilya Sergey từ Đạ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 để 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ề giao thức đồng thuận dựa trên DAG.
BBSF: Khung tiêu chuẩn chuẩn hóa blockchain
Giáo sư Henry F. Korth tại Đại học Lehigh sẽ tạo ra một định dạng chuẩn hóa cho các tiêu chuẩn blockchain, nhằm 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à các 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.
Đội ngũ Min Suk Kang của 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 bộ định dạng chia sẻ, nghiên cứu nhiều Rollup sử dụng Sui làm lớp định dạng.
thị trường phí địa phương cho định giá tắc nghẽn tốt nhất
Giáo sư 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 độ ùn tắc, thiết lập cơ chế giá cả hiệu quả phản ánh tình trạng ùn tắc nhằm đạt được phân bổ tài nguyên tối ưu.
SAMM: Nhà tạo lập thị trường tự động phân mảnh
Nhóm Ittay Eyal tại Viện Công nghệ Israel đang phát triển khái niệm hợp đồng phân đoạn, sử dụng nhiều hợp đồng để tăng cường tính đồng thời. Họ sẽ điều chỉnh các động lực cho nhà cung cấp thanh khoản và nhà giao dịch để duy trì nhiều phân đoạn AMM.
Tiết lộ cá nhân trong cơ chế cạnh tranh
Giáo sư Andrea Attar từ Đại học Tor Vergata Roma 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 các nhà thiết kế tiết lộ thông tin một cách riêng tư cho các đại lý đối với kết quả thị trường và tương tác chiến lược.
Ứng dụng 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ẽ tinh chỉnh các mô hình ngôn ngữ lớn bằng cách sử dụng mã Move và các gợi ý cụ thể của Sui để giải quyết những thách thức trong việc tạo hợp đồng thông minh bằng ngôn ngữ Move.
COMET: Chuyển đổi sang các phép đo và khung so sánh của Move
Giáo sư George Giaglis từ Đại học Nicosia sẽ hoàn thành một phân tích so sánh toàn diện giữa Solidity và Move, nhằm thúc đẩy hiểu biết sâu hơn về chức năng và khả năng của Move.
DeFi cách mạng: Tối ưu hóa tính thanh khoản và phí động trên Sui bằng phương pháp học sâu
Rachid Guerraoui và Walid Sofiane từ Viện Công nghệ Liên bang Lausanne sẽ phát triển một mô hình học sâu kết hợp, nhằm dự đoán phạm vi tối ưu trong giao thức Sui DeFi, tích hợp phân tích cảm xúc truyền thông xã hội để nâng cao độ chính xác.
Đánh giá khả năng dự đoán biến động của SUI
Giáo sư Stavros Degiannakis của Đại học Mở Síp sẽ khảo sát tính hiệu quả của thuật toán SPEC trong dự đoán độ biến động của tài sản Sui, tập trung chủ yếu vào SUI và thực hiện xác minh trên các tài sản blockchain khác nhau.
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 phát triển zkSNARKs có thể mở rộng, đồng thời giải quyết ba trở ngại chính: độ 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.
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ừ quản trị phi tập trung đến an ninh hợp đồng thông minh, từ cơ chế đồng thuận đến xác thực oracle, phản ánh sự coi trọng của hệ sinh thái Sui đối với đổi mới học thuật. Thông qua việc hỗ trợ những dự án nghiên cứu chất lượng cao này, Quỹ Sui nhằm thúc đẩy sự phát triển tổng thể của công nghệ blockchain, đặt nền móng vững chắc cho lý thuyết và công nghệ trong tương lai của 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.
14 thích
Phần thưởng
14
7
Đăng lại
Chia sẻ
Bình luận
0/400
APY追逐者
· 07-23 04:17
42w thật sự có chút lạnh lẽo
Xem bản gốcTrả lời0
WalletManager
· 07-22 14:57
Khả năng kiểm toán đã được cải thiện, thị trường cũng nên pump rồi.
Quỹ Sui công bố 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.
Sui công bố đợt tài trợ nghiên cứu học thuật mới: Các trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận hỗ trợ hơn 420.000 USD
Gần đây, Quỹ Sui đã công bố danh sách những người nhận tài trợ nghiên cứu học thuật trong vòng 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 là các công nghệ liên quan đến mạng blockchain, lập trình hợp đồng thông minh và các sản phẩm được xây dựng trên nền tảng Sui.
Trong hai giai đoạn trước, quỹ đã phê duyệt các đề xuất từ 17 trường đại học danh tiếng quốc tế, với tổng số tiền tài trợ lên tới 425.000 đô la. Các trường tham gia bao gồm Học 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.
Giới thiệu dự án được tài trợ
DAOs: Đa dạng nhóm bỏ phiếu
Giáo sư Ari Juels của Đại học Cornell sẽ nghiên cứu ý nghĩa cốt lõi của tổ chức phi tập trung, xây dựng 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 tính phi tập trung trong tổ chức.
Giao thức đồng thuận DAG bất đồng bộ an toàn thích ứng
Đội ngũ Philipp Jovanovic tại Đại học London đang nỗ lực 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 đe dọa đang thay đổi. Giao thức này được thiết kế để cung cấp độ bảo mật và khả năng thích ứng tốt hơn, đồng thời duy trì gần mức hiệu suất của các đối thủ bán đồng bộ.
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 việc kiểm toán hợp đồng thông minh Move. Nghiên cứu ban đầu của họ đã phát hiện ra những lỗ hổng trong 52 hợp đồng thông minh Solidity DeFi dẫn đến thiệt hại gần 1 tỷ USD. Dự án này mở rộng nghiên cứu này sang hợp đồng thông minh Sui.
ánh xạ giao thức đồng thuận lĩnh vực
Giáo sư Christopher Cachin tại Đại học Bern sẽ thực hiện một cuộc điều tra 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 về các giao thức đồng thuận mật mã, giúp hiểu rõ 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 đáng tin cậy cao của giao thức oracle phi tập trung
Giselle Reis của Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo của Djed Alliance sẽ tạo ra một khung công tác để 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ẽ tận dụng hệ thống quản lý chứng minh Coq để phát triển một thư viện đị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
Đội ngũ Roger Wattenhofer của Viện Công nghệ Liên bang Zurich sẽ xác định các nút thắt xuất phát từ những thiếu sót trong 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. Họ cũng sẽ nghiên cứu ảnh hưởng của việc điều chỉnh phí giao dịch đến khả năng song song.
Giao thức Bullshark cơ giới hóa
Giáo sư Ilya Sergey từ Đạ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 để 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ề giao thức đồng thuận dựa trên DAG.
BBSF: Khung tiêu chuẩn chuẩn hóa blockchain
Giáo sư Henry F. Korth tại Đại học Lehigh sẽ tạo ra một định dạng chuẩn hóa cho các tiêu chuẩn blockchain, nhằm 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à các 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.
Đội ngũ Min Suk Kang của 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 bộ định dạng chia sẻ, nghiên cứu nhiều Rollup sử dụng Sui làm lớp định dạng.
thị trường phí địa phương cho định giá tắc nghẽn tốt nhất
Giáo sư 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 độ ùn tắc, thiết lập cơ chế giá cả hiệu quả phản ánh tình trạng ùn tắc nhằm đạt được phân bổ tài nguyên tối ưu.
SAMM: Nhà tạo lập thị trường tự động phân mảnh
Nhóm Ittay Eyal tại Viện Công nghệ Israel đang phát triển khái niệm hợp đồng phân đoạn, sử dụng nhiều hợp đồng để tăng cường tính đồng thời. Họ sẽ điều chỉnh các động lực cho nhà cung cấp thanh khoản và nhà giao dịch để duy trì nhiều phân đoạn AMM.
Tiết lộ cá nhân trong cơ chế cạnh tranh
Giáo sư Andrea Attar từ Đại học Tor Vergata Roma 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 các nhà thiết kế tiết lộ thông tin một cách riêng tư cho các đại lý đối với kết quả thị trường và tương tác chiến lược.
Ứng dụng 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ẽ tinh chỉnh các mô hình ngôn ngữ lớn bằng cách sử dụng mã Move và các gợi ý cụ thể của Sui để giải quyết những thách thức trong việc tạo hợp đồng thông minh bằng ngôn ngữ Move.
COMET: Chuyển đổi sang các phép đo và khung so sánh của Move
Giáo sư George Giaglis từ Đại học Nicosia sẽ hoàn thành một phân tích so sánh toàn diện giữa Solidity và Move, nhằm thúc đẩy hiểu biết sâu hơn về chức năng và khả năng của Move.
DeFi cách mạng: Tối ưu hóa tính thanh khoản và phí động trên Sui bằng phương pháp học sâu
Rachid Guerraoui và Walid Sofiane từ Viện Công nghệ Liên bang Lausanne sẽ phát triển một mô hình học sâu kết hợp, nhằm dự đoán phạm vi tối ưu trong giao thức Sui DeFi, tích hợp phân tích cảm xúc truyền thông xã hội để nâng cao độ chính xác.
Đánh giá khả năng dự đoán biến động của SUI
Giáo sư Stavros Degiannakis của Đại học Mở Síp sẽ khảo sát tính hiệu quả của thuật toán SPEC trong dự đoán độ biến động của tài sản Sui, tập trung chủ yếu vào SUI và thực hiện xác minh trên các tài sản blockchain khác nhau.
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 phát triển zkSNARKs có thể mở rộng, đồng thời giải quyết ba trở ngại chính: độ 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.
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ừ quản trị phi tập trung đến an ninh hợp đồng thông minh, từ cơ chế đồng thuận đến xác thực oracle, phản ánh sự coi trọng của hệ sinh thái Sui đối với đổi mới học thuật. Thông qua việc hỗ trợ những dự án nghiên cứu chất lượng cao này, Quỹ Sui nhằm thúc đẩy sự phát triển tổng thể của công nghệ blockchain, đặt nền móng vững chắc cho lý thuyết và công nghệ trong tương lai của Web3.