1/ Pour pouvoir prouver en temps réel Ethereum en utilisant des preuves à connaissance nulle, nous devons être capables de prouver tous les blocs – y compris les pires cas. Alors que d'autres zkVMs ont progressé vers la preuve en temps réel, des attaques telles que la récente modexp n'ont pas été étudiées avec soin.