{"id":46,"count":1,"description":"Echidna is open source and one of the most used testing frameworks on the EVM ecosystem. It is used for fuzzing\/property-based testing of Ethereum smart contracts. Echidna's core features include:\r\n\r\n- Support assertion checking, \r\n- Custom property-checking, \r\n- Estimation of maximum gas usage\r\n- Slither integration to extract helpful information before the fuzzing campaign\r\n\r\nToday, Echidna is an essential tool that security companies use to audit smart contracts.\r\n","link":"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/","name":"Echidna","slug":"what-is-echidna-and-how-it-work","taxonomy":"glossary-cat","parent":0,"meta":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.0.1 - aioseo.com -->\n\t<meta name=\"description\" content=\"Echidna is open source and one of the most used testing frameworks on the EVM ecosystem. It is used for fuzzing\/property-based testing of Ethereum smart contracts. Echidna\u2019s core features include: \u2013 Support assertion checking, \u2013 Custom property-checking, \u2013 Estimation of maximum gas usage \u2013 Slither integration to extract helpful information before the fuzzing campaign Today, Echidna is an essential tool that security companies use to audit smart contracts.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<link rel=\"canonical\" href=\"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.0.1\" \/>\n\t\t<script type=\"application\/ld+json\" class=\"aioseo-schema\">\n\t\t\t{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/#breadcrumblist\",\"itemListElement\":[{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog#listItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/ackee.xyz\\\/blog\",\"nextItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/glossary-cat\\\/what-is-echidna-and-how-it-work\\\/#listItem\",\"name\":\"Echidna\"}},{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/glossary-cat\\\/what-is-echidna-and-how-it-work\\\/#listItem\",\"position\":2,\"name\":\"Echidna\",\"previousItem\":{\"@type\":\"ListItem\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog#listItem\",\"name\":\"Home\"}}]},{\"@type\":\"CollectionPage\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/#collectionpage\",\"url\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/\",\"name\":\"Echidna - Ackee Blockchain\",\"description\":\"Echidna is open source and one of the most used testing frameworks on the EVM ecosystem. It is used for fuzzing\\\/property-based testing of Ethereum smart contracts. Echidna\\u2019s core features include: \\u2013 Support assertion checking, \\u2013 Custom property-checking, \\u2013 Estimation of maximum gas usage \\u2013 Slither integration to extract helpful information before the fuzzing campaign Today, Echidna is an essential tool that security companies use to audit smart contracts.\",\"inLanguage\":\"en-US\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/#website\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/#breadcrumblist\"}},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/#organization\",\"name\":\"Ackee Blockchain\",\"description\":\"Blog & Research\",\"url\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"url\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-content\\\/uploads\\\/2023\\\/02\\\/cropped-ABCH_Logo_blue-black.png\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/#organizationLogo\",\"width\":5268,\"height\":825},\"image\":{\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/wp-json\\\/wp\\\/v2\\\/glossary-cat\\\/46\\\/#organizationLogo\"}},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/#website\",\"url\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/\",\"name\":\"Ackee Blockchain\",\"description\":\"Blog & Research\",\"inLanguage\":\"en-US\",\"publisher\":{\"@id\":\"https:\\\/\\\/ackee.xyz\\\/blog\\\/#organization\"}}]}\n\t\t<\/script>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"Echidna - Ackee Blockchain","description":"Echidna is open source and one of the most used testing frameworks on the EVM ecosystem. It is used for fuzzing\/property-based testing of Ethereum smart contracts. Echidna\u2019s core features include: \u2013 Support assertion checking, \u2013 Custom property-checking, \u2013 Estimation of maximum gas usage \u2013 Slither integration to extract helpful information before the fuzzing campaign Today, Echidna is an essential tool that security companies use to audit smart contracts.","canonical_url":"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"BreadcrumbList","@id":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/#breadcrumblist","itemListElement":[{"@type":"ListItem","@id":"https:\/\/ackee.xyz\/blog#listItem","position":1,"name":"Home","item":"https:\/\/ackee.xyz\/blog","nextItem":{"@type":"ListItem","@id":"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/#listItem","name":"Echidna"}},{"@type":"ListItem","@id":"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/#listItem","position":2,"name":"Echidna","previousItem":{"@type":"ListItem","@id":"https:\/\/ackee.xyz\/blog#listItem","name":"Home"}}]},{"@type":"CollectionPage","@id":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/#collectionpage","url":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/","name":"Echidna - Ackee Blockchain","description":"Echidna is open source and one of the most used testing frameworks on the EVM ecosystem. It is used for fuzzing\/property-based testing of Ethereum smart contracts. Echidna\u2019s core features include: \u2013 Support assertion checking, \u2013 Custom property-checking, \u2013 Estimation of maximum gas usage \u2013 Slither integration to extract helpful information before the fuzzing campaign Today, Echidna is an essential tool that security companies use to audit smart contracts.","inLanguage":"en-US","isPartOf":{"@id":"https:\/\/ackee.xyz\/blog\/#website"},"breadcrumb":{"@id":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/#breadcrumblist"}},{"@type":"Organization","@id":"https:\/\/ackee.xyz\/blog\/#organization","name":"Ackee Blockchain","description":"Blog & Research","url":"https:\/\/ackee.xyz\/blog\/","logo":{"@type":"ImageObject","url":"https:\/\/ackee.xyz\/blog\/wp-content\/uploads\/2023\/02\/cropped-ABCH_Logo_blue-black.png","@id":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/#organizationLogo","width":5268,"height":825},"image":{"@id":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46\/#organizationLogo"}},{"@type":"WebSite","@id":"https:\/\/ackee.xyz\/blog\/#website","url":"https:\/\/ackee.xyz\/blog\/","name":"Ackee Blockchain","description":"Blog & Research","inLanguage":"en-US","publisher":{"@id":"https:\/\/ackee.xyz\/blog\/#organization"}}]}},"aioseo_breadcrumb":"<div class=\"aioseo-breadcrumbs\"><span class=\"aioseo-breadcrumb\">\n\t\t\t<a href=\"https:\/\/ackee.xyz\/blog\" title=\"Home\">Home<\/a>\n\t\t<\/span><span class=\"aioseo-breadcrumb-separator\">&raquo;<\/span><span class=\"aioseo-breadcrumb\">\n\t\t\tEchidna\n\t\t<\/span><\/div>","aioseo_breadcrumb_json":[{"label":"Home","link":"https:\/\/ackee.xyz\/blog"},{"label":"Echidna","link":"https:\/\/ackee.xyz\/blog\/glossary-cat\/what-is-echidna-and-how-it-work\/"}],"_links":{"self":[{"href":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat\/46","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary-cat"}],"about":[{"href":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/taxonomies\/glossary-cat"}],"wp:post_type":[{"href":"https:\/\/ackee.xyz\/blog\/wp-json\/wp\/v2\/glossary?glossary-cat=46"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}