gistfile1.txt

sipRound : [4][64] -> [4][64];
sipRound [v0 v1 v2 v3] = [v0_3 v1_4 v2_3 v3_4]
  where {
    v0_1 = v0 + v1;  
    v1_1 = v1 << 13;  
    v1_2 = v1_1 ^ v0_1;  
    v0_2 = v0_1 << 32;

    v2_1 = v2 + v3;  
    v3_1 = v3 << 16;  
    v3_2 = v3_1 ^ v2_1;

    v0_3 = v0_2 + v3_2;  
    v3_3 = v3_2 << 21;  
    v3_4 = v3_3 ^ v0_3;

    v2_2 = v2_1 + v1_2;  
    v1_3 = v1_2 << 17;  
    v1_4 = v1_3 ^ v2_2;  
    v2_3 = v2_2 << 32;
  };