audits.md

Audits

Prover, Gnark-Crypto, and Verifier Audits

2025

• LeastAuthority - August 2025 - Limitless prover

2024

• ZKSecurity.xyz - May 2024 - gnark standard library
• ZKSecurity.xyz - June 2024 - Wizard's crypto & math
• OpenZeppelin - June 2024 - gnark PLONK prover and verifier
• LeastAuthority - September 2024 - gnark general and GKR
• LeastAuthority - November 2024 - Linea zkEVM

2023

• Sigma Prime - May 2023 - gnark-crypto KZG (contracted by Ethereum Foundation)
• Consensys Diligence - June 2023 - gnark PLONK Solidity verifier
• LeastAuthority - August 2023 - gnark Groth16 Solidity verifier template (contracted by Worldcoin)
• OpenZeppelin - November 2023 - gnark PLONK Solidity verifier template

2022

• Kudelski Security - October 2022 - gnark-crypto (contracted by Algorand Foundation)

---

Linea Burn Mechanism Smart Contract Audits

Diligence

• Linea Burn Mechanism - https://diligence.consensys.io/audits/2025/10/linea-burn-mechanism/

OpenZeppelin

• Linea Burn Mechanism - https://www.openzeppelin.com/news/linea-burn-mechanism-audit

Cyfrin

• Linea Burn Mechanism - https://github.com/Cyfrin/cyfrin-audit-reports/blob/2e780ec0c4c8401ff97a7e0cd509ece52ab35cb3/reports/2025-11-03-cyfrin-linea-burn-v2.2.pdf

---

Linea Tokens and Airdrop Smart Contract Audits

Diligence

• Linea Token and Airdrop Contracts: https://diligence.consensys.io/audits/2025/07/linea-token-and-airdrop-contracts/

OpenZeppelin

• Linea TGE Audit: https://blog.openzeppelin.com/linea-tge-audit

Cyfrin

• Linea Tokens Audit Report: https://github.com/Cyfrin/cyfrin-audit-reports/blob/b9aace5911e3ff84488cb5199cfd28e7fe24d6aa/reports/2025-09-10-cyfrin-linea-tokens-v2.5.pdf

---

Linea Rollup, L2MessageService and TokenBridge Smart Contract Audits

Fifth Audit Round (latest)

Diligence

• LineaRollup, L2MessageService and TokenBridge Granular Role Updates: https://diligence.consensys.io/audits/2024/12/linea-rollup-update/

OpenZeppelin

• LineaRollup, L2MessageService and TokenBridge Granular Role Updates: https://blog.openzeppelin.com/linearollup-and-tokenbridge-role-upgrade

Cyfrin

• LineaRollup, L2MessageService and TokenBridge Granular Role Updates: https://github.com/Cyfrin/cyfrin-audit-reports/blob/642b409c207d0e31679467480c3d9b8797b98696/reports/2025-01-06-cyfrin-linea-v2.2.pdf

Fourth Audit Round

Diligence

• Differential audit since second audit round: https://consensys.io/diligence/audits/2024/07/linea-rollup-update/

OpenZeppelin

• Gas optimization audit: https://blog.openzeppelin.com/linea-gas-optimizations-audit

Cyfrin

• Full codebase audit including gas optimizations and TokenBridge updates: https://github.com/Cyfrin/cyfrin-audit-reports/blob/main/reports/2024-05-24-cyfrin-linea-v2.0.pdf

Third Audit Round

OpenZeppelin

• Blob submission audit: https://blog.openzeppelin.com/linea-blob-submission-audit

Second Audit Round

Diligence

• Proof aggregation, data compression and message service updates Audit: https://consensys.io/diligence/audits/2024/01/linea-contracts-update/

OpenZeppelin

• Proof aggregation, data compression and message service updates Audit: https://blog.openzeppelin.com/linea-v2-audit

First Audit Round

Diligence

• Plonk Verifier: https://consensys.io/diligence/audits/2023/06/linea-plonk-verifier/
• Message Service & Rollup: https://consensys.io/diligence/audits/2023/06/linea-message-service/
• Canonical Token Bridge: https://consensys.io/diligence/audits/2023/06/linea-canonical-token-bridge/

OpenZeppelin

• Linea Bridge Audit: https://blog.openzeppelin.com/linea-bridge-audit-1
• Linea Verifier Audit: https://blog.openzeppelin.com/linea-verifier-audit-1

---