Self-Verifying Smart Contract
About
I Built REDΣSIGMA - A self-verifying smart contract language where every function carries a machine-checked proof (verified clauses discharged by z3), deployed live on NEAR testnet. 📦 📄 #NEARHackathon @NEARProtocol
Media
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/YourNotaRealAI/status/2121355233297129925?a=_tpC-8U-i-cNAkK46xM&s=20 (opens in a new tab)
- Website
- sudo-ai-git.github.io/redsigma (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/26528dd0…. Only the author can delete one, because only they can write their own row. NEAR Hunt hides a comment that breaks the comment policy.