"'Vertrouw ons, we zijn veilig" is niet meer goed genoeg. Je gebruikers hebben dit eerder gehoord. Van protocollen die zijn leeggeroofd. Van platforms die veiligheid beloofden. Van auditors die kritieke fouten misten. Slimme gebruikers vertrouwen niet. Ze verifiëren. Met Phylax kunnen ze dat. Elke beveiligingsverklaring die hun fondsen beschermt is openbaar. Elke invariant is geschreven in leesbare code. Elke bescherming kan onafhankelijk worden geverifieerd door iedereen met basiskennis van Solidity (of zelfs zonder binnenkort). Geen black box-algoritmen. Geen propriëtaire beveiligingsmodellen. Geen 'vertrouw ons proces.' Gewoon transparante, wiskundige bewijzen die iedereen kan lezen en verifiëren.
154