Вышел новый релиз hevm! Эта версия приносит улучшения в нескольких направлениях: ✅ Улучшенная удобство использования ✅ Более высокая производительность ✅ Более глубокая проверка кода ✅ Больше гарантий корректности Большой шаг вперед для формального тестирования EVM.

Рад видеть, что 4 проекта Argot - @solidity_lang, @official_fe, Act и hevm - являются частью когорты Epoch 8 от @OctantApp! 👇

Argot ищет специалиста по связям с экосистемой, чтобы помочь нам управлять отношениями в экосистеме, сбором средств на общественные нужды и коммуникациями. Подробнее о роли: → Если это похоже на вас (или кого-то, кого вы знаете), мы будем рады видеть вашу заявку!

Всем привет! Мы — Argot Collective: некоммерческая, демократически организованная исследовательская группа, ориентированная на поддержку свободного и независимого программного обеспечения, связанного с Ethereum. Прочтите объявление в нашем блоге, чтобы узнать все подробности, или подпишитесь на эту тему; др ▾