Ahmed

DynamoRIO basic block size are not accurate

1

The problem is that there are some inaccuracies in dynamo block size, to my best knowledge the block in dynamo rio always terminated with jmp or return ... which isn't...

Formatting Proof view

4

Legacy vscoq allows proofs to be formatted nicely, But this is no the case for the current vscoq as shown below:  This is makes it extremely hard to follow...

Add more constant operation?

3

While implementing NTRU, I noticed I needed a [constant time sorting algorithm](https://github.com/RustCrypto/KEMs/pull/35/commits/87c7c02a3ecd9b6afee9a51836bcca0a99c2c5ea#diff-ccdf7edb0ee2c9ed7a0ea36681a9ef13dbbab3605a8e396f59203a1e6e01fca7) and [constant time division](ntru/src/const_time/num.rs). Would it make sense to move the implementation to subtle instead to make them...

Cargo clippy report warnings from macros when using quote_spanned

1

### Summary Cargo clippy captures warnings from inside macros when using `quote_spanned!`. Attempting `--fix` results in: *warning: failed to automatically apply fixes suggested by rustc to crate `.....` after fixes...