Программирование ресурсоемких смарт-контрактов на Rust под Solana. Денис Комиссаров

• Блокчейн - это структура данных, где есть блоки, каждый блок связан с предыдущим блоком.  

• В блокчейне Солана есть транзакции, которые приходят в сеть, обрабатываются и меняют внутреннее состояние сети.  

• Текущее состояние блокчейна можно менять с помощью транзакций, но история, выстроенная в виде блоков, трудно изменить.  

• Блокчейны придуманы для работы между контрагентами, которые не доверяют друг другу.  

• Солана - это быстрый и дешевый блокчейн, написанный на Расте.  

• Поддерживает смарт-контракты, которые являются частью состояния блокчейна и исполняются как обычные программы.  

• Децентрализованные автономные организации (DAO) позволяют высказываться и голосовать за идеи.  

• NFT - это уникальные токены, которые стали популярными из-за рынка цифрового искусства.  

• Связь блокчейнов и игр: можно использовать NFT для обмена игровыми ресурсами или расплачиваться криптовалютой за игровые ресурсы.  

• DeFi - это финансовые сервисы, работающие децентрализованно, без контроля государства или банков.  

• Написание смарт-контрактов для DeFi может быть сложной задачей, в зависимости от задачи.  

• Валидаторы зарабатывают на стейкинге, пользователи доверяют им, вкладывая свои солы.  

• Дексы, обменники и криптобиржи позволяют обменивать токены.  

• Лендинг и боров - системы, выдающие деньги в долг под проценты.  

• Смарт-контракты похожи на вирусы, оживают при транзакции.  

• Рантайм соланы выделяет 32 КБ динамической памяти, стек 64 фрейма по 4 КБ.  

• Аккаунты - сущности из состояния блокчейна, с которыми работает контракт.  

• Байтмак позволяет интерпретировать один тип памяти в другой без копирования.  

• Подспудно - тип, имеющий постоянное представление в памяти, без инициализации и конструкторов.  

• Не должен содержать ссылочных типов, роу-указателей, цело-подобных типов.  

• В смарт-контрактах есть ограничения на размер стека и динамической памяти.  

• Для обхода этих ограничений можно использовать бокс, запретить инлайнинг или увеличить лимит компьютер-гаджета.  

• В смарт-контрактах есть ограничение на количество аккаунтов, с которыми можно взаимодействовать.  

• Для обхода этого ограничения можно нарезать логически непрерывную функциональность на отдельные части и сохранять промежуточные состояния.  

• Для управления состоянием смарт-контракта используется конечный автомат с 14 состояниями и тремя внешними командами.  

• Если все продумать и имплементировать, то автомат работает хорошо.  

• Создание конечного автомата для обработки большого количества аккаунтов в одной транзакции.  

• Понимание бизнес-задачи и ограничений, разделение процесса на отдельные части.  

• Валидация корректности конечного автомата путем тестирования.  

• Аудит контракта не проводился, но планируется в будущем.  

• Заложение на сохранение структуры аккаунтов в будущем развитии системы.  

• Альтернатива конечному автомату - ожидание новой фичи в блокчейне.  

• Моделирование не проводилось, дизайн с помощью ручки и бумаги.  

• В видео обсуждается проблема с памятью при использовании механизма "смпить" для больших аккаунтов.  

• Проблема заключается в том, что при попытке итерироваться по массиву внутри аккаунта, возникает переполнение памяти.  

• Это может быть связано с тем, что секция в адресном пространстве процесса имеет свой размер и не безгранична.  

• В видео задается вопрос о возможности написания компилятора, который сможет сгенерировать конечный автомат и замапить нужное количество аккаунтов для запуска сложных программ, таких как тетрис или дум на контрактах.  

• Однако, автор не уверен, что это возможно, и задается вопросом, нужно ли это вообще.  

• В целом, автор считает, что правильная стратегия - выносить как можно больше кода за пределы блокчейна и минимизировать количество кода в смарт-контрактах.