NEKO v0.2.1 spec, 192 bit mode, const type asserts #4

.tangled/workflows/miri.yml

reviewed

This file has not been changed.

src/handshake.rs

reviewed

This file has not been changed.

src/lib.rs

reviewed

This file has not been changed.

wharrgarbl-neko/SPEC.md

reviewed

This file has not been changed.

wharrgarbl-neko/src/kats.rs

reviewed

This file has not been changed.

wharrgarbl-neko/src/lib.rs

reviewed

This file has not been changed.

+3 -3

wharrgarbl-neko/src/operators.rs

reviewed

··· 26 26 // Trans the neko 27 27 let transed_bytes = self.neko.state[block..S::RATE].as_mut_bytes(); 28 28 29 29 - let take = transed_bytes 29 29 + let advanced = transed_bytes 30 30 .iter_mut() 31 31 .zip(self.data.iter_mut()) 32 32 .map(operation) 33 33 .count(); 34 34 35 35 - self.data = &mut self.data[take..]; 35 35 + self.data = &mut self.data[advanced..]; 36 36 37 37 if !self.data.is_empty() { 38 38 self.neko.permutation_p12(ops::CONT); 39 39 } else { 40 40 - self.neko.position += take; 40 40 + self.neko.position += advanced; 41 41 break; 42 42 } 43 43 }

wharrgarbl-neko/src/traits.rs

reviewed

This file has not been changed.