Close Menu

    Subscribe to Updates

    Get the latest creative news from FooBar about art, design and business.

    What's Hot

    FreeWallet accused of ‘robbery’ via hidden fees and KYC delays

    July 1, 2025

    Not all Bitcoin holding firms will avoid death spiral

    July 1, 2025

    Darknet market Abacus may be gone for good after BTC move

    July 1, 2025
    Facebook X (Twitter) Instagram
    Tuesday, July 1
    • About
    • Contact us
    • Privacy Policy
    Facebook X (Twitter) LinkedIn YouTube
    Blockchain Echo
    Banner
    • Lithosphere News Releases
    • Bitcoin
    • Crypto
    • Ethereum
    • Litecoin
    • Altcoins
    • Blockchain
    Blockchain Echo
    Home » Audit Results for the Pectra System Contracts
    Ethereum

    Audit Results for the Pectra System Contracts

    Sophia BrownBy Sophia BrownFebruary 28, 2025No Comments2 Mins Read
    Facebook Twitter Pinterest LinkedIn Tumblr Email
    Share
    Facebook Twitter LinkedIn Pinterest Email


    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 these reviews have been addressed.

    Audit Scope and Methodology

    The Pectra System Contracts encompass several EIPs (EIP-2935, EIP-7002, and EIP-7251), and reviews were primarily done to:

    • Evaluate the contracts for potential attack vectors.
    • Ensure that the contract logic accurately implements the intended functionality as per the EIP specifications.

    A multi-phase approach was taken, with each audit building upon the findings of previous ones:

    1. Blackthorn Audit
    2. Dedaub Audits

    3. PlainShift Audit
    4. Sigma Prime Audit

    Between each review, code improvements were made before proceeding to the next round of audits.

    Formal Verification

    In addition to the security reviews listed above, a16z conducted a Formal Verification using Halmos.
    They used Halmos to formally verify the functional correctness of these contracts. This specifically focused on whether the bytecode aligned with the spec, rather than evaluating the security of the spec itself against potential abuse or malicious use. This separation of concerns allows auditors and the community to review the spec without worrying about low-level bytecode implementation details.

    Next Steps

    The full reports can be found in the Pectra System Contracts Audits repository.

    A bug bounty competition is currently running on Cantina has rewards of up to $2,000,000 for findings related to Pectra.

    As always, the security of the Ethereum ecosystem is a collective effort. We extend our gratitude to all the auditors and contributors who have played an important part in this process!



    Source link

    Share. Facebook Twitter Pinterest LinkedIn Tumblr Email
    Previous ArticleTHORChain core dev leaves after failed vote to block hacker transactions
    Next Article Here’s why Bitcoin price correction could last until April
    Sophia Brown

    Related Posts

    Katana mainnet launch nears as pre-deposit closes with $200M in active deposits

    June 30, 2025

    World Experience: Updates from the Next Billion Fellowship

    June 28, 2025

    World Experience: Updates from the Next Billion Fellowship

    June 28, 2025
    Leave A Reply Cancel Reply

    Top Posts

    🐍 Lunar New Year Scratch & Win Campaign Is Live with a Grand Prize of 8,888,888 VERSE (~$1800) | by Bitcoin.com | Jan, 2025

    January 24, 2025

    Trade VERSE/USDT on KuCoin to Earn your Share of $8400 in Rewards! | by Bitcoin.com | Jan, 2025

    January 24, 2025

    Boost Your Crypto: Up to 30% Cash Back! | by Bitcoin.com | Jan, 2025

    January 24, 2025
    Stay In Touch
    • Facebook
    • YouTube
    • TikTok
    • WhatsApp
    • Twitter
    • Instagram
    Latest Reviews

    Subscribe to Updates

    Get the latest tech news from FooBar about tech, design and biz.

    About Us

    Stay updated on the world of cryptocurrency
    Your one-stop source for daily crypto news and insights
    Blockchainecho.info: Your trusted daily crypto companion

    Most Popular

    🐍 Lunar New Year Scratch & Win Campaign Is Live with a Grand Prize of 8,888,888 VERSE (~$1800) | by Bitcoin.com | Jan, 2025

    January 24, 2025

    Trade VERSE/USDT on KuCoin to Earn your Share of $8400 in Rewards! | by Bitcoin.com | Jan, 2025

    January 24, 2025

    Boost Your Crypto: Up to 30% Cash Back! | by Bitcoin.com | Jan, 2025

    January 24, 2025
    Copyright © 2025
    • Home
    • Buy Now

    Type above and press Enter to search. Press Esc to cancel.