Kế hoạch tài trợ nghiên cứu Blockchain mới của Sui được công bố: Nhiều trường đại học nổi tiếng tham gia, 17 dự án nhận được hơn 420.000 đô la Mỹ
Gần đây, Quỹ Sui đã công bố danh sách những người chiến thắng trong vòng tài trợ nghiên cứu blockchain mới nhất. Chương trình này nhằm tài trợ cho các dự án nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt là các đổi mới 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.
Đợt tài trợ này có tổng cộng 17 dự án nghiên cứu từ các trường đại học nổi tiếng toàn cầu được chọn, 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.
Dưới đây là một số giới thiệu về các dự án đoạt giải:
Nghiên cứu về sự đa dạng của Tổ chức tự trị phi tập trung ( DAO )
Nhóm nghiên cứu của Đạ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ách tăng cường sự phi tập trung bên trong tổ chức.
Giao thức đồng thuận DAG bất đồng bộ an toàn tự thích ứng
Các nhà nghiên cứu từ Đại học London đã đề xuất phát triển một giao thức DAG ( không đồng bộ để cải thiện 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 cung cấp an ninh 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 mô hình đồng bộ một phần.
Kiểm toán hợp đồng thông minh dựa trên mô hình ngôn ngữ lớn
Một nhóm nghiên cứu khác của Đại học London dự định sử dụng các mô hình ngôn ngữ lớn như GPT-4 để cải thiện việc kiểm toán hợp đồng thông minh Move. Họ đã phát hiện ra các 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. Dự án này sẽ mở rộng nghiên cứu này sang hợp đồng thông minh Sui.
Ánh xạ lĩnh vực giao thức đồng thuận
Dự án của Đại học Bern sẽ khảo sát lĩnh vực giao thức đồng thuận hiện tại, cung cấp cái nhìn mới cho giao thức đồng thuận mã hóa, 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ế giao thức phân tán.
Khung xác minh giao thức tiên tri phi tập trung
Các nhà nghiên cứu từ Đại học Carnegie Mellon sẽ tạo ra một khung công tác để phân tích và xác minh nghiêm ngặt các oracle blockchain 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 định nghĩa và chiến lược chứng minh toàn diện.
Nhận diện các nút thắt khả năng mở rộng của Blockchain
Đội ngũ 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 phát sinh từ các thiếu sót trong thiết kế hợp đồng thông minh, và khám phá cách điều chỉnh phí giao dịch để nâng cao tiềm năng song song.
Xác thực hình thức của giao thức đồng thuận Bullshark
Nghiên cứu của Đại học Quốc gia Singapore nhằm 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 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.
Blockchain tiêu chuẩn hóa khung
Dự án của Đại học Lihaï kế hoạch tạo ra một định dạng tiêu chuẩn hóa cơ sở dữ liệu Blockchain để so sánh công bằng hiệu suất của các Blockchain L1 khác nhau 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.
Những 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ừ cơ chế đồng thuận đến bảo mật hợp đồng thông minh, từ tổ chức phi tập trung đến giao thức oracle. Thông qua việc hỗ trợ những nghiên cứu tiên tiến này, Quỹ Sui nhằm thúc đẩy tiến bộ công nghệ và đổi mới trong toàn bộ hệ sinh thái 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.
6 thích
Phần thưởng
6
3
Chia sẻ
Bình luận
0/400
ChainWanderingPoet
· 19giờ trước
Tiền đều đưa cho trường học thật sự sẽ cháy.
Xem bản gốcTrả lời0
BearMarketNoodler
· 19giờ trước
Số tiền này chia cho 17 trường học thật thú vị
Xem bản gốcTrả lời0
0xOverleveraged
· 19giờ trước
Tiền đã đến nơi, giới học thuật cũng phải chơi đùa rồi.
Quỹ Sui công bố vòng tài trợ nghiên cứu Blockchain mới, 17 trường đại học nhận 420.000 đô la hỗ trợ
Kế hoạch tài trợ nghiên cứu Blockchain mới của Sui được công bố: Nhiều trường đại học nổi tiếng tham gia, 17 dự án nhận được hơn 420.000 đô la Mỹ
Gần đây, Quỹ Sui đã công bố danh sách những người chiến thắng trong vòng tài trợ nghiên cứu blockchain mới nhất. Chương trình này nhằm tài trợ cho các dự án nghiên cứu thúc đẩy sự phát triển của Web3, đặc biệt là các đổi mới 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.
Đợt tài trợ này có tổng cộng 17 dự án nghiên cứu từ các trường đại học nổi tiếng toàn cầu được chọn, 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.
Dưới đây là một số giới thiệu về các dự án đoạt giải:
Nghiên cứu về sự đa dạng của Tổ chức tự trị phi tập trung ( DAO )
Nhóm nghiên cứu của Đạ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ách tăng cường sự phi tập trung bên trong tổ chức.
Giao thức đồng thuận DAG bất đồng bộ an toàn tự thích ứng
Các nhà nghiên cứu từ Đại học London đã đề xuất phát triển một giao thức DAG ( không đồng bộ để cải thiện 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 cung cấp an ninh 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 mô hình đồng bộ một phần.
Kiểm toán hợp đồng thông minh dựa trên mô hình ngôn ngữ lớn
Một nhóm nghiên cứu khác của Đại học London dự định sử dụng các mô hình ngôn ngữ lớn như GPT-4 để cải thiện việc kiểm toán hợp đồng thông minh Move. Họ đã phát hiện ra các 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. Dự án này sẽ mở rộng nghiên cứu này sang hợp đồng thông minh Sui.
Ánh xạ lĩnh vực giao thức đồng thuận
Dự án của Đại học Bern sẽ khảo sát lĩnh vực giao thức đồng thuận hiện tại, cung cấp cái nhìn mới cho giao thức đồng thuận mã hóa, 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ế giao thức phân tán.
Khung xác minh giao thức tiên tri phi tập trung
Các nhà nghiên cứu từ Đại học Carnegie Mellon sẽ tạo ra một khung công tác để phân tích và xác minh nghiêm ngặt các oracle blockchain 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 định nghĩa và chiến lược chứng minh toàn diện.
Nhận diện các nút thắt khả năng mở rộng của Blockchain
Đội ngũ 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 phát sinh từ các thiếu sót trong thiết kế hợp đồng thông minh, và khám phá cách điều chỉnh phí giao dịch để nâng cao tiềm năng song song.
Xác thực hình thức của giao thức đồng thuận Bullshark
Nghiên cứu của Đại học Quốc gia Singapore nhằm 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 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.
Blockchain tiêu chuẩn hóa khung
Dự án của Đại học Lihaï kế hoạch tạo ra một định dạng tiêu chuẩn hóa cơ sở dữ liệu Blockchain để so sánh công bằng hiệu suất của các Blockchain L1 khác nhau 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.
Những 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ừ cơ chế đồng thuận đến bảo mật hợp đồng thông minh, từ tổ chức phi tập trung đến giao thức oracle. Thông qua việc hỗ trợ những nghiên cứu tiên tiến này, Quỹ Sui nhằm thúc đẩy tiến bộ công nghệ và đổi mới trong toàn bộ hệ sinh thái Web3.