StarkWare:关于Cairo的10个资源
今年,加密货币经历了一段艰难的时期——比特币、以太坊和其他数字货币的价值暴跌了60%以上。尽管加密市场出现了低迷,但该行业仍在增长。人们认为智能合约只是金融(DeFi)的扩展或Web (Web3)的泛化,而它们其实是可组合计算的平台。
StarkWare等公司正在开发提高区块链可扩展性的新方法。
例如,zk-STARK或Zero Knowledge Scalable Transparent Argument of Knowledge是区块链上金融隐私的一种趋势创新,它使用了快速、可扩展的计算。
zk-STARK是什么?
zk-STARK背后的创新之处在于其作为以太坊区块链上的第二层网络运行。零知识证明允许用户和开发人员使用主网的安全性和可组合性的所有好处。
一般来说,这是该算法中的加密算法和核心数学的结果。熟悉以太坊的人都知道,Solidity是智能合约的主要编程语言。
同样的,StarkNet有自己的dApp原生语言Cairo,它是为扩展以太坊而设计的。它的优点是可证明的计算,就像Solidity实现了可组合计算一样。简单地说,Solidity语言接口主要是为合约间交互而开发的,这正是“可组合”计算的意思。
在以太坊网络中,每一次验证都需要重新运行一次交易。相比之下,StarkNet提供了更经济的操作,通过验证交易是否已以特定结果执行来验证交易。ZK-Rollup 使这成为可能,并启用了一种称为可证明计算的新范式。
什么是Cairo?
如果你正在寻找一种具有成本效益的、可证明的计算编程语言,那么就可以考虑Cairo。以下是Cairo的一些优点:
- 它是一种专门为智能合约设计的、可证明的语言。
- 它不受EVM的限制。
- 它的函数是导入的,而不是继承的。
- 它支持Solidity到Cairo 的转译。
- 它包括对底层原语的完全访问。
在其最纯粹的形式中,Cairo的源代码看起来类似于ASM代码。唯一可能随时间变化的值保存在指定