可验证计算——计算的新主要原语

作者:**Nate Holiday (**Co-Founder & CEO)

每一次计算领域的重大变革都是由里程碑式的创新推动的。微处理器推动了个人计算机的诞生,图形用户界面使普通人能够轻松使用计算机,互联网引领了信息获取和全球通信的新时代。最近,云计算的普及创造了一个计算资源随时可用的世界。曾经受制于物理硬件限制,现在企业和个人可以随时利用庞大、可扩展的基础设施。云计算重新塑造了科技的本质,并已在我们互联的世界中变得无处不在。现在,我们正在见证由区块链和人工智能等新兴技术推动的新时代的开始。

云计算的四个“原语” 云计算的深远影响在于其对构成数字生态系统骨干的四个关键计算原语的抽象:服务器、存储、网络和数据库。了解每个原语对于欣赏云系统提供的复杂性和广度至关重要。

服务器:执行任务 服务器是计算任务的引擎,执行驱动应用程序的业务逻辑。随着云计算的出现,范式从静态的物理服务器转变为动态的虚拟化环境。计算能力主要从本地系统转移到全球云网络,使企业能够扩大运营并更有效地应对应用程序需求。

存储:保存数据 数据是业务战略决策的驱动力。云计算消除了对物理硬件的限制,实现了适应性强、具有弹性的数据存储解决方案,以满足企业不断扩大的需求。如今,超过60%的公司数据存储在云中。

网络:系统间通信 网络促进了系统之间的无缝通信,不受距离或规模的限制。云提升了这一原理,实现了业务应用程序之间以前无法实现的互连性水平。通过云,这个广阔的世界成为一个统一的、相互连接的数字游乐场。

数据库:推动业务逻辑 数据库充当业务运营的“大脑”,允许企业管理和协调驱动其核心流程的信息。曾经是本地化和刚性的数据库系统已经转变为灵活的、全球可访问的强大系统。云数据库和数据仓库的迅猛崛起,以Snowflake创下的创纪录首次公开发行为例,证明了数据库技术在现代企业堆栈中的重要性。

新原语的崛起 在当今高度互联的数字生态系统中,财务价值直接与数据挂钩,计算结果具有切实的货币影响,光依赖于效率、灵活性和安全性是不够的。在商业系统从“信任”模型转向“验证一切”模型的市场需求驱动下,无法再依赖黑匣子系统来确保价值的安全。尽管云计算及其基础原语可能在可预见的未来仍将是业务运营的基石,但验证性的新原语正在迅速成为堆栈的必需部分:可验证性。

可验证性成为计算标准 可验证性的本质在于营造一个每一片数据、每一次交易和每一次计算结果都准确且没有篡改的环境。

每个原语都为计算添加了独特的功能:服务器提供执行能力,存储解决方案管理数据储备,网络确保互连性,数据库简化数据驱动的逻辑。然而,所有这些都在某种程度上依赖于隐含的信任:对数据准确性、系统可靠性和交易完整性的信任。随着世界变得日益相互依存,信任已经不再足以保障业务运营。一层的不准确或漏洞会危及整个系统。如果系统从根本上受到损害,它是否可扩展或高效已经不再重要。

可验证性不仅仅是计算的四个核心原语的附加层,而是巩固了所有其他原语操作的基础。以云数据库为例,它是企业计算堆栈的关键组件。在没有可验证性的情况下,企业如何知道数据,尤其是数据处理,是否准确且防篡改?即使有小的差异,也可能导致企业和其利益相关者在操作或财务方面出现错误。可验证性将成为现代计算基础设施的重要原语。

时空:可验证计算层 时空公司在规模上引领了可验证计算,我们现在的重点是推动区块链、LLM和企业采用。我们敏锐地意识到在Web3、人工智能和云系统中对可验证数据和计算的市场需求不断增长,我们构建了第一个从头开始构建的Web3本地数据仓库——一个由零知识(ZK)技术提供支持的可验证数据仓库,并配备了完整套的开发人。

原文出处:

https://www.spaceandtime.io/blog/verified-compute