Cairo是什么 Cairo 是一种为同名虚拟 CPU 设计的编程语言。该处理器的独特之处在于,它不是为了我们世界的物理限制而创建的,而是为了加密限制而创建的,使其能够有效地证明在其上运行的任何程序的执行情况。这意味着您可以在不信任的机器上执行耗时的操作,并在更便宜的机器上非常快速地检查结果。虽然 Cairo 0 过去直接编译为 CASM(Cairo CPU 汇编),但 Cairo 1 是一种更高级的语言。它首先编译为 Sierra,这是 Cairo 的中间表示,稍后将编译为 CASM 的安全子集。Sierra 的目的是确保即使计算失败,您的 CASM 也始终是可证明的。 Cairo 允许您在不受信任的机器上计算可信值。Starknet 是一个主要用例,它是以太坊扩展的一种解决方案。以太坊是一个去中心化的区块链平台,可以创建去中心化的应用程序,其中用户和 d-app 之间的每一次交互都经过所有参与者的验证。Starknet 是构建在以太坊之上的第 2 层。不是让网络的所有参与者验证所有用户交互,而是只有一个称为证明者的节点执行程序并生成计算正确完成的证明。然后,这些证明由以太坊智...