Exit-Proof
About
“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
Media
Played from X. Open the post (1:43) (opens in a new tab)
From the builder’s post on X. Images and video are streamed from X’s servers, not copied.
Links
- Launch post on X
- x.com/mbor1sov/status/2121673298517897569 (opens in a new tab)
- Video
- youtube.com/watch?v=xpou72TAJ-s&t=1107s (opens in a new tab)Posted by the builder on X
- Hackathon listing
- nearhackathon.com#submissions (opens in a new tab)All submissions: the source has no per-project page
Discussion · 0 comments
Each comment is signed by its author on NEARChecking your wallet…
No comments yet. Start the discussion.
Comments are public rows on nearhunt.near under comment/6bd81b7d…. Only the author can delete one, because only they can write their own row. NEAR Hunt hides a comment that breaks the comment policy.