En lugar de escribir a mano cada caso de prueba, un fuzzer genera miles o millones de entradas, a menudo guiado por los caminos del c\u00f3digo que alcanzan, y llama con ellas a las funciones del contrato. El fuzzing sin estado prueba una funci\u00f3n cada vez. El fuzzing de invariantes, o con estado, va m\u00e1s all\u00e1: ejecuta secuencias aleatorias de llamadas de distintos usuarios y comprueba tras cada paso que se mantienen las propiedades clave, como que un vault nunca deba m\u00e1s de lo que tiene.<\/p>\n
Se ha convertido en pr\u00e1ctica habitual en la seguridad de contratos. Entornos de desarrollo como Foundry incluyen pruebas de fuzzing e invariantes, y herramientas espec\u00edficas como Echidna y Medusa son de uso com\u00fan entre auditores. Muchos fallos graves detectados en auditor\u00edas y concursos salen de invariantes que un fuzzer rompi\u00f3 en pocos minutos.<\/p>\n
Un fuzzer encuentra lo que sus entradas e invariantes alcanzan. Los fallos profundos que exigen una secuencia muy concreta, la manipulaci\u00f3n de precios a trav\u00e9s de protocolos externos o pr\u00e9stamos flash, o los defectos en propiedades que nadie escribi\u00f3 pueden quedar ocultos. El resultado depende tambi\u00e9n del tiempo de ejecuci\u00f3n y de lo bien montado que est\u00e9. Complementa la verificaci\u00f3n formal y la revisi\u00f3n manual: es m\u00e1s r\u00e1pido y barato que una demostraci\u00f3n, pero no garantiza que no queden errores.<\/p>\n","protected":false},"excerpt":{"rendered":"
El fuzzing es una t\u00e9cnica de pruebas autom\u00e1ticas que bombardea un contrato inteligente con entradas aleatorias o mutadas para hallar fallos e invariantes rotos.<\/p>\n","protected":false},"template":"","meta":{"footnotes":""},"class_list":["post-182245","ce_glossary","type-ce_glossary","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/ce_glossary\/182245","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/ce_glossary"}],"about":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/types\/ce_glossary"}],"version-history":[{"count":0,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/ce_glossary\/182245\/revisions"}],"wp:attachment":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media?parent=182245"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}