Während eines ganzen Tages vor Ort in Singapur hatte das Veridise-Team das Vergnügen, auf drei unterschiedlichen Bühnen zu sprechen. Ob beim @solana Summit, bei der Teilnahme an @gammaprime oder beim Besuch des Multichain Day – in unseren Gesprächen ging es vor allem um ZK, Sicherheitsprüfungen und formale Verifikation. Trotz der unterschiedlichen Veranstaltungsorte brachten die Besucher immer wieder ein gemeinsames Thema zur Sprache. Die wiederkehrende Frage aus dem Publikum drehte sich darum, wie man zuverlässig überprüfen kann, ob ein bestimmter Code tatsächlich genau das tut, was in seinen Spezifikationen festgelegt ist.