• by ianbutler on 3/29/2025, 11:37:32 PM

    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

    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

    It looks like we did in fact nail it and I've just shared our write up above on how we got it.