NEAR Protocol

When code controls money, correctness matters.

Name: When code controls money, correctness matters.
Uploaded: 2026-09-17T00:00:00.000Z
Description: Smart contracts, Intents and other mission-critical systems can control huge amounts of value. Human review isn’t enough. Formal verification allows the properties of that code to be validated for c

Sep 17, 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

Smart contracts, Intents and other mission-critical systems can control huge amounts of value.

Human review isn’t enough.

Formal verification allows the properties of that code to be validated for correctness before money depends on it.

#NEARProtocol #FormalVerification #SmartContracts #Security #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

51 words

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

Search this transcript

0:00
This is especially you know important when you're dealing with a lot of money right when you this is blockchain code this is smart contracts um you know intents etc or anything else that's mission critical you want to have a validation of correctness of that code down to the property

All videos