Polygon dévoile la mise à niveau du prouveur 'Type-1', promettant de transformer les chaînes EVM avec des preuves à divulgation nulle de connaissance