import "./IVconstants" as IVconstants;
import "./shaRoundNoBoolCheck" as sha256;

// A function that takes 2 bool[256] arrays as inputs
// and returns their sha256 compression function as an array of 256 bool.
// No padding is being applied
def main(bool[256] a, bool[256] b) -> bool[256] {
    bool[256] IV = IVconstants();
    bool[256] digest = sha256(a, b, IV);
    return digest;
}