シンガポールで丸一日現地に滞在し、Veridiseチームは3つの異なるステージでお話しする機会に恵まれました。@solana Summitに参加したときも、@gammaprimeに参加したときも、Multichain Dayに出席したときも、話題の中心はZK、セキュリティ監査、形式検証でした。会場はそれぞれ異なっていましたが、誰もが繰り返し取り上げる共通のテーマがありました。来場者から何度も寄せられたのは、あるコードが仕様どおりに正確に動作することを、確実に検証する方法を見つけたいという問いでした。