{"id":"b-3ghyycMb4","title":"When code controls money, correctness matters.","description":"Smart contracts, Intents and other mission-critical systems can control huge amounts of value.\n\nHuman review isn’t enough.\n\nFormal verification allows the properties of that code to be validated for correctness before money depends on it.\n\n#NEARProtocol #FormalVerification #SmartContracts #Security #Blockchain\n\n\nNEAR is the Blockchain for AI\nWebsite: https://near.org/\nNEAR AI: https://near.ai/\nIntents: https://near.org/intents\nChain Abstraction: https://www.proximity.dev/\nSharding: https://nearone.org/\n\nFor the devs\nGitHub: https://github.com/near \nDev Docs: https://docs.near.org/\nDevhub: https://devhub.near.page/ @NEARDevHub\n\nConnect with socials\nTwitter:   / nearprotocol  \nBlog: https://near.org/blog/\nMedium:   / nearprotocol  \n#NEAR #nearprotocol #NEARAI","channel_name":"NEAR Protocol","published_at":"2026-09-17T00:00:00.000Z","thumbnail_url":"https://img.youtube.com/vi/b-3ghyycMb4/hqdefault.jpg","transcript_text":"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","transcript_synced_at":"2026-11-03T04:20:00.631Z","segments":[{"start_seconds":0,"text":"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","url":"https://www.youtube.com/watch?v=b-3ghyycMb4&t=0s"},{"start_seconds":9,"text":"intents etc or anything else that's mission critical you want to have a validation of correctness of that code","url":"https://www.youtube.com/watch?v=b-3ghyycMb4&t=9s"},{"start_seconds":17,"text":"down to the property","url":"https://www.youtube.com/watch?v=b-3ghyycMb4&t=17s"}],"youtube_url":"https://youtube.com/watch?v=b-3ghyycMb4","url":"https://near-pedia.xyz/videos/b-3ghyycMb4"}