Succinct (PROUVER)