Kết quả tài trợ nghiên cứu học thuật vòng mới của Sui đã được công bố: Nhiều trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận tài trợ vượt quá 420.000 đô la Mỹ.
Gần đây, Quỹ Sui đã công bố danh sách người đoạt giải của chương trình tài trợ nghiên cứu học thuật mới. Chương trình này nhằm hỗ trợ các dự án nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt là trong những khám phá tiên phong liên quan đến mạng blockchain, lập trình hợp đồng thông minh và các công nghệ sản phẩm xây dựng trên Sui.
Trong hai giai đoạn vừa qua, đã 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ợ đạt 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.
Tổng quan dự án được tài trợ
Nghiên cứu về sự đa dạng của tổ chức tự trị phi tập trung
Giáo sư Ari Juels tại Đại học Cornell sẽ tiến hành nghiên cứu về bản chất của tổ chức phi tập trung. Dự án này sẽ 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 để nâng cao mức độ 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
Giáo sư Philipp Jovanovic tại Đại học London đã đề xuất phát triển một giao thức DAG bất đồng bộ để tăng cường 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 nhằm cung cấp mức độ bảo mật và khả năng thích ứng cao hơn, đồng thời duy trì gần với 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ựa trên mô hình ngôn ngữ lớn
Giáo sư Arthur Gervais tại Đại học London dự định 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. Nhóm nghiên cứu trước đó đã phát hiện ra các lỗ hổng trong 52 hợp đồng thông minh DeFi Solidity, dẫn đến thiệt hại gần 1 tỷ đô la, và hiện đang mở rộng nghiên cứu sang hợp đồng thông minh Sui.
Bản đồ toàn cảnh trong 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 một cuộc 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ã. Kết quả nghiên cứu sẽ 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 giao thức oracle phi tập trung
Giáo sư Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo của Djed Alliance sẽ tạo ra một khung để 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. Dự án sẽ phát triển một thư viện định nghĩa và chiến lược chứng minh toàn diện trong hệ thống quản lý chứng minh Coq.
Nhận diện nút thắt khả năng mở rộng blockchain
Giáo sư Roger Wattenhofer của Viện Công nghệ Liên bang Zurich sẽ tập trung vào việc xác định các nút thắt về khả năng mở rộng xuất phát từ những thiếu sót trong thiết kế hợp đồng thông minh, và khám phá tác động của việc điều chỉnh phí giao dịch đối với tiềm năng song song.
Xác minh cơ khí giao thức Bullshark
Giáo sư Ilya Sergey của Đại học Quốc gia Singapore dự định 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 giao thức Bullshark, thúc đẩy sự hiểu biết về các giao thức đồng thuận dựa trên DAG.
Khung tiêu chuẩn hóa chuẩn mực blockchain
Giáo sư Henry F. Korth từ Đại học Lihaï đã đề xuất tạo ra một định dạng chuẩn hóa cơ sở dữ liệu 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à các nhà phát triển.
Lớp sắp xếp chia sẻ phi tập trung có thể mở rộng
Giáo sư 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 sắp xếp chia sẻ, nghiên cứu nhiều giải pháp Rollup sử dụng Sui làm lớp sắp xếp.
Thị trường phí địa phương và tối ưu hóa định giá tắc nghẽn
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 cơ chế định giá tắc nghẽn của mạng blockchain, nhằm xây dựng một mô hình định giá hiệu quả phản ánh trạng thái tắc nghẽn của mạng.
Cơ chế tạo thị trường tự động phân đoạn
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 đoạn, tận dụng nhiều hợp đồng để nâng cao tính đồng thời. Nghiên cứu tập trung vào việc điều chỉnh cơ chế khuyến khích cho nhà cung cấp thanh khoản và nhà giao dịch, nhằm đạt được AMM phân đoạn hoàn toàn có thể thực thi song song.
Công bố thông tin 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 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.
Tạo hợp đồng thông minh Sui dựa trên mô hình ngôn ngữ lớn
Giáo sư Ken Koedinger và Eason Chen từ Đại học Carnegie Mellon sẽ tập trung vào việc giải quyết các thách thức hiện tại của các mô hình ngôn ngữ lớn trong việc tạo ra hợp đồng thông minh bằng ngôn ngữ Move. Nghiên cứu bao gồm việc thu thập tập dữ liệu ví dụ về ngôn ngữ Move, tăng cường kỹ thuật gợi ý và thực hiện tinh chỉnh mô hình.
Khung đo lường so sánh chuyển đổi 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 ngôn ngữ Solidity và Move, nhằm thúc đẩy sự hiểu biết sâu sắc về các chức năng và khả năng của Move, cũng như giúp các nhà phát triển chuyển tiếp sang phát triển Move một cách suôn sẻ.
Tối ưu hóa DeFi: Phương pháp học sâu
Các giáo sư Rachid Guerraoui và Walid Sofiane của Viện Công nghệ Liên bang Lausanne sẽ phát triển một mô hình học sâu hỗn hợp để dự đoán phạm vi tối ưu trong giao thức Sui DeFi, 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 giá khả năng dự đoán biến động SUI
Giáo sư Stavros Degiannakis tại Đại học Mở Síp sẽ điều tra tính 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, chủ yếu tập trung vào tài sản SUI và xác minh trên các tài sản blockchain khác.
zkSNARKs trong suốt lượng tử hậu thấp
Giáo sư Brett Falk và Pratyush Mishra của Đại học Pennsylvania đang nỗ lực phát triển zkSNARKs có thể mở rộng, giải quyết các rào cản chính như độ phức tạp về thời gian của người chứng minh, độ phức tạp về 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 nhiều ứng dụng trong công nghệ 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.
5 thích
Phần thưởng
5
6
Chia sẻ
Bình luận
0/400
ForeverBuyingDips
· 22giờ trước
Trời ơi, có thể cho một số dự án thực tế không? Nói những thứ lý thuyết này để làm gì?
Xem bản gốcTrả lời0
nft_widow
· 22giờ trước
Chắc là thùng gạo sắp cạn rồi phải không?
Xem bản gốcTrả lời0
BlockchainBouncer
· 22giờ trước
Cứng cáp Sui khi nào sẽ khởi động vòng thứ hai? Đã chuẩn bị từ lâu rồi.
Xem bản gốcTrả lời0
MoonRocketman
· 22giờ trước
Tăng xu hướng rõ ràng khối lượng RSI quan trọng hơn giữ trên 400.000 đô la cửa sổ phóng
Xem bản gốcTrả lời0
MetaverseVagrant
· 22giờ trước
Ôi, tiền không cho chúng tôi, bán lẻ.
Xem bản gốcTrả lời0
BlockchainFoodie
· 22giờ trước
phục vụ một số khoản tài trợ web3 hấp dẫn như một mẻ bánh bao defi tươi ngon... bằng chứng thực sự của thế chấp nằm ở hương vị fr
Chương trình tài trợ học thuật mới của Sui được công bố, 17 dự án Blockchain nhận 425000 đô la hỗ trợ.
Kết quả tài trợ nghiên cứu học thuật vòng mới của Sui đã được công bố: Nhiều trường đại học nổi tiếng toàn cầu tham gia, 17 dự án nhận tài trợ vượt quá 420.000 đô la Mỹ.
Gần đây, Quỹ Sui đã công bố danh sách người đoạt giải của chương trình tài trợ nghiên cứu học thuật mới. Chương trình này nhằm hỗ trợ các dự án nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt là trong những khám phá tiên phong liên quan đến mạng blockchain, lập trình hợp đồng thông minh và các công nghệ sản phẩm xây dựng trên Sui.
Trong hai giai đoạn vừa qua, đã 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ợ đạt 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.
Tổng quan dự án được tài trợ
Nghiên cứu về sự đa dạng của tổ chức tự trị phi tập trung
Giáo sư Ari Juels tại Đại học Cornell sẽ tiến hành nghiên cứu về bản chất của tổ chức phi tập trung. Dự án này sẽ 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 để nâng cao mức độ 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
Giáo sư Philipp Jovanovic tại Đại học London đã đề xuất phát triển một giao thức DAG bất đồng bộ để tăng cường 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 nhằm cung cấp mức độ bảo mật và khả năng thích ứng cao hơn, đồng thời duy trì gần với 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ựa trên mô hình ngôn ngữ lớn
Giáo sư Arthur Gervais tại Đại học London dự định 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. Nhóm nghiên cứu trước đó đã phát hiện ra các lỗ hổng trong 52 hợp đồng thông minh DeFi Solidity, dẫn đến thiệt hại gần 1 tỷ đô la, và hiện đang mở rộng nghiên cứu sang hợp đồng thông minh Sui.
Bản đồ toàn cảnh trong 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 một cuộc 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ã. Kết quả nghiên cứu sẽ 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 giao thức oracle phi tập trung
Giáo sư Giselle Reis từ Đại học Carnegie Mellon và Bruno Woltzenlogel Paleo của Djed Alliance sẽ tạo ra một khung để 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. Dự án sẽ phát triển một thư viện định nghĩa và chiến lược chứng minh toàn diện trong hệ thống quản lý chứng minh Coq.
Nhận diện nút thắt khả năng mở rộng blockchain
Giáo sư Roger Wattenhofer của Viện Công nghệ Liên bang Zurich sẽ tập trung vào việc xác định các nút thắt về khả năng mở rộng xuất phát từ những thiếu sót trong thiết kế hợp đồng thông minh, và khám phá tác động của việc điều chỉnh phí giao dịch đối với tiềm năng song song.
Xác minh cơ khí giao thức Bullshark
Giáo sư Ilya Sergey của Đại học Quốc gia Singapore dự định 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 giao thức Bullshark, thúc đẩy sự hiểu biết về các giao thức đồng thuận dựa trên DAG.
Khung tiêu chuẩn hóa chuẩn mực blockchain
Giáo sư Henry F. Korth từ Đại học Lihaï đã đề xuất tạo ra một định dạng chuẩn hóa cơ sở dữ liệu 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à các nhà phát triển.
Lớp sắp xếp chia sẻ phi tập trung có thể mở rộng
Giáo sư 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 sắp xếp chia sẻ, nghiên cứu nhiều giải pháp Rollup sử dụng Sui làm lớp sắp xếp.
Thị trường phí địa phương và tối ưu hóa định giá tắc nghẽn
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 cơ chế định giá tắc nghẽn của mạng blockchain, nhằm xây dựng một mô hình định giá hiệu quả phản ánh trạng thái tắc nghẽn của mạng.
Cơ chế tạo thị trường tự động phân đoạn
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 đoạn, tận dụng nhiều hợp đồng để nâng cao tính đồng thời. Nghiên cứu tập trung vào việc điều chỉnh cơ chế khuyến khích cho nhà cung cấp thanh khoản và nhà giao dịch, nhằm đạt được AMM phân đoạn hoàn toàn có thể thực thi song song.
Công bố thông tin 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 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.
Tạo hợp đồng thông minh Sui dựa trên mô hình ngôn ngữ lớn
Giáo sư Ken Koedinger và Eason Chen từ Đại học Carnegie Mellon sẽ tập trung vào việc giải quyết các thách thức hiện tại của các mô hình ngôn ngữ lớn trong việc tạo ra hợp đồng thông minh bằng ngôn ngữ Move. Nghiên cứu bao gồm việc thu thập tập dữ liệu ví dụ về ngôn ngữ Move, tăng cường kỹ thuật gợi ý và thực hiện tinh chỉnh mô hình.
Khung đo lường so sánh chuyển đổi 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 ngôn ngữ Solidity và Move, nhằm thúc đẩy sự hiểu biết sâu sắc về các chức năng và khả năng của Move, cũng như giúp các nhà phát triển chuyển tiếp sang phát triển Move một cách suôn sẻ.
Tối ưu hóa DeFi: Phương pháp học sâu
Các giáo sư Rachid Guerraoui và Walid Sofiane của Viện Công nghệ Liên bang Lausanne sẽ phát triển một mô hình học sâu hỗn hợp để dự đoán phạm vi tối ưu trong giao thức Sui DeFi, 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 giá khả năng dự đoán biến động SUI
Giáo sư Stavros Degiannakis tại Đại học Mở Síp sẽ điều tra tính 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, chủ yếu tập trung vào tài sản SUI và xác minh trên các tài sản blockchain khác.
zkSNARKs trong suốt lượng tử hậu thấp
Giáo sư Brett Falk và Pratyush Mishra của Đại học Pennsylvania đang nỗ lực phát triển zkSNARKs có thể mở rộng, giải quyết các rào cản chính như độ phức tạp về thời gian của người chứng minh, độ phức tạp về 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 nhiều ứng dụng trong công nghệ blockchain.