text: Es wird unter anderem kritisiert, dass Solidity zu permissiv ist und auf JavaScript-ähnlichen Konzepten basiert, anstatt auf wissenschaftlicher Forschung zum Thema Formale Sprachen für Contracts aufzubauen.