Polygon представляет обновление для доказательства 'Type-1', обещая преобразить цепочки EVM с помощью доказательств с нулевым разглашением