1/ Om Ethereum in real-time te kunnen bewijzen met zero knowledge, moeten we in staat zijn om alle – inclusief het slechtste geval – blokken te bewijzen. Terwijl andere zkVM's zich richten op real-time bewijzen, zijn aanvallen zoals de recente modexp, niet zorgvuldig bestudeerd.