Loading video...
Video Failed to Load
Formal verification became feasible. That was step one. NEAR Protocol just made it 250x cheaper. $111 versus $20,000. That's NEAR's first-place result on Putnam Bench against the next best submission. Proving code isn't useful until it's cheap. Alex Skidanov (alex.near) on the benchmark NEAR just topped.
52,874 views • 20 days ago •via X (Twitter)
0 Comments
No comments available
Comments from the original post will appear here
