# Audit Results for the Pectra System Contracts

DevFeed: [Audit Results for the Pectra System Contracts](<https://devfeed.tech/articles/audit-results-for-the-pectra-system-contracts-17139.md>)

Original publisher: [Read original article](<https://blog.ethereum.org/en/2025/02/28/pectra-audit-results>)

Author: Protocol Security Research Team

Published: 2025-02-28T00:00:00Z

Content type: article

Language: en

Sources: [Ethereum Foundation Blog](<https://devfeed.tech/sources/ethereum-foundation-blog.md>)

Topics: [Ethereum](<https://devfeed.tech/topics/ethereum.md>), [Security](<https://devfeed.tech/topics/security.md>), [Formal verification](<https://devfeed.tech/topics/formal-verification.md>)

Tags: [bug-bounty](<https://devfeed.tech/tags/bug-bounty.md>), [bytecode](<https://devfeed.tech/tags/bytecode.md>), [ethereum](<https://devfeed.tech/tags/ethereum.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [reports](<https://devfeed.tech/tags/reports.md>), [review](<https://devfeed.tech/tags/review.md>), [security](<https://devfeed.tech/tags/security.md>)

## AI overview

The article reports on external security reviews and formal verification of the Ethereum Pectra System Contracts. It states that all relevant or important issues identified in the reviews were addressed, while noting that the verification assessed bytecode correctness against the specifications rather than the security of the specifications themselves. A Pectra bug bounty competition is also running with rewards of up to $2,000,000.

## Source excerpt

The security of the Ethereum protocol is continually being improved, and one recent effort is the external security review of the Pectra System Contracts. The results of this review can be found in the audits repository, and the TL;DR is that all discovered issues deemed relevant or important from...