prove of the best line Project @Succinct #SuccinctLabs $PROVE