「『私たちを信じてください、私たちは安全です』というだけではもはや十分ではありません。 これは、ユーザーが以前に聞いたことがある言語です。枯渇したプロトコルから。安全性を約束したプラットフォームから。重大な欠陥を見逃した監査人から。 賢いユーザーは信頼していません。彼らは検証します。 Phylaxを使えば、それが可能になります。 彼らの資金を保護するすべてのセキュリティアサーションは公開されています。すべての不変式は、読み取り可能なコードで記述されます。すべての保護は、基本的なSolidityの知識を持つ人なら誰でも独立して検証できます(またはすぐになくても)。 ブラックボックスアルゴリズムはありません。独自のセキュリティモデルはありません。「私たちのプロセスを信頼しなさい」ということはありません。 誰でも読んで検証できる、透明で数学的証明です。