#succinctLabs $PROVE

A clue...?