Объявление четвертой группы грантов экосистемы Tezos

27 июля 2020
Tezos Ukraine
Image for post

Tezos Foundation (TF) рад объявить о последней группе грантов экосистемы Tezos. В заявке на участие (RFP) были представлены более 120 грантовых предложений, с акцентом на инфраструктуру/инструменты, образовательные ресурсы и продукты для конечных пользователей.

Announcing Fourth Cohort of Tezos Ecosystem Grants


В частности, в данный RFP были включены следующие категории:

— Образовательные/обучающие ресурсы, связанные с Tezos (например, Kauri, CryptoZombies и т. Д.)

— Инструменты для разработки смарт-контрактов Tezos (например, инструменты для тестирования смарт-контрактов, шаблоны смарт-контрактов, инфраструктура, инструментальное сопровождение Tez как денег и т. д.)

— Исследование основных компонентов протокола

— Приложения, созданные с использованием смарт-контрактов Tezos (с акцентом на децентрализованные финансы, или «DeFi»)

Ниже приведен подробный обзор каждого из проектов, финансируемого в рамках этой группы.


Образование и Исследования

Стремясь содействовать развитию экосистемы Tezos, TF продолжает инвестировать в образовательные и обучающие программы для разработчиков. Эта группа грантов предоставляет финансирование двум уважаемым командам разработчиков Tezos для объединения образовательных программ и контента. Кроме того, TF развернули капитал для исследования основных компонентов протокола. Прорыв в исследованиях приведет к повышению безопасности и улучшению инструментов и инфраструктуры в долгосрочной перспективе.

COCTI (Certifiable OCaml Type Inference) Жака Гаррига, профессора Высшей математической школы Университета Нагоя. В рамках этого проекта Жак и его команда постараются сделать вывод типа OCaml более надежным, модульным и проверяемым за счет модульной проверки типов OCaml с использованием вывода типа на основе ограничений и его сертификации с помощью ассистента проверки Coq. Кроме того, исследователи проведут технические курсы о Tezos в университете Нагоя. Актуальность проекта заключается в том, что сертификация вывода типа OCaml является важнейшим строительным блоком как напрямую (так как гарантирует, что программы не могут работать неправильно на уровне набора текста), так и косвенно (поскольку многие методы сертификации программ полагаются лишь на то, что эти программы корректно типизированы).

Tezos Kitchen от Stove Labs: Stove Labs — активная команда разработчиков Tezos. Этот проект создаст всеобъемлющий и современный план контента, благодаря которому разработчики смогут узнать, как применяется Tezos в различных вариантах использования. Пользователи смогут ознакомиться с новыми и существующими концепциями с помощью семинаров, пользоваться Tezos wiki и экспериментировать с шаблонами для работы со смарт-контрактами в сети Tezos.

Tezos Labs от Baking Bad: Baking Bad — активная команда разработчиков Tezos, создавшая такие продукты Tezos, как BetterCallDev, обозреватель смарт-контрактов, и TzKT, расширенный обозреватель блоков, индексатор и API. В дополнение к существующим проектам, команда Baking Bad создаст интерактивную программу обучения разработчиков Tezos, чтобы помочь большему числу пользователей в экосистеме Tezos.


Инфраструктура и Инструменты

Непрерывные инвестиции в инфраструктуру и инструментарий Tezos позволят разработчикам всех категорий успешно создавать приложения для других разработчиков, а также конечных пользователей. Разработка инструментов и инфраструктуры снижает барьеры входа для выпечки, анализа данных Tezos и переноса смарт-контрактов, а также облегчает создание большего количества приложений для конечных пользователей и различных вариантов использования (DeFi, tez как интернет-деньги, игры и предметы коллекционирования и т.д.).

Anyblock Analytics: Anyblock Analytics — немецкий блокчейн поставщик решений, предлагающий методы, инструменты и данные для интеграции бизнес-процессов с блокчейн-технологией. Команда Anyblock Analytics добавит данные Tezos в свой общедоступный индекс, благодаря чему кто угодно сможет бесплатно запросить их с помощью Elasticsearch DSL и SQL, что в свою очередь сделает данные Tezos более доступными как для разработчиков, так и для конечных пользователей.

Coinkit Tipbot от Blockcurators GmbH: Blockcurators GmbH управляет CoinKit, цепным ботом Tipbot, который можно использовать на различных платформах, таких как Twitter, Discord, Slack и Telegram. Этот проект интегрирует Tezos в CoinKit, что позволит делать переводы в tez, и значительно облегчит использование tez в качестве денег.

Data Hub от Figment Networks: Данный проект интегрирует Tezos в концентратор данных Figment, чтобы предоставить разработчикам простой доступ к данным Tezos без необходимости запуска собственных нод.

Enterprise Java Connectivity Toolbox от NEOFACTO: NEOFACTO — консалтинговая компания в области информационных технологий, базирующаяся в Люксембурге, Париже и Брюсселе. Чтобы сделать Tezos более доступным для предприятий в сфере финансовых услуг, команда NEOFACTO создаст для Tezos инструментарий подключения Java и обеспечит его готовность к обслуживанию в будущем.

Инфраструктура формальной верификации для Michelson от Runtime Verification: Runtime Verification разрабатывает формальные модели для высококлассных доменов приложений, и затем использует их для разработки продуктов и услуг, ориентированных на конкретные домены, которые в свою очередь нацелены на корректность и безопасность. Основываясь на своем опыте работы в Tezos, Runtime Verification создаст инфраструктуру формальной верификации для Michelson, расширив нынешнюю структуру модульного тестирования для проведения символических модульных тестов. Этот проект поможет разработчикам любой категории с легкостью использовать защищенные смарт-контракты Tezos.

MIDL.dev: MIDL.dev — компания, специализирующаяся на стейкинге. MIDL.dev работают над инструментарием инфраструктуры Tezos с открытым исходным кодом, который облегчит реализацию инфраструктуры стейкинга реплицируемым и безопасным способом. В дополнение к ускорению процесса децентрализации команда MIDL.dev упростит шаги, необходимые для развертывания узлов testnet, а также предоставит снимки Tezos, которые быстро загружаются и регулярно обновляются, снижая при этом барьеры для входа начинающих бейкеров Tezos.

Payzos: Payzos — это набор плагинов для различных платформ электронной коммерции, который позволяет пользователям устанавливать Tezos в качестве платежного метода для своих интернет-магазинов. Payzos стремится упростить процесс работы с Tez, облегчая в целом использование Tez в качестве денег и способствуя распространению Tezos среди розничных и онлайн-продавцов.

Компилятор Sol2ligo от Madfish Solutions: Madfish Solutions — украинская компания с более чем 3-летним опытом разработки блокчейнов. Madfish Solutions создают несколько продуктов для сообщества Tezos: Thanos, кошелек Tezos и расширение для браузера, а также QuipuSwap, децентрализованный протокол обмена цифровых активов на основе Tezos. Команда также разрабатывает sol2ligo, компилятор для переноса смарт-контрактов Solidity на LIGO, и будет продолжать делать его более полезным для разработчиков, переходящих на Tezos. Компилятор sol2ligo облегчит разработчикам перемещение смарт-контрактов из Ethereum в Tezos.

Домены Tezos от Agile Ventures: Agile Ventures — группа разработчиков ПО и консультативная группа, которая с 2016 года работает над рядом проектов. Последний из них — TezosLive.io, группа конечных точек API Tezos. Вслед за этапом исследований Tezos Domains (см. публикации Tezos Agora здесь) команда Agile Ventures разработает функциональный прототип Tezos Domains dApp и смарт-контракты в тестовой сети Tezos с примером интеграции кошелька и конечной точкой GraphQL, позволяющей клиентам легко запрашивать данные в доменах Tezos. Целью Tezos Domains является предоставление децентрализованной службы имен, которая позволяет пользователям использовать читаемые человеком имена в экосистеме Tezos, такие как «alice.tez», и сопоставлять их с машиночитаемыми идентификаторами, такими как адреса Tezos.

Tezos Reward Distributor: Tezos Reward Distributor одним из наиболее популярных инструментов выплаты вознаграждений за выпечку в Tezos. Он помогает бейкерам снизить нагрузку, упростив и автоматизировав задачу распределения вознаграждений за выпечку среди их делегатов. Благодаря этому гранта, команда Tezos Reward Distributor продолжит совершенствовать этот инструмент, добавлять новые функции и поддерживать будущие обновления протокола Tezos.

TezQuery от Pierre Genevès: Pierre Genevès — французский разработчик, имеющий опыт в области рекурсивных запросов а также опыт работы в исследовательском центре IBM Watson, EPFL, CNRS. В рамках этого проекта Пьер и его команда будут создавать механизм запросов, оценивающий не только запросы SQL, но и мощные (рекурсивные) запросы в структуре графа Tezos, что позволит проводить усовершенствованный анализ транзакций, происходящих в Tezos.

Инфраструктура верификации и тестирования контрактов Tezos от Хакджу О (Hakjoo Oh): Хакджу О, доцент факультета компьютерных наук Корейского университета. Корейский университет является одним из старейших в стране (основан в 1905 году) и наиболее выдающихся высших учебных заведений. С помощью этого гранта Хакджу и его команда смогут создать полностью автоматизированный инструмент для проверки и верификации корректности смарт-контрактов Tezos.


Приложения

Описанное выше распределение капитала поможет разработчикам создавать новые продукты и максимально использовать потенциал Tezos. Тем не менее, TF осознает, что существует явная необходимость одновременного финансирования проектов, которые создают продукты на уровне конечного пользователя.

PeerPatron от Guillem Rieu: Guillem Rieu — парижский разработчик OCaml и Tezos, возглавляющий проект PeerPatron. PeerPatron — основанная на Tezos краудфандинговая и патронажная платформа, которая использует смарт-контракты для предоставления децентрализованной альтернативы таким платформам, как Patreon. Помимо работы над PeerPatron команда выпустит инструменты с открытым исходным кодом, такие как dapp и шаблоны смарт-контрактов, библиотеки ReasonML, учебные пособия и полную документацию.

Universities for E-Voting от Electis: Electis — некоммерческая организация, целью которой является продвижение нового использования технологий для демократии и голосования. Команда — авторитетный эксперт в сфере блокчейна и реализации проектов голосования. Этот грант поможет Electis продолжить работу с приложением для электронного голосования на основе Tezos и поддержать членов сообщества из более чем 20 университетов со всего мира.

Hicetnunc Рафаэля Лимы: Рафаэль — разработчик Tezos из Бразилии. В рамках этого проекта Рафаэль будет создавать приложение на Tezos, предназначенное для участников сообщества киберспорта, которое позволит им принимать участие в краудфандинге и краудсорсинговых инициативах путем создания кампаний в поддержку целей, мероприятий и чемпионатов.


Развитие Системы Грантов

С тех пор, как TF запустили программу предоставления экосистемных грантов, экосистема Tezos значительно выросла. Как следствие, мы наблюдали значительное увеличение числа заявок на гранты с каждой последующей группой. Помимо увеличения объемов мы также наблюдали возрастание сложности и специфичности с точки зрения заявок на гранты и потребностей. Эти изменения стали проверкой нашего процесса предоставления грантов и сподвигли пересмотреть то, как мы обрабатываем и в целом обращаемся с заявками.

Мы вносим ряд изменений в процесс выделения грантов, чтобы активнее поддерживать развитие и принятие Tezos в будущем. В частности, мы выпустим новую заявку на получение гранта, а также платформу управления, которая будет оставаться открытой без каких-либо временных ограничений. Вместо 6-недельного периода подачи заявок, за которым следует период рассмотрения, заявки на гранты будут рассматриваться и обрабатываться чаще. Это должно помочь обрабатывать и финансировать проекты, которые могут принести пользу экосистеме Tezos, более стабильно и эффективно.

Конкретные пункты списка пожеланий для заявок на гранты и технические приоритеты будут опубликованы, когда мы запустим новую форму заявки и платформу управления, и откроем ее 31 августа 2020 года. Мы уверены, что благодаря нашему опыту и стремлению адаптироваться к новым требованиям, наша команда сможет достойно поддержать проект Tezos на следующих этапах развития.