Cairo是首个产品级的用于STARK证明的通用计算平台， Cairo是图灵完备的，并且非常高效。
Cairo可以可以通过降低计算和存储代价来减少gas消耗。
STARK定位于解决通用计算的可扩展问题，复杂的计算在链下计算，生成在链上容易验证的证明。
所有的Cairo程序都可以用一个合约验证。
Cairo支持零知识证明验证。
Cairo能将300K个交易打包进一个proof中。
Cairo是一种编写可证明的程序的语言，它生成trace， 然后由trustless prover 生成证明，然后证明由链上的验证者（verifier）验证。
Cairo业务架构
Cairo引入了SHARP的概念，它有三个主要的组件：
- 证明者（Prover）
- 验证合约（on-chain）
-
fact registry contract（on-chain）
Cairo编译运行后生成execution trace，输入到Prover 生成证明，并把证明发送给验证者合约。在验证后证明后，把fact写入FactRegistry。 用户Dapp合约即可通过验证fact是否存在，完成链下计算的验证。
因此dApp合约无需执行复杂的计算，从而减少gas消耗。
具体使用demo可参考AMM.
网友评论