Closed rphmeier closed 6 years ago
I don't think this should be merged as-is, but it benches just as fast as #11.
Currently uses typenum I'll revisit this when proper dependent typing lands. Then we should just declare
typenum
struct Keccak<rate: usize, delim: u8> where rate <= PLEN * 8 and export type Shake128 = ... and so on.
struct Keccak<rate: usize, delim: u8> where rate <= PLEN * 8
type Shake128 = ...
I don't think this should be merged as-is, but it benches just as fast as #11.
Currently uses
typenumI'll revisit this when proper dependent typing lands. Then we should just declarestruct Keccak<rate: usize, delim: u8> where rate <= PLEN * 8and exporttype Shake128 = ...and so on.