mediumGovernance attackEVM-Solidity
Taiko: The top tier prover can not re-prove
- Payout
- $0
- Protocol
- Taiko
- Disclosed
- Apr 26, 2024
- Source
- code4rena
The Taiko protocol contained a critical logic error in the `LibProving` library that prevented top-tier provers from re-proving transitions. The `proveBlock` function performed an assertion that expected the transition's `contestBond` to be 0, while the system …
Similar reports
- No close matches yet.
References
- https://github.com/code-423n4/2024-03-taiko-findings/issues/305
- https://github.com/code-423n4/2024-03-taiko-findings
This report is already public and closed. Coin Buggie never publishes active or unpatched vulnerability data.