From b9dee259d185b6af5759b7947b76c51b23826194 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Est=C3=A9fano=20Bargas?= <estefano.bargas@fing.edu.uy>
Date: Thu, 26 Sep 2024 12:04:24 -0300
Subject: [PATCH] Update use case readme

---
 README.md                      | 17 +++++++++++------
 example/mina_zkapp/config.json |  9 ++-------
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/README.md b/README.md
index 15a6c6a4..2bc49aa0 100644
--- a/README.md
+++ b/README.md
@@ -38,31 +38,36 @@ This project is being redesigned to use [Aligned Layer](https://github.com/yetan
 The `example/` folder contains a project that implements a Sudoku zkApp (extracted from a Mina example) and bridges its state
 to an Ethereum contract.
 
-For running the example you need:
+For running the example you need to:
 
 1. [Setup Aligned Devnet locally](https://github.com/yetanotherco/aligned_layer/blob/main/docs/guides/3_setup_aligned.md#booting-devnet-with-default-configs)
 1. Deploy the bridge smart contracts by executing
     ```sh
     make deploy_contract
     ```
+
 1. Deploy the SudokuValidity smart contract by executing
     ```sh
     make deploy_example_contract
     ```
-1. Deploy the zkApp Mina contract following the [Mina Protocol documentation](https://docs.minaprotocol.com/zkapps/writing-a-zkapp/introduction-to-zkapps/how-to-write-a-zkapp) and modify the `mina_zkapp/config.json` file accordingly (`zkappAddress` field), or use the already deployed one (skipping this step).
+
+1. Install `zkapp-cli`:
+    ```sh
+    npm install -g zkapp-cli
+    ```
+
+1. Inside the `example/mina_zkapp` directory, configure the zkApp and deploy the contract following [this guide](https://docs.minaprotocol.com/zkapps/writing-a-zkapp/introduction-to-zkapps/how-to-write-a-zkapp#option-a-start-with-an-example-recommended) on the Mina Protocol documentation
 
 1. Run the example by executing
     ```sh
     make execute_example
     ```
-   this will upload a new Sudoku, submit a solution and run the example Rust app that will bridge
-   the new state of the zkApp and update the SudokuValidty smart contract.
+   this will upload a new Sudoku, submit a solution to it and run the example Rust app that will bridge the new state of the zkApp and update the SudokuValidty smart contract on Ethereum.
 
+   The zkApp will wait until both Mina transactions are included in a block, so that step may take a while. Below is a diagram explaining the execution flow:
 
-Below is a diagram explaining the execution flow
 ![Example diagram](/img/example_diagram.png)
 
-
 ## Table of Contents
 - [About](#about)
 - [Usage](#usage)
diff --git a/example/mina_zkapp/config.json b/example/mina_zkapp/config.json
index 09229764..73c34d15 100644
--- a/example/mina_zkapp/config.json
+++ b/example/mina_zkapp/config.json
@@ -1,9 +1,4 @@
 {
-  "zkappAddress": "B62qmpq1JBejZYDQrZwASPRM5oLXW346WoXgbApVf5HJZXMWFPWFPuA",
-  "networkId": "testnet",
-  "url": "https://api.minascan.io/node/devnet/v1/graphql",
-  "feepayerKeyPath": "<path>",
-  "feepayerAlias": "<alias>",
-  "fee": "0.1",
-  "smartContract": "SudokuZkApp"
+  "version": 1,
+  "deployAliases": {}
 }