The Zcash Orchard zk circuit bug, as reported by @DefuseSec.
The bug looks obvious in retrospect, but unfortunately, it was missed by perhaps the most diligent protocol designers, cryptographers, and auditors.
It may get worse before it gets better, unfortunately.
Expanding coverage of formal verification is probably the only long-term solution we have.
@KettlebellDan I just left the SpaceXAI office at ~2:45am and people were still going.
I think we might be close to a significant breakthrough in training.
https://t.co/zEnhTowQbQ is the best platform for University Hackathons, and it's becoming better every week! We'd love to welcome more universities to use DoraHacks.
If there's ever a need for network states, the one network state needed is the BUIDL network state, as an destination for BUIDLs to exit degenerative societies. Such a network state needs to be made permanently free like Bitcoin.