loading...
作者：Vitalik Buterin，以太坊创始人；编译：比特之家
本世纪最显著的技术趋势之一是互联网正深度融入现实世界——从通讯、金融到健康监测，乃至脑机接口，数字基础设施已悄然重塑人类生活方式。
然而，这一进程也加剧了对社会信任与技术主权的挑战。要应对这些问题，必须确保整个技术堆栈（涵盖软件、硬件与生物技术）具备真正的开放性与可验证性，理想情况下由终端用户直接验证。
新冠疫情期间，疫苗分配不均暴露了专有系统与封闭科学传播的弊端。发达国家2021年即获得高质量疫苗，而部分国家直到2022至2023年才获取替代品。这种差距不仅源于生产资本壁垒，更与科研过程缺乏透明度有关。
相较之下，如PopVax等开源疫苗项目展现出更低成本与更高透明度，为安全性与有效性验证提供坚实基础。在生物技术数字化方面，个性化医疗依赖实时数据采集，若此类系统被少数实体垄断，将引发严重的数据隐私风险与权力集中问题。
2021-2023年新冠疫苗覆盖率。
电子签名与区块链交易已证明数字化转型的巨大潜力。例如，在以太坊上完成法律文件签署仅需数秒，成本极低。但与此同时，网络安全威胁始终存在。
加密货币领域早已引入多重签名、社交恢复钱包与硬件钱包等机制。然而，真正的安全与可验证性必须延伸至软件与硬件层面。当前大量微架构漏洞正是由于闭源组件难以审查所致。
一种检查计算机芯片是否正确制造的技术。
随着社会治理向数字化演进，电子投票、智能治理与二次投票等机制逐步落地。但公众接受度高度依赖系统的透明度与可信度。
“黑匣子软件”使民众无法了解投票机运行逻辑，极易引发对选举公正性的质疑。为此，必须推广真正开源且可验证的公民科技工具。这不仅能增强信任，还能激发地方创新，推动本地化治理方案发展。
2014年爱沙尼亚互联网投票的批判性分析。
Vitalik设想了一个高度安全、自由参与的数字未来：
每个人拥有兼具手机功能、硬件钱包安全性和可检视性的个人设备。
消息应用完全加密，代码经形式化验证，保障通信私密性。
财务系统基于标准化区块链资产，设备丢失后可通过亲友或机构快速恢复。
类似Starlink的全球连接基础设施实现开源化。
设备搭载开放式大语言模型，辅助扫描活动、提供建议并防止误操作。
操作系统与全天候健康追踪设备均开源且可验证。
公共场所部署开源监测设备，用于追踪生物指标，支持随机抽检。
实现这一愿景需突破以下关键技术：
高级密码学，如ZK-SNARK与全同态加密。
应用级与用户级安全设计，使普通用户也能理解并验证安全属性。
形式化验证，利用算法自动证明程序关键行为。
开源操作系统，如GrapheneOS与HarmonyOS。
安全的开源硬件，包括个人终端与公共物理基础设施。
硬件验证技术，如红外线与X射线扫描。
2000年代的网络安全宿命论是错误的：漏洞（和后门）是可以被攻克的。我们“只是”需要学会将安全置于其他竞争目标之上。
总体而言，尽管全面实现该愿景面临挑战，但通过优先在高安全性、低性能敏感场景中部署开源且可验证的堆栈，我们已能迈出关键一步。这将为下一代数字社会奠定坚实基础。
258
693
991
753
921
836
877
983
700
478
