NEAR Protocol

When billions are at stake, “the code looks right” isn’t enough.

Name: When billions are at stake, “the code looks right” isn’t enough.
Uploaded: 2026-09-15T00:00:00.000Z
Description: Human review can miss things. AI review can too. Formal verification lets you mathematically prove what code will actually do. When that code controls significant amounts of money, that distinction

Sep 15, 2026about 0:00 long

Watch on YouTube (opens in a new tab)

Nothing is loaded from YouTube until you press play, and then without tracking cookies.

About this video

Human review can miss things. AI review can too.

Formal verification lets you mathematically prove what code will actually do.

When that code controls significant amounts of money, that distinction matters.

#NEARProtocol #FormalVerification #Security #AI #Blockchain

NEAR is the Blockchain for AI Website: near.org NEAR AI: near.ai Intents: near.org/intents Chain Abstraction: proximity.dev Sharding: nearone.org

For the devs GitHub: github.com/near Dev Docs: docs.near.org Devhub: devhub.near.page @NEARDevHub

Connect with socials Twitter: / nearprotocol Blog: near.org/blog Medium: / nearprotocol #NEAR #nearprotocol #NEARAI

Transcript

46 words

Captions as YouTube publishes them, usually machine-generated, so product and people names can be misheard.

Search this transcript

0:00
for formal verification as a framework allows us to uh shift from this human validation and you know AI validation to actually have a formal validation of what the code does right and this is especially you know important when you're dealing with a lot of

All videos