1/ Abychom mohli v reálném čase dokázat Ethereum bez znalostí, musíme být schopni dokázat všechny – včetně nejhoršího možného – bloků. Zatímco jiné zkVM se zaměřují na ověřování v reálném čase, útoky jako nedávný modexp nebyly pečlivě studovány.