Succinct surged more than 40% with the AI momentum. $PROVE After Vitalik Buterin’s comments about AI + formal verification, the project announced that it used AI to verify its ZK compiler, VEIL. The news triggered a sharp rally. Funding has been negative for hours, while 24h futures volume reached an extremely high $1.1B. 64m mcap, 340m fdv. Worth watching.