An overview of the December 2020 audit of Casper’s Highway Protocol completed by Trail of Bits.
Published today, Trail of Bits has completed an audit of the Casper network Highway Protocol. The Trail of Bits audit “did not produce high severity results and showed proper use of security hygiene.”
The Trail of Bits audit was completed between November 16th and December 1st, and encompassed an assessment of CasperLabs’ Highway consensus protocol. The audit sought to answer critical questions, including:
*LNC is “Limited Naivety Criterion.” Learn more in the Casper Highway Protocol paper.
The security audit yielded three findings, 1 of “informational severity” and 2 of “low severity.”
In addition, the Trail of Bits team offered recommendations to improve the clarity and detail of portions of the Highway Protocol documentation itself.
CasperLabs received and reviewed the Trail of Bits audit, and made changes to the three findings.
The CasperLabs team also adjusted the relevant portions in the protocol paper pointed out by the Trail of Bits security audit as needing improvement.
CasperLabs thanks the Trail of Bits team for the engagement and audit.
Join Telegram and stay up to date with CasperLabs announcements and the Casper mainnet launch + token sale.