import "hashes/sha256/sha256Padded.zok" as sha256;

def main(public u32[8] hash,private u8[8] flag) {
     u32[8] genHash = sha256(flag);
     log("Hash: {} {} {} {} {} {} {} {}",genHash[0],genHash[1],genHash[2],genHash[3],genHash[4],genHash[5],genHash[6],genHash[7]);
     //assert(genHash == hash);
     return;
}