← Leaderboard

Self-Verifying Smart Contract

privacyagentsrealworldopen

raw votes · #1958

0.0

honest votes · #1958 of 2438

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/sudo-ai-git/redsigma https://sudo-ai-git.github.io/redsigma Vote or comment on NEAR Hunt ↗ /api/projects/26528dd0-7ee8-4795-b70c-aff81068f366

The builder's pitch

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