This aligns with something we've been convinced of too. Though there is a key difference between formal verification of code that's been writted, versus a specification that's logically correct by construction.
The zcash bug looks different in each case, one found bug post-hoc, the other means the bug can't emerge from the spec in the first place.
Curious if you see that distinction as meaningful in practice?
$AGRS $TAO $ETH
Humanity can build rockets.
We can train advanced AI models.
We can sequence DNA.
Yet our biggest challenge remains coordination.
How can thousands—or millions—of people make decisions without chaos?
Tau is an attempt to build infrastructure for coordination at a scale never before possible.
If successful, its impact could be greater than that of blockchain technology itself.
https://t.co/UqOoLql9CE
This is interesting coming from the CEO of Coinbase 👇
He nails the part most miss: the limiting factor won’t be smarter models it’s energy and compute.
The project building for exactly that bottleneck is @GnusAi - turning idle compute in everyday devices into a decentralized AI network.
Models get cheap. Compute becomes the moat.
$GNUS
Celebrity culture is collapsing.
Guru culture is collapsing.
Political figures as leaders are collapsing.
The next step is not finding better leaders.
It is systems where people can reason, coordinate, and evolve rules together.
https://t.co/Cc7Rm0w9tu. $AGRS
$TAO $ZEC $ADA