Add Grostl about hashes HOT 5 CLOSED

Overriding block_bytes and block bits will not work, as BlockSize used in the HMAC implementation to create key arrays.

Probably the easiest way to implement this will be to define two separate types with appropriate bounds on OutputSize. It will look approximately like this:

struct Grostl<OutputSize, BlockSize> {
   ...
    os: PhantomData<OutputSize>,
    bs: PhantomData<BlockSize>,
}

pub type GrostlSmall<OutputSize>
    where OutputSize: ArrayLength<u8> + Cmp<U512>,
          Compare<T1, U257>: Same<Less>
    = Grostl<OutputSize, U512>;

pub type GrostlBig<OutputSize>
    where OutputSize: ArrayLength<u8> + Cmp<U512>,
          Compare<T1, U256>: Same<Greater>
    = Grostl<OutputSize, U1024>;

Grostl will be private and user will only have access to GrostlBig and GrostlSmall (and other aliases based on them, e.g. Grostl256, Grostl384, Grostl512, etc.). After that you can implement Digest generically over OutputSize and BlockSize without worrying about incorrect combinations.

This approach is a bit hacky, but I couldn't get with a better one. Probably with specialization it will be possible to write it in a more general manner, but unfortunately I am not that familiar with it.

from hashes.

Thanks, I'll do that. I have some questions though.

• I'm assuming by T1 you mean OutputSize?
• What's the point of the Cmp<U512> bound?
• Shouldn't GrostlBig have be bounded by something like Compare<OutputSize, U513>: Same<Less> as well?

from hashes.

Another point:

pub type GrostlSmall<OutputSize>
    where OutputSize: ArrayLength<u8> + Cmp<U512>,
          Compare<OutputSize, U257>: Same<Less>
    = Grostl<OutputSize, U512>;

With that code, I'd like to not make the Grostl struct public. Then the user is forced to use a type alias with the correct BlockSize; they can't mess that up. But I'm hinting the warning E0446 (rust-lang/rust#34537) about exporting a private type in a public API, which will soon be an error. I'll go ahead an make it public for now, but I'm wondering if you have any ideas on the issue.

from hashes.

I'm assuming by T1 you mean OutputSize?

Yes, it was leftover from testing code.

What's the point of the Cmp bound?

It allows us to write condition which uses Compare type operator. You can think about it as of typenum's implementation detail.

Shouldn't GrostlBig have be bounded by something like Compare<OutputSize, U513>: Same<Less> as well?

Yes, forgot to add upper bound.

With that code, I'd like to not make the Grostl struct public. Then the user is forced to use a type alias with the correct BlockSize; they can't mess that up. But I'm hinting the warning E0446 (rust-lang/rust#34537) about exporting a private type in a public API, which will soon be an error. I'll go ahead an make it public for now, but I'm wondering if you have any ideas on the issue.

I believe warning also gives a note with a way around it. You just need to place Grostl in the different module. I've used the same aproach for Streebog hash function.

from hashes.

Closed in the #10.

from hashes.