"'Zaufaj nam, jesteśmy bezpieczni" to już za mało. Twoi użytkownicy słyszeli to wcześniej. Od protokołów, które zostały wyczyszczone. Od platform, które obiecywały bezpieczeństwo. Od audytorów, którzy przeoczyli krytyczne błędy. Mądrzy użytkownicy nie ufają. Weryfikują. Z Phylax mogą. Każde zapewnienie bezpieczeństwa chroniące ich środki jest publiczne. Każda inwariant jest napisana w czytelnym kodzie. Każda ochrona może być niezależnie weryfikowana przez każdego, kto ma podstawową wiedzę o Solidity (lub nawet bez niej wkrótce). Żadnych algorytmów czarnej skrzynki. Żadnych własnościowych modeli bezpieczeństwa. Żadnego 'ufaj naszemu procesowi.' Tylko przejrzyste, matematyczne dowody, które każdy może przeczytać i zweryfikować.