The microblog: 2019.03.21 00:59:53

2019.03.21 00:59:53 (1108518553374859264) from Daniel J. Bernstein:

Over the past day a quick demo of the #angr binary-analysis toolkit turned into a prototype verifier checking correctness of Seiler's vectorized NTT asm in Kyber (see Shouldn't be hard to generalize to many more linear maps mod q.

2019.12.27 08:39:28 (1210465202967400448) from Daniel J. Bernstein:

Did a few cleanups and updates to recognize optimizations in the latest versions of angr. Same URL.