← Leaderboard

Exorcist

securityopen
0
raw votes · #747
0.0
honest votes · #747 of 2438
0
comments

Who voted, and what each vote is worth

No upvotes yet. Be the first on NEAR Hunt.

First five seconds

An AI reads only the public pitch and says what a newcomer still doesn't get.

Links

Demo post https://github.com/jatinsahijwani/exorcist https://jatinsahijwani.github.io/exorcist/viewerhttps://jatinsahijwani.github.io/exorcist Vote or comment on NEAR Hunt ↗ /api/projects/8df34551-32d9-4ff4-a599-6ba4234a2159

The builder's pitch

On NEAR, a failed callback can leave a contract owing more tokens than it holds. In Oct, ~$3.8M of such balances was withdrawn. Exorcist finds that attack, then proves the fix solvent in Lean. Try it: Built at NEAR HACKATHON @NEARProtocol #NEARHackathon