#SuccinctLabs and $PROVE