#succintctlabs and $PROVE