За целый день в Сингапуре команда Veridise успела выступить на трёх разных площадках. На саммите @solana, мероприятии @gammaprime и Multichain Day наши беседы в основном касались ZK, аудитов безопасности и формальной верификации. Несмотря на то что площадки были разными, люди снова и снова поднимали одну и ту же тему. Участники часто спрашивали, как надёжно проверить, что конкретный фрагмент кода действительно работает в точном соответствии со своей спецификацией.