@msimoni:"我认为我们在以太坊中应该将自己视为构建'庇护技术'生态系统的一部分……
摘要
Vitalik Buterin 建议将以太坊视为构建'庇护技术'——即自由、开源的工具,使人们能够在面对外部压力时富有韧性地生活和工作,尤其是在对监视和企业控制的担忧日益加剧的背景下。
"我认为我们在以太坊中应该将自己视为构建'庇护技术'生态系统的一部分:自由开源的技术,让人们能够以优化对外部压力鲁棒性的方式生活、工作、相互交流、管理风险、积累财富以及合作追求共同目标。"
查看缓存全文
缓存时间: 2026/05/19 04:39
``我认为,在以太坊中,我们应将自身视为构建‘庇护技术’生态系统的一部分:即那些自由开源技术,让人们能够生活、工作、交流、管理风险、积累财富,并共同协作实现共同目标,同时以优化抵御外部压力的稳健性为目标。“
vitalik.eth (@VitalikButerin): 过去一年里,许多和我交流过的人都对两个话题表达了担忧:
- 世界各种走向:政府管控与监视、战争、企业权力与监视、技术恶化(corposlop)、社交媒体沦为模因
相似文章
@SaitoWu: https://x.com/SaitoWu/status/2055623767066550403
Vitalik Buterin 在 a16z 播客中讨论 AI 时代人类应如何应对,提出创建“庇护所技术”以保护隐私和主权,强调人应主动掌舵而非被动依赖 AI。
@Dan_Jeffries1:将 Mythos(或任何其他智能模型)严密封锁,仅限少数公司获取,这反而降低了我们整个社会的安全性……
本文认为,对 Mythos 等智能模型进行封闭限制会降低社会安全性,主张更广泛地分发 AI 技术,以保护海量的开源及闭源软件项目生态系统。
Vitalik Buterin 谈AI:重点不是聊天机器人,而是证明软件安全
Vitalik Buterin 认为,AI 可以使形式化验证更加实用,帮助生成规范和证明以确保软件行为正确,从而可能改变以太坊之外的关键软件开发。
@VitalikButerin:“更多漏洞不可避免,软件现在都将变得概率化”是一种自我安慰。“AI查找漏洞意味着我们…
Vitalik Buterin 反驳了漏洞不可避免以及 AI 查找漏洞就不得不闭源的说法,他指出编写安全代码已变得更加困难,但并非不可能。
@VitalikButerin: 许多人声称,在AI辅助的漏洞查找下,安全的代码(因而任何无需信任的东西)将是不可能的…
Vitalik Buterin分享了一个乐观的看法,认为AI辅助的形式化验证是实现安全、无需信任的代码的途径,并链接到他的博客文章,该文章解释了使用Lean进行形式化验证的基础知识。