red 
The security of the ethereum protocol is constantly improved, and the last effort is the external security review of the Pectra system contracts.
The results of this review can be found in
Auditing warehouseAnd TL; DR is that all discovered issues that are related or important of these reviews have been addressed.
The scope of audit and methodology
Pectra contracts include several EIPS (EIP-2935, EIP-7002 and EIP-7251), and reviews were mainly made to:
- Evaluation of possible attack tankers.
- Ensure that the logic of the contract accurately applies the intended job according to the EIP specifications.
A multi -stage approach was followed, with each audit building at the previous results:
- Blackthorn check
- Dedaub audit
- EIP-2935
- EIP-7002
- EIP-7251
- Simple audit
- Sigma Prime Audit
Between each review, symbol improvements were made before moving to the next round of audit operations.
Official verification
In addition to the aforementioned safety reviews, A16Z A did Official verification using the Mous. They used Halm Mous To formally verify the job right of these contracts. Focusing this specifically on whether bytecide symbol is in line with specifications, instead of assessing the safety of the same specifications against potential abuse or harmful use. The separation of fears allows these auditors and society to review the specifications without worrying about the details of the low -level bycode symbol implementation.
The following steps
Full reports can be found in Pectra signing the audit warehouse.
The Bug Bounty competition is currently running Cantina It has bonuses of up to $ 2,000,000 for the results related to Petra.
As always, the security of the ethereum ecological system is a collective effort. We expand our gratitude to all auditors and shareholders who played an important role in this process!
