Los invariantes son poderosos. Las afirmaciones son más poderosas.
jacob Φ
jacob Φ13 ago, 20:06
1/11 La mayoría de los exploits de contratos inteligentes ocurren cuando los piratas informáticos rompen suposiciones que los desarrolladores nunca probaron explícitamente. Las invariantes son su defensa: reglas fundamentales que SIEMPRE deben cumplirse, sin importar cómo interactúen los usuarios con su contrato. A continuación, le indicamos cómo usarlos para crear protocolos 👇 más seguros
223