🔍 ZkLighterVerifier

📍 0xE586511973e02b5A3bB9e4290adc4F406Aa8f463 · 🌐 ETH · 🤖 engine: slither+aderyn
💰 Balance: 0.0 · 📈 Tx: 0

CRITICAL 1 HIGH 0 MEDIUM 0 LOW 10

Findings preview

CRITICALInitializer without access control
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWState variable written but never read
LOWEmpty code block
LOWEmpty code block
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALInline assembly usage
INFORMATIONALNaming convention violation
INFORMATIONALNaming convention violation
INFORMATIONALNaming convention violation
INFORMATIONALNaming convention violation
INFORMATIONALLarge numeric literal (hard to verify by eye)
OPTIMIZATIONAccess control issue (manual review required)

Preview only — no exploit details or fix recommendations are published here to avoid disclosing an unpatched issue before the contract owner sees it. Full report (RU+EN), exact lines, exploit path and fork PoC — via the bot below.

📩 Get full report via Telegram

View contract on block explorer →

⚠️ Think this finding is wrong?

If you're the contract owner and believe this automated finding is inaccurate, or want this page reviewed or removed, send us your contact details and we'll get back to you.

👤
✉️
✈️
🌐
💬

Opens your email app, addressed to our team — nothing is sent from this page directly.

Auto-audit by SecurityLab (slither+aderyn). Static analysis only unless noted as PoC-confirmed — not a substitute for a manual audit before mainnet deployment with real funds.