1. 引言

开源代码见：

https://github.com/maxgillett/giza

Giza使用Winterfell库来证明和验证Cairo VM中程序执行的正确性。

Winterfell为：A STARK prover and verifier for arbitrary computations。

Giza提供了2种使用模式：

1）模式一：外部Cairo runner创建execution trace，并将该execution trace提供给CLI以生成证明。所提供的trace中包含了：
- 包含寄存器记录的二进制文件；
- 运行某Cairo程序所访问的内存状态。
为了证明该execution，必须重构除额外的辅助trace值，并使用内置的Rust runner来重新执行该trace，以计算出这些值。
2）模式二：仅接收某Cairo程序和初始寄存器状态，使用runner来构建所有所需的trace信息（包括trace值和内存值）。不同于模式一，当前并未完全支持Python hint和program input。当前不推荐通过该模式与Giza交互，也暂未通过CLI暴露该模式接口。

Giza=Winterfell + Cairo VM相关推荐

SNARK性能及安全——Prover篇
1. 引言 SNARK (Succinct Non-interactive Arguments of Knowledge) 是实现: 1)区块链扩容(如L2 rollups) 2)隐私的重要密码学原 ...
你好，区块链操作系统上的完全去中心化国际象棋
在 Cartesi Labs 的支持与资助下,我们正在全力发展区块链操作系统的生态系统,并且在帮助程序员与开发人员开启他们的DApp. 你想知道 Cartesi Labs 支持的是哪些项目吗?来吧,可 ...
zk、zkVM、zkEVM及其未来
1. 引言 zk(zero-knowledge)proof:可保证计算的完整性.正确性和隐私性,在区块链扩容和隐私领域大有可为. zk-SNARK和zk-STARK各具优势,二者结合潜力无穷. zkV ...
VM安装Arch全程记录-2012-5
前注:硬盘安装Arch-Grub2引导记录 # (1) archlinux-archboot.iso-i686 menuentry 'archlinux-archboot.iso-i686' { lo ...
Daivik VM 和 JVM 的比较
简单的比较,区别在编译后的文件格式 java javac sdk dex jvm ...
在Oracle VM VirtualBox中如何安装64位虚拟机系统
一.前提条件 VirtualBox安装64bit的系统需要满足以下条件: 64bit的cpu(支持硬件虚拟化技术) 64bit的操作系统 64bit的VirtualBox 二.安装示例下面以HP P ...
用Azure VM + Azure Database for MySQL搭建Web服务
仍然是一篇动手实验,实验演示如何在Azure的虚拟机内部署一个Web服务器,并且使用Azure Mysql PaaS作为本应用的数据库.此实验的目的一方面是为了演示Azure IaaS层和PaaS服务 ...
d3d导致cairo不正常
最近要把cairo集成到项目中,却发现cairo不能工作了折腾了两天才找到了原因:cairo的一个trick导致浮点数计算错误: http://blog.163.com/lvan100@yeah/b ...
VM虚拟机报错：An error occurred during the file system check.
VM虚拟机开机时遇到以下错误: 问题原因:在上一次VM虚拟机关机后,移除了某个硬件设备,但是在上一次开机时已经设置了永久挂载,没有在配置文件中将被移除的硬件设备信息删除掉,所以在下一次虚拟机启动时,找 ...

Giza=Winterfell + Cairo VM

1. 引言

Giza=Winterfell + Cairo VM相关推荐

最新文章

热门文章