NEAR targets protocol security after $112 AI proof-generation run