راه‌اندازی Succinct، اولین شبکه اثبات‌کننده غیرمتمرکز، بر روی Mainnet