Hämmentävästi gradu vaihteeksi jopa etenee. Tänä yönä ei kyllä syntynyt kuin yksi parin sivun aliluku, mutta samalla sain jäsenneltyä toisen aliluvun sisällön kirjoittamista vaille valmiiksi.
Hahmotin myös viimeinkin, miksi epäinteraktiiviset nollatietotodistukset ylipäänsä ovat mahdollisia, vaikka on osoitettu, että kolmen kierroksen nollatietotodistukset ovat rajoittuneet luokan BPP ongelmiin. (Jälkimmäinen väite rajoittuu musta laatikko -todistuksiin ja ennen kaikkea tavallisiin nollatietotodistuksiin, joita epäinteraktiiviset todistukset eivät ole, koska niissä simulaattorin ei tarvitse tulla toimeen mielivaltaisen vaan ainoastaan rehellisen tarkastajan kanssa.)
Jos termit vaikuttavat vierailta, niin sitä ne luultavasti ovatkin. Kaikki korostetut suomennokset ovat itse keksimiäni, koska en ole tietoinen, että termeille olisi vakiintuneita käännöksiä tässä kontekstissa. Tänään tuli vastaan sellainenkin termihirviö kuin non-interactive zero-knowledge proof system with preprocessing, jolle piti löytää käännös. Jäsennettynä se olisi (non-interactive (zero-knowledge (proof system))) with preprocessing, mikä kertonee jotain käsiteen monimutkaisuudesta.
Mutta on tätä gradua tarpeeksi monta vuotta tullut haudottuakin. Nyt se toivottavasti viimeinkin valmistuu kesän aikana, minkä jälkeen maisterin paperit ovat enää jatko-opintopaikasta tai muista tulevaisuudensuunnitelmista kiinni.