Matemaatika ja informaatika PhD (informaatika, projekt: Uudsed tehnikad zk-SNARKides / Novel techniques in zk-SNARKs)