Install any skill in seconds. Free to start, no credit card required.
Get Started Free →gabson0x/web3-hunt-zksync-era
ZKsync Era (Immunefi) completed hunt — 0 findings after exhaustive 5-session audit. Use as a DEFENSE STUDY — learn what makes a protocol unhuntable, which patterns block all 10 bug classes, and when to abandon a target. Contains architecture breakdown, 25 tested attack vectors, and pre-dive scoring refinements for large L1 bridge protocols.
Passed 16 of 22 test cases with the skill, and 5 of 22 without it.
and 12 more in the full report
11 fixed5 passed either way6 still failing0 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 11 test cases the skill fixed. Same model, same prompt, with and without the skill.
Can you prepare a smart contract security analysis summarizing why a major L2 bridge stack resisted exploitation despite extensive testing? Formulate the output as a dual-table breakdown: first, a structured matrix detailing cross-chain messaging and bridge attack vectors with failure reasons; second, a defense pattern catalog highlighting structural safeguards like check-effects-interactions and encoding isolation.
| Checked | Without skill | With skill |
|---|---|---|
| The output includes L1Nullifier legacy byte encoding failure reasons in the attack vector matrix. | Missed | Passed |
| The output details failure reasons for secondBridgeAddress return value manipulation in Bridgehub. | Missed | Passed |
| The defense catalog details system contract isolation requiring bootloader caller authorization. | Missed | Passed |
The instructions your model reads when the skill loads.
0 findings after exhaustive 5-session audit. Learn what makes a protocol unhuntable.
See also: [[Web3 Audit]], [[Methodology]], [[Web3 Bug Classes]], [[Trust Map]], [[Lead Ledger]]
| Field | Value |
|---|---|
| Protocol | ZKsync Era (L2 rollup) |
| Platform | Immunefi |
| TVL | $322M (L2BEAT Total Value Secured) |
| Bounty | $100K minimum Critical, $1.1M max |
| Codebase | 750K LOC (Solidity + Rust + Yul) |
| Audits | OpenZeppelin V29 (June 2025), multiple prior audits |
| Version | Protocol V29.4 |
| Repo | github.com/matter-labs/era-contracts |
| Primacy | Primacy of Impact — even out-of-scope assets qualify |
| Prior payouts | $50K (ChainLight ZK circuit bug) |
| Check | Result | Score |
|---|---|---|
| TVL > $500K | $322M | PASS |
| Max payout > $10K | $100K minimum | PASS |
| Simple protocol? | 750K LOC, L1↔L2 bridge + ZK + governance | PASS (complex) |
| < 500 lines? | 750K LOC | PASS |
| Audit quality | OpenZeppelin (top-tier) on ALL critical paths | WARNING |
REFINEMENT: Pre-dive should weight audit quality MORE for large protocols. A protocol passing TVL/LOC/payout checks can still be unhuntable if OZ/ToB audited the exact code you'd hunt. Add "audit firm tier" as a SOFT kill signal for 500K+ LOC protocols.
test cases passed, vs 5 / 22 without
More skills from the same source and nearby in the registry, with their headline benchmark lift.