Skip to content

Files

Pectra

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Feb 5, 2025
Jan 28, 2025
Jan 28, 2025
Jan 28, 2025
Jan 28, 2025
Jan 28, 2025
Jan 28, 2025

Pectra System Contracts Audits

This repository contains the audit reports for the Pectra System Contracts, covering multiple phases of security reviews and fixes.

Overview

Each audit was performed sequentially in the order below and integrated fixes based on the previous reports, meaning that issues discovered by earlier auditors were typically resolved before the next audit commenced.

  1. Blackthorn Audit

  2. Dedaub Audits

  3. PlainShift Audit

  4. Sigma Prime Audit

Formal Verification

Formal verification was conducted independently and concurrently with the security audits to provide additional assurance that the compiled bytecode of the Pectra system contracts conforms to their EIP specifications.

  1. a16z Halmos Formal Verification: The linked repository contains detailed information on the verification process. It also includes all verification artifacts, which can be reproduced and further extended by anyone. These artifacts are actively maintained and updated to reflect the latest version of the Pectra system contracts.