# Snowbridge Fiat Shamir Beefy Changes security audit

Snowbridge is a trustless Polkadot–Ethereum bridge built on light clients; this audit reviewed a change adding a non-interactive, Fiat-Shamir based BEEFY verification path to its Solidity BeefyClient alongside the RANDAO-based protocol.

Codezen audited Snowbridge Fiat Shamir Beefy Changes together with Oak Security. Technologies in scope: Solidity, Polkadot, Ethereum, Bridge and Cryptography. We reported 10 findings: 1 critical, 1 minor and 8 informational.

- Audit type: Cross-chain bridge audit
- Technologies: Solidity, Polkadot, Ethereum, Bridge, Cryptography
- Ecosystem: Ethereum, Polkadot
- Delivered with: Oak Security
- Report date: 29 December 2025
- Full report (PDF): https://github.com/oak-security/audit-reports/blob/main/Snowbridge/2025-12-29%20Audit%20Report%20-%20Snowbridge%20Fiat%20Shamir%20Beefy%20Changes%20v1.0.pdf
- Project website: https://docs.snowbridge.network/
- Page: https://www.codezen.tech/audits/snowfork-snowbridge-fiat-shamir-beefy-changes/

## Findings by severity

| Severity | Count |
| --- | --- |
| Critical | 1 |
| Major | 0 |
| Minor | 1 |
| Info | 8 |
| Total | 10 |

Need a similar audit? Email info@codezen.tech or visit https://www.codezen.tech/.