master student and grantee at PSE

researching in zkVM