Unclaimed brand
Vuln Detection @MoonAISec #1 ETH Security Leaderboard https://t.co/yrGRqyDsRR Building Lean autoformalization for Rust, C, and Go
Liking this brand profile? Share this page
Hex Code
Color name
RGB
HSL
CMYK
#00FF88
Spring Green
0, 255, 136
152, 100, 50
100, 0, 47, 0
#006633
Fun Green
0, 102, 51
150, 100, 20
100, 0, 50, 60
#FFFFFF
White
255, 255, 255
0, 0, 100
0, 0, 0, 0
Moon AI is a blockchain security auditing firm focused on distributed ledger technologies (DLTs), zkEVMs, and the protocols built on them. Its services combine formal verification, advanced fuzzing, and AI-assisted analysis to assess security across consensus layers, proof circuits, execution environments, bridges, and application logic. Formal verification checks whether protocols meet their specifications, including zkProof soundness, state transitions, and cross-layer invariants. Fuzzing uses randomized inputs to probe sequencers, prover edge cases, networking layers, and protocol boundaries, while AI tools help auditors examine code and identify patterns associated with known exploit vectors.
Moon AI’s audit process moves from mapping a project’s technical scope to AI and static analysis, formal verification of findings, and adversarial stress testing. The company also investigates dependencies in blockchain software stacks. It reports discovering CVE-2026-31812 in the Quinn Rust QUIC library, where a malformed UDP packet could crash affected nodes; the issue was reported through the Ethereum Foundation bug bounty program and patched before exploitation. Moon AI invites teams to request comprehensive DLT and zkEVM audits.
Brand industry
Computers Electronics and Technology
Company type
Suggest company type
Year founded
Suggest founded year
Company size
Suggest company size
The Revofusion name, logos and brand assets are trademarks of Revofusion and its affiliates. Brandfetch isn't affiliated with or endorsed by Revofusion. Their use is subject to Revofusion's brand guidelines.
