Hey guys we commented on another thread from a few days ago about our tool Bismuth finding the bug (along with a sha of our reproducer script for proof) <a href="https://news.ycombinator.com/item?id=43489944">https://news.ycombinator.com/item?id=43489944</a><p>The reproducer is linked in the post.<p>After disclosing and having correspondence with Gerlof and from the post on the front page right now <a href="https://news.ycombinator.com/item?id=43518560">https://news.ycombinator.com/item?id=43518560</a><p>It looks like we did in fact nail it and I've just shared our write up above on how we got it.