StarkWareStarkNet用编程语言Cairo语言写出了ZK-EVM

10月26日消息,零知识证明技术开发公司StarkWare发推表示,今日StarkNet宣布将其工具Cairo和ZK-EVM的智能合约编译为一种ZK Rollu

StarkWare:StarkNet用编程语言Cairo语言写出了ZK-EVM

10月26日消息,零知识证明技术开发公司StarkWare发推表示,今日StarkNet宣布将其工具Cairo和ZK-EVM的智能合约编译为一种ZK Rollup,写了一个典型代码:“Cairo”,初代Rollup的建立是为了将EVM指令变成Rollup。

写在本页的视频展示文稿视频演示了Cairo如何通过Cairo可以在合约中创建专用代码。Cairo应用了密码学和零知识证明等方法来证明某个EIP的有效性。为了证明正确性,信标链将总是按顺序分派了一名验证者。为了验证EIP的有效性,信标链通过概率机制(PR)决定了一条路径来确认方向。步骤包括:替换你的密码;将验证区块转发到信标链。然后,这些验证者会得到一个信标链上的验证者组。

This article and pictures are from the Internet and do not represent 96Coin's position. If you infringe, please contact us to delete:https://www.96coin.com/3204.html

It is strongly recommended that you study, review, analyze and verify the content independently, use the relevant data and content carefully, and bear all risks arising therefrom.