{"id":9108,"date":"2025-02-28T12:34:24","date_gmt":"2025-02-28T11:34:24","guid":{"rendered":"https:\/\/wsj-crypto.com\/?p=9108"},"modified":"2025-02-28T12:34:24","modified_gmt":"2025-02-28T11:34:24","slug":"unveiling-the-audit-findings-insights-into-the-pectra-system-contracts","status":"publish","type":"post","link":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/","title":{"rendered":"Unveiling the Audit Findings: Insights into the Pectra System Contracts"},"content":{"rendered":"<p><\/p>\n<div id=\"\">\n<p class=\"chakra-text css-gi02ar\">The protection of the Ethereum protocol is consistently being enhanced, and a recent initiative includes the independent security assessment of the Pectra System Contracts.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The findings from this assessment are available in the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/audits\">audits repository<!-- --><\/a>, and the TL;DR states that all identified issues considered significant or relevant have been resolved.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"audit-scope-and-methodology\">Audit Scope and Methodology<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The Pectra System Contracts include multiple EIPs (EIP-2935, EIP-7002, and EIP-7251), with reviews mainly conducted to:<!-- --><\/p>\n<p><!-- --><\/p>\n<ul role=\"list\" class=\"css-1onhfjo\">\n<li class=\"css-cvpopp\">Examine the contracts for possible attack vectors.<!-- --><\/li>\n<li class=\"css-cvpopp\">Verify that the contract logic faithfully implements the intended functionality according to the EIP specifications.<!-- --><\/li>\n<\/ul>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">A multi-stage strategy was employed, with each audit building upon the insights gained from prior assessments:<!-- --><\/p>\n<p><!-- --><\/p>\n<ol role=\"list\" class=\"css-13a5a39\">\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/audits\/blob\/master\/Pectra\/Blackthorn_Audit_2024_09_12_Final_Ethereum_Foundation_Blackthorn.pdf\">Blackthorn Audit<!-- --><\/a><\/li>\n<li class=\"css-cvpopp\">Dedaub Audits<br \/>\n<!-- --><br \/>\n<!-- --><\/li>\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/audits\/blob\/master\/Pectra\/Plainshift%20EF%20Pectra%20Audit.pdf\">PlainShift Audit<!-- --><\/a><\/li>\n<li class=\"css-cvpopp\"><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/audits\/blob\/master\/Pectra\/Sigma_Prime_Ethereum_Foundation_Pectra_System_Contracts_Bytecode.pdf\">Sigma Prime Audit<!-- --><\/a><\/li>\n<\/ol>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Between each assessment, code enhancements were implemented before the subsequent round of audits commenced.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"formal-verification\">Formal Verification<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">Alongside the security evaluations outlined above, a16z performed a <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/daejunpark\/sys-asm-halmos\">Formal Verification using Halmos<!-- --><\/a>.<br \/>\nThey employed <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/a16z\/halmos\">Halmos<!-- --><\/a> to formally confirm the functional accuracy of these contracts. This specifically concentrated on whether the bytecode corresponded with the specifications, rather than assessing the security of the specifications against potential abuse or malicious exploitation. This delineation of concerns permits auditors and the community to scrutinize the specifications without being encumbered by low-level bytecode implementation specifics.<!-- --><\/p>\n<p><!-- --><\/p>\n<h2 class=\"chakra-heading css-1w54o5f\" id=\"next-steps\">Next Steps<!-- --><\/h2>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">The comprehensive reports can be accessed in the <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/github.com\/ethereum\/audits\/tree\/master\/Pectra\">Pectra System Contracts Audits repository<!-- --><\/a>.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">A bug bounty contest is presently underway on <!-- --><a target=\"_blank\" rel=\"noopener\" class=\"chakra-link css-ug8vf0\" href=\"https:\/\/cantina.xyz\/competitions\/pectra\">Cantina<!-- --><\/a>, offering rewards of up to $2,000,000 for discoveries related to Pectra.<!-- --><\/p>\n<p><!-- --><\/p>\n<p class=\"chakra-text css-gi02ar\">As ever, the security of the Ethereum ecosystem is a shared endeavor. We express our appreciation to all the auditors and contributors who have been vital to this initiative!<!-- --><\/p>\n<\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/blog.ethereum.org\/en\/2025\/02\/28\/pectra-audit-results\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The protection of the Ethereum protocol is consistently being enhanced, and a recent initiative includes the independent security assessment of the Pectra System Contracts. The findings from this assessment are available in the audits repository, and the TL;DR states that all identified issues considered significant or relevant have been resolved. Audit Scope and Methodology The<\/p>\n","protected":false},"author":3,"featured_media":8282,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[23],"tags":[1491],"class_list":["post-9108","post","type-post","status-publish","format-standard","has-post-thumbnail","category-ethereum","tag-return-a-list-of-comma-separated-tags-from-this-title-audit-results-for-the-pectra-system-contracts"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/\" \/>\n<meta property=\"og:locale\" content=\"it_IT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto\" \/>\n<meta property=\"og:description\" content=\"The protection of the Ethereum protocol is consistently being enhanced, and a recent initiative includes the independent security assessment of the Pectra System Contracts. The findings from this assessment are available in the audits repository, and the TL;DR states that all identified issues considered significant or relevant have been resolved. Audit Scope and Methodology The\" \/>\n<meta property=\"og:url\" content=\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/\" \/>\n<meta property=\"og:site_name\" content=\"WSJ-Crypto\" \/>\n<meta property=\"article:published_time\" content=\"2025-02-28T11:34:24+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"2100\" \/>\n\t<meta property=\"og:image:height\" content=\"900\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"wsjcrypto\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Scritto da\" \/>\n\t<meta name=\"twitter:data1\" content=\"wsjcrypto\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo di lettura stimato\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/\",\"url\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/\",\"name\":\"Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto\",\"isPartOf\":{\"@id\":\"https:\/\/wsj-crypto.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg\",\"datePublished\":\"2025-02-28T11:34:24+00:00\",\"author\":{\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7\"},\"breadcrumb\":{\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#breadcrumb\"},\"inLanguage\":\"it-IT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage\",\"url\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg\",\"contentUrl\":\"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg\",\"width\":2100,\"height\":900},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/wsj-crypto.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Unveiling the Audit Findings: Insights into the Pectra System Contracts\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/wsj-crypto.com\/#website\",\"url\":\"https:\/\/wsj-crypto.com\/\",\"name\":\"WSJ-Crypto\",\"description\":\"Just Another Crypto News Website\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/wsj-crypto.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"it-IT\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7\",\"name\":\"wsjcrypto\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"it-IT\",\"@id\":\"https:\/\/wsj-crypto.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g\",\"caption\":\"wsjcrypto\"},\"url\":\"https:\/\/wsj-crypto.com\/index.php\/author\/wsjcrypto\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/","og_locale":"it_IT","og_type":"article","og_title":"Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto","og_description":"The protection of the Ethereum protocol is consistently being enhanced, and a recent initiative includes the independent security assessment of the Pectra System Contracts. The findings from this assessment are available in the audits repository, and the TL;DR states that all identified issues considered significant or relevant have been resolved. Audit Scope and Methodology The","og_url":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/","og_site_name":"WSJ-Crypto","article_published_time":"2025-02-28T11:34:24+00:00","og_image":[{"width":2100,"height":900,"url":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg","type":"image\/jpeg"}],"author":"wsjcrypto","twitter_card":"summary_large_image","twitter_misc":{"Scritto da":"wsjcrypto","Tempo di lettura stimato":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/","url":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/","name":"Unveiling the Audit Findings: Insights into the Pectra System Contracts - WSJ-Crypto","isPartOf":{"@id":"https:\/\/wsj-crypto.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage"},"image":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage"},"thumbnailUrl":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg","datePublished":"2025-02-28T11:34:24+00:00","author":{"@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7"},"breadcrumb":{"@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#breadcrumb"},"inLanguage":"it-IT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/"]}]},{"@type":"ImageObject","inLanguage":"it-IT","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#primaryimage","url":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg","contentUrl":"https:\/\/wsj-crypto.com\/wp-content\/uploads\/2025\/02\/eth-org.jpeg","width":2100,"height":900},{"@type":"BreadcrumbList","@id":"https:\/\/wsj-crypto.com\/index.php\/2025\/02\/28\/unveiling-the-audit-findings-insights-into-the-pectra-system-contracts\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/wsj-crypto.com\/"},{"@type":"ListItem","position":2,"name":"Unveiling the Audit Findings: Insights into the Pectra System Contracts"}]},{"@type":"WebSite","@id":"https:\/\/wsj-crypto.com\/#website","url":"https:\/\/wsj-crypto.com\/","name":"WSJ-Crypto","description":"Just Another Crypto News Website","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/wsj-crypto.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"it-IT"},{"@type":"Person","@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/88a93723b30416db1a352d5a0096c4a7","name":"wsjcrypto","image":{"@type":"ImageObject","inLanguage":"it-IT","@id":"https:\/\/wsj-crypto.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/86fe8af82ea089646d6639ca2f87e0243d8688d957bd8e3ec22ec3c457cc16d4?s=96&d=mm&r=g","caption":"wsjcrypto"},"url":"https:\/\/wsj-crypto.com\/index.php\/author\/wsjcrypto\/"}]}},"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/9108","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/comments?post=9108"}],"version-history":[{"count":2,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/9108\/revisions"}],"predecessor-version":[{"id":9110,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/posts\/9108\/revisions\/9110"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/media\/8282"}],"wp:attachment":[{"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/media?parent=9108"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/categories?post=9108"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wsj-crypto.com\/index.php\/wp-json\/wp\/v2\/tags?post=9108"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}