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) https:/

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) https://news.ycombinator.com/item?id=43489944 https://news.ycombinator.com/item?id=43489944 The reproducer is linked in the post. After disclosing and having correspondence with Gerlof and from the post on the front page right now https://news.ycombinator.com/item?id=43518560 https://news.ycombinator.com/item?id=43518560 It looks like we did in fact nail it and I've just shared our write up above on how we got it.