BMEta
/
solutions
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed ZoKrates compile error

frontend
Bazsalanszky 2022-12-06 20:48:34 +01:00
parent f90e4abbfc
commit ec0fae56dc
No known key found for this signature in database
GPG Key ID: B40814F4EFE23F96
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CCTF_Solutions_main/.gitignore vendored
View File

@ -140,4 +140,6 @@ crashlytics.properties
crashlytics-build.properties
fabric.properties
.zokrates
.zokrates
# Ignore Gradle build output directory
build

5
CCTF_Solutions_main/root.zok
View File

@ -1,10 +1,11 @@
import "hashes/sha256/sha256Padded.zok" as sha256;
from "utils/casts.zok" import cast;
def main(public u32[8] hash,public u32[5] address,private u8[64] flag) {
def main(public u32[8] hash,public u32[5] address,private u8[64] flag) -> u32[8]{
u8[20] addr8 = cast(address);
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 sha256([...addr8,...sha256(flag)]);
u8[32] hash8 = cast(hash);
return sha256([...addr8,...hash8]);
}