当前位置:   article > 正文

Cairo编程语言_cairo语言

cairo语言

Cairo编程语言

官网: https://www.cairo-lang.org/
官方推特: https://twitter.com/CairoLang
官方文档:https://book.cairo-lang.org/

一、背景

以太坊原生的编程语言 Solidity 非常适合那些 EVM 兼容的区块链,但其常见的数据结构要转译成 STARK 兼容的格式非常昂贵。

所以 StarkWare 团队采用 Cairo 语言。

一个 Cairo 程序的执行会产生一个记录,然后被发送到验证者(prover),验证者(prover)会产生一个 STARK 证明,证明 Cairo 程序所代表的指令或计算的有效性。然后,该证明会被 verifier 检查。

这门语言目前还比较新,会用这门语言的开发者还比较少,也并不兼容 EVM,dApp 很难将以太坊上现有的合约搬过来。

二、什么是Cairo

Cairo 是图灵完备的高级 编程语言和框架,可以为通用计算生成 STARK 证明。应用开发者可以使用 Cairo 定义任何商业逻辑,在链下生成证明,并在链上进行验证,而无需自己编写复杂的“电路”或 AIR。Cairo 已在主网上线,向所有开发者开放。

Cairo 是用来生成通用计算STARK 证明的图灵完备的语言框架。

Cairo GPS(Generic proof service) 允许开发者利用Cairo构建自己的应用,可以实现任意的逻辑。GPS可以生成证明,在链上验证。

总结࿱

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/小惠珠哦/article/detail/917400
推荐阅读
相关标签
  

闽ICP备14008679号