From 5690104921ff92536711a9fbb19c541f7a11fbf5 Mon Sep 17 00:00:00 2001 From: "fuder.eth" <139509124+vtjl10@users.noreply.github.com> Date: Mon, 23 Dec 2024 19:32:39 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9c8c256..e21ec1c 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ Giza leverages the Winterfell library to prove and verify the execution of programs running on the Cairo VM. -## Usage instructions +## Usage Instructions Giza offers two modes of usage. In the first mode, an execution trace created by an external Cairo runner is supplied to the CLI to output a proof. The provided trace consists of binary files containing the record of register and memory states visited during the run of a Cairo program. To prove execution, additional auxiliary trace values must be reconstructed, and the built-in Rust runner is used to re-execute the trace in order to compute these values.