Blockchain x Science. На пути к инструментальной проверке смарт-контрактов в TON

Митап Blockchain x Science, организованный циклом научных семинаров о блокчейне (МФТИ, Сколтех и ВШЭ) и ComUnity (Сбер) Докладчик: Кирилл Зиборов, Positive Technologies, отдел безопасности распределенных систем, инженер по формальной верификации. Дата записи: 26 марта 2025. Научный семинар организован совместными усилиями МФТИ, Сколтеха и ВШЭ и рассчитан как на специалистов в области блокчейна, так и интересующихся этим направлением исследователей. #blockchain #blockchaintechnology #блокчейн #MIPT #МФТИ #HSE #ВШЭ #Сколтех #Skoltech #TON #smartcontractanalysis #анализсмартконтрактов #vulnerability #уязвимость #формальнаяверификация #formalverification Дополнительные материалы, новости и анонсы публикуются в официальной группе в Telegram