扫描下载APP
其它方式登录
Kakarot是使用Cairo语言在Starknet上实现的zkEVM。
Sierra 的主要目标是确保生成的 CASM 代码不会失败。
递归证明指的是通过生成一个证明来验证多个「上游」证明的有效性,不仅适用于硬编码逻辑,而且适用于通用计算,直接优势包括降低链上成本,降低延迟以及催生 L3 和应用递归等新机会。