All in $PROVE from price 0.9. Is the target x10 feasible? #succinct_labs