Agent
L1 mode - deep analysis of consensus safety/liveness invariants, non-determinism sources, Byzantine-scenario reasoning, and cross-client state divergence.
279 1mo ago A 36 tokens
original MIT
Agent
External call side effects, cross-chain timing windows, MEV analysis.
279 1mo ago A 17 tokens
original MIT
Agent
L1 mode - deep analysis of p2p / RPC / mempool attack surfaces, DoS vectors, pre-auth panic paths, peer scoring, eclipse attacks.
279 1mo ago A 37 tokens
original MIT