BUIDL_ua Gathering #4
BUIDL.in.ua Gathering – это встреча сообщества BUIDL.in.ua для разработчиков в сфере блокчейн. Формат предполагает общение и коллективное решение проблем. Получать пользу можно несколькими способами:
-- Если вы хотите обсудить или узнать больше о какой-то теме (например zk snark) – можно предложить эту тему в начале ивента, и собрать группу людей которым близка эта тема в формате круглого стола
-- Если вы хотите поделиться информацией о своих разработках, идеях и исследованиях – можно подготовить презентацию в формате Lightning Talk (10 мин). Это может помочь подключить других людей к вашей работе.
-- Неформальное общение в сообществе может продолжиться в чате. Довольно часто можно найти интересных специалистов или помощь в чате, если сообщество вас знает.
Доклады:
1. Ruslan Shevchenko – "Что такое формальная верификация?"
Краткое введение в тему формальной верификации: что это такое, с чем ее едят, зачем используют; какие есть языки и инструменты; чем язык верификации отличается от языка программирования и как это вообще соотносится с разработкой;
2. Kirill Kirikov – "Connecting Ethereum and Bitcoin with decentralized bridge"
How to implement decentralized bridges for exchanges
Differences between Ethereum and Bitcoin on the low level
Start a discussion about how can we implement BTC Polkadot bridge