Tezos tài trợ cho 4 tổ chức nghiên cứu: Emin Gün Sirer, University of Beira Interior, Decentralized Et Consulting, LLC. (“Decet”),  France-IOI.

Tezos tài trợ cho 4 tổ chức nghiên cứu: Emin Gün Sirer, University of Beira Interior, Decentralized Et Consulting, LLC. (“Decet”),  France-IOI.
4 (80%) 1 vote

Tezos tài trợ cho 4 tổ chức nghiên cứu: Emin Gün Sirer ở Cornell University, The University of Beira Interior, Decentralized Et Consulting, LLC. (“Decet”),  France-IOI.

Emin Gun Sirer ở Đại học Cornell University

Nhóm nghiên cứu tại Đại học Cornell, dẫn đầu bởi Phó Giáo sư và đồng Giám đốc của Sáng kiến cho Cryptocurrencies và Hợp đồng thông minh ( “IC3”) Emin Gun Sirer. Team này sẽ bắt đầu một nỗ lực nghiên cứu hai năm về thuật toán đồng thuận. Đặc biệt tập trung vào sharding trong giao thức blockchain. Sharding là một giải pháp mở rộng quy mô tiềm năng nhờ đó mà các bộ phận của blockchain được chia sẽ. Sau khi nghiên cứu của mình, nhóm nghiên cứu Cornell sẽ phát triển các giao thức có thể được áp dụng cho Tezos.

Đại học University of Beira Interior

Đại học Beira Interior, một tổ chức nghiên cứu hàng đầu có trụ sở tại Bồ Đào Nha, sẽ nhận được một khoản trợ cấp từ Tezos Foundation để hỗ trợ hai dự án. Dự án đầu tiên, mà sẽ tài trợ cho hai luận văn thạc sĩ, sẽ liên quan đến nghiên cứu tình hình thực hiện Tezos cho sự kiện khai thác gỗ của robot trong môi trường nhà máy. Dự án thứ hai, trong đó sẽ bao gồm hai luận án tiến sĩ, sẽ khám phá các công cụ để phân tích tĩnh của hợp đồng thông minh trong ngôn ngữ lập trình như Michelson. Tập trung vào các kỹ thuật xác minh chính thức và hỗ trợ cho kiểm tra máy hợp đồng thông minh sử dụng các trợ lý bằng chứng như Why3Coq.

Decentralized Et Consulting, LLC. (“Decet”)

Decentralized Et Consulting, LLC. ( “Decet”) là một tổ chức nghiên cứu thành lập bởi Gordon Speagle của Trường Cao đẳng Kỹ thuật tại Đại học Illinois tại Urbana-Champaign vào năm 2017. Tổ chức này nghiên cứu phương pháp mới để phân cấp và cung cấp các giải pháp blockchain cho cơ hội. Với cấp hai trong năm nay, nhóm nghiên cứu Decet sẽ xây dựng một nguồn tài nguyên tài liệu phát triển trực tuyến mạnh mẽ, rõ ràng và dễ tiếp cận cho hệ sinh thái Tezos. tài liệu này sẽ bao gồm các thông số kỹ thuật, hướng dẫn, và hướng dẫn giảng dạy cho cả nhà phát triển và không phát triển để hiểu rõ hơn Tezos và cách xây dựng trên nó.

France-IOI

Trong một nỗ lực thêm để trao quyền cho cộng đồng Tezos, France-IOI, hợp tác với Viện Mỏ-Telecom, Blaise Pascal Foundation, và những người khác sẽ phát triển công cụ, nội dung và các hoạt động nhằm giúp ngày càng có nhiều sinh viên tìm hiểu về lập trình, algorithmics cấp cao, và công nghệ làm cơ sở cho Tezos. Cả tài trợ Decet và Pháp-IOI sẽ hỗ trợ công tác giáo dục và đào tạo của các nhà phát triển Tezos hiện tại và tương lai.

Các khoản tài trợ nêu trên củng cố cam kết của Foundation để hỗ trợ các tổ chức nghiên cứu hàng đầu và các sáng kiến giáo dục trong các nỗ lực của họ để thúc đẩy các giao thức Tezos và hệ sinh thái. Các Foundation sẽ tổ chức một cuộc Họp chính thức cho đề nghị tài trợ nghiên cứu vào cuối tháng này. Người được cấp tiền ngay lập tức nhận một khoản trợ cấp có thể áp dụng thông qua hình thức tài trợ tạm thời.

PS: Nhiệm vụ cốt lõi Tezos Foundation là hỗ trợ sự thành công lâu dài của giao thức Tezos và hệ sinh thái. Bằng cách tài trợ cho các dự án tưởng tượng của các nhà khoa học, nhà nghiên cứu, các doanh nhân, và những người đam mê, Quỹ khuyến khích phát triển phi tập trung và tham gia mạnh mẽ. Tất cả các bên được mời để trình cấp đề xuất và đóng góp cho Tezos.

LEAVE A REPLY

Please enter your comment!
Please enter your name here