This is right.
Miners will look at, and compile the code before deploying. They question everything. It's in the own self-interest. It's how decentralization works - incentive alignment, without requiring trust.
This is why a soft fork was necessary before the hard fork. Miners knew there was a potential issue and agreed to stop mining Orchard txs for a time for the long term health of their own operations.
We couldn't immediately hard fork because they would have been able to see the issue in the code, which risked an exploit.
So, soft fork with majority hash rate to exclude Orchard transactions, then a hard fork a few hours later, where the fix was visible to miners, but not exploitable.
the level of coordination this took to perform in the execution window of like 4 days is honestly remarkable
it would not have been possible without Zcash’s culture
that cannot be replicated overnight it has taken over a decade
Shielded Labs has now funded efforts that helped to discover and remediate at least two major vulnerabilities in Zcash before they could be used by the bad guys!
@lukaskorba@BostonZcash After the AI Cyberpocalypse is over, we should give Lifetime Achievement Awards to these Zcash engineers who've been working super hard, day after day, week after week, month after month to protect all Zcash users through this historic transition from before AI to after AI.
The best case scenario for super intelligence would be to be embodied in an interstellar ship but incredibly cute and small, like a little Totoro - with little ion engines and if they hate us they can flourish in deep space
🚨 Zebra 4.5.0 is out. This release fixes multiple security vulnerabilities across consensus and networking.
All node operators should upgrade immediately.
https://t.co/3Iane54YsM
I think it is reasonable to default to skepticism / non-realism / deflationary views about much-debated metaphysical concepts which don't show up in physics or math.
E.g. free will, consciousness, morality, personal identity
(The metaphysical versions, not ordinary-language)
@scaling01@pmarca Turing-complete computation took a hell of a long time for us to figure out despite lots of people manually doing calculations, thinking about calculating machines, etc.
An example of parallax. The yellow sphere is not moving, it's just hovering about 5,000 feet up. The camera filming it is moving in a straight line. So it looks like the sphere is moving in a straight line.