"'Percayalah, kami aman" tidak cukup baik lagi. Pengguna Anda pernah mendengar ini sebelumnya. Dari protokol yang terkuras. Dari platform yang menjanjikan keamanan. Dari auditor yang melewatkan kekurangan kritis. Pengguna pintar tidak percaya. Mereka memverifikasi. Dengan Phylax, mereka bisa. Setiap pernyataan keamanan yang melindungi dana mereka bersifat publik. Setiap invarian ditulis dalam kode yang dapat dibaca. Setiap perlindungan dapat diverifikasi secara independen oleh siapa saja dengan pengetahuan dasar Solidity (atau bahkan tanpa segera). Tidak ada algoritma kotak hitam. Tidak ada model keamanan berpemilik. Tidak ada 'percaya pada proses kami'. Hanya bukti matematis transparan yang dapat dibaca dan diverifikasi siapa saja.
145