@msimoni: ``I think that we in Ethereum should conceptualize ourselves as being part of an ecosystem building "sanctuary technolo…
Summary
Vitalik Buterin suggests Ethereum should be seen as building 'sanctuary technologies'—free, open-source tools that enable people to live and work resiliently against external pressures, amidst growing concerns over surveillance and corporate control.
View Cached Full Text
Cached at: 05/19/26, 04:39 AM
``I think that we in Ethereum should conceptualize ourselves as being part of an ecosystem building “sanctuary technologies”: free open-source technologies that let people live, work, talk to each other, manage risk and build wealth, and collaborate on shared goals, in a way that optimizes for robustness to outside pressures.“‘’
vitalik.eth (@VitalikButerin): Over the past year, many people I talk to have expressed worry about two topics:
- Various aspects of the way the world is going: government control and surveillance, wars, corporate power and surveillance, tech enshittification / corposlop, social media becoming a memetic
Similar Articles
@SaitoWu: https://x.com/SaitoWu/status/2055623767066550403
Vitalik Buterin discusses how humans should respond in the age of AI on the a16z podcast, proposing the creation of "sanctuary technology" to protect privacy and sovereignty, emphasizing that humans should take the helm proactively rather than passively rely on AI.
@Dan_Jeffries1: We are less safe as a society by keeping Mythos (or any other smart model) tightly gated so only a few companies get it…
The article argues that gating smart models like Mythos reduces societal safety, advocating for wider distribution of AI technology to secure the vast ecosystem of open-source and closed-source software projects.
Vitalik Buterin’s AI take is less about chatbots and more about proving software is safe
Vitalik Buterin argues that AI can make formal verification more practical, helping generate specs and proofs to ensure software behaves correctly, potentially transforming critical software development beyond Ethereum.
@VitalikButerin: "Even more bugs are inevitable, software is all going to become probabilistic now" is cope. "AI bug-finding means we ha…
Vitalik Buterin argues against the narratives that bugs are inevitable and that AI bug-finding necessitates closed-source, stating that writing secure code has become harder but not impossible.
@VitalikButerin: Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossib…
Vitalik Buterin shares an optimistic take on AI-assisted formal verification as a path to secure, trustless code, linking to his blog post explaining the basics of formal verification using Lean.