1 2 3 4 5 6 7 8
(mod () (include sha256tree.clib) (compile-file secret-number secret_number.cl) (defconst A (sha256 1 H)) (defconst H (sha256tree secret-number)) (defconst I (sha256 1 H)) H )