← Leaderboard

Exit-Proof

securityopen
1
raw votes · #65
1.0
honest votes · #59 of 2438
0
comments

Who voted, and what each vote is worth

  • maxxammax.nearindependent no link to the project found1.0

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/formalized-si/exit-proof https://www.youtube.com/watch?v=xpou72TAJ-s&t=1107s Vote or comment on NEAR Hunt ↗ /api/projects/6bd81b7d-aa9b-43f0-9f79-c0e829acc97d

The builder's pitch

“If I put money into the smart contract, I can withdraw it back, right? … which by the way requires that the smart contract is not upgradable” — @ilblackdragon on Milk Road podcast Exit Proof proves it in Lean. With @mike_genproof Built at NEAR HACKATHON @NEARProtocol