Vito 在我洗手時，於廁所裡給我簡要介紹了 XRP 帳本的形式化驗證。 很棒的 38 秒。我覺得既然已經洗完手了，還在廁所多待會兒會很尷尬。