# CircuitBreaker — Programmable panic layer

**URL:** <https://research.lido.fi/t/circuitbreaker-programmable-panic-layer/11400>\
**Category:** Proposals\
**Created:** [April 9, 2026, 7:57am UTC](https://research.lido.fi/t/circuitbreaker-programmable-panic-layer/11400 "2026-04-09T07:57:38Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![azat\_s](https://dub1.discourse-cdn.com/flex013/user_avatar/research.lido.fi/azat_s/32/3844_2.png) [@azat\_s](https://research.lido.fi/u/azat_s)\
**Post date:** [May 4, 2026, 9:02am UTC](https://research.lido.fi/t/circuitbreaker-programmable-panic-layer/11400/8 "2026-05-04T09:02:39Z")

</div>

**Audit results**

Security audits are complete with deployment verifications and published in [lidofinance/audits](https://github.com/lidofinance/audits). No critical, high, or medium severity issues were identified.

**Cyfrin.** 2 informational items (1 resolved, 1 acknowledged) and 3 gas optimizations (2 resolved, 1 acknowledged). The report is accompanied by a Certora Prover formal verification covering 41 properties: 38 verified by the Prover and 3 verified by manual analysis under known Prover limitations.

- [Cyfrin CircuitBreaker Audit Report (04-2026)](https://github.com/lidofinance/audits/blob/main/Cyfrin%20CircuitBreaker%20Audit%20Report%2004-2026.pdf)
- [Cyfrin CircuitBreaker Formal Verification Report (04-2026)](https://github.com/lidofinance/audits/blob/main/Cyfrin%20CircuitBreaker%20Formal%20Verification%20Report%2004-2026.pdf)

**MixBytes.** 1 low-severity issue, fixed.

- [MixBytes CircuitBreaker Audit Report (04-2026)](https://github.com/lidofinance/audits/blob/main/MixBytes%20CircuitBreaker%20Audit%20Report%2004-2026.pdf)

---

_[View the full topic](https://research.lido.fi/t/circuitbreaker-programmable-panic-layer/11400)._