«'Stol på oss, vi er trygge» er ikke godt nok lenger. Brukerne dine har hørt dette før. Fra protokoller som ble tappet. Fra plattformer som lovet sikkerhet. Fra revisorer som gikk glipp av kritiske feil. Smarte brukere stoler ikke på. De verifiserer. Med Phylax kan de. Enhver sikkerhetspåstand som beskytter deres midler er offentlig. Hver invariant er skrevet i lesbar kode. Hver beskyttelse kan verifiseres uavhengig av alle med grunnleggende Solidity-kunnskap (eller til og med uten snart). Ingen black box-algoritmer. Ingen proprietære sikkerhetsmodeller. Ingen 'stol på prosessen vår'. Bare gjennomsiktige, matematiske bevis som alle kan lese og verifisere.