fix: zkg.c

Jakob Schneider Villumsenrequested to merge
debug-zkg into main

Used sha256(x) as y in verify instead of futhark array.

Merge request reports