Важное
Семинар «Формальная верификация смарт-контрактов с помощью Certora Prover»
Мероприятия и события
- 5 декабря17:00 - 23:00, Москва, 3-й Красносельский пер., 19 строение 1.
Solana Meetup в Москве
- 27 ноября18:30 - 20:00, Онлайн
Семинар «Верификация консенсуса IBFT методом Model Checking»
- 23 ноября14:00, Музей криптографии (Москва, Ботаническая улица, 25с4)
Паблик-ток и квиз о блокчейне в Музее криптографии