RAGNAROK
problem → A finding is not a finding until valid calls reach an impossible state o approach → source, state, fork result → A research harness, not a scanner. Contradiction first. Runtime proof re
Adversarial protocol research infrastructure
Ragnarok
- Problem
- A finding is not a finding until valid calls reach an impossible state on a fork.
- Approach
- Invent a state the designers never wrote down. Reach it with real calls. Prove economics. Kill it if you cannot.
- Result
- A research harness, not a scanner. Contradiction first. Runtime proof required.
- Security
- EVM
- Research
- TypeScript
