From aa84446b4d58b5205691fe619be70573800fa833 Mon Sep 17 00:00:00 2001
From: dark64 <darem966@gmail.com>
Date: Mon, 18 May 2020 14:30:07 +0200
Subject: [PATCH] update generate-proof docs in book

---
 zokrates_book/src/reference/cli.md          | 48 +++++++++++++--------
 zokrates_book/src/reference/verification.md | 20 ++++++---
 2 files changed, 46 insertions(+), 22 deletions(-)

diff --git a/zokrates_book/src/reference/cli.md b/zokrates_book/src/reference/cli.md
index 996ba537..5fae12ab 100644
--- a/zokrates_book/src/reference/cli.md
+++ b/zokrates_book/src/reference/cli.md
@@ -76,25 +76,39 @@ Using the proving key at `./proving.key`, generates a proof for a computation of
 
 Returns the proof, for example:
 
-```k
-A = 0x45582d7906c967b1fd1cac0aad3efefa526e4cd888b8ecb5907b46c2eb1f781, 0x8158089a63a6aafa4afc3bbfd5ebf392e5ef61d0c5faf2e2445c9112450f29c
-A_p = 0x5e4fe0bfa79a571b8918138ee5d7b3d0ad394c9bb8f7d2e1549f7e3c3bab7e9, 0x1708b5ba3d138e433406c792f679ae6902fc9f7c6131305a9a5f826dbe2d71fb
-B = [0x34f5c5b7518597452e55a69bf9171a63837a98a1c1c1870b610b2cfe79c4573, 0x18e56afd179d67960db838a8fdb128eb78d5dd2c1ffcd564f9d0dada928ed71f], [0xf160ea8d2dc33b564a45c0998309b4bf5a050cc8f6288793b7401b37d1eb1a2, 0x23ade8ba2c64300b5ff90e18641516407054a21179829252fd87f1bd61a3be34]
-B_p = 0xc88b87d45f90da42b9c455da16dad76996ef5b1e859a4f0db7dcef4f7e3b2fd, 0x20ed7c62dd8c6c47506e6db1d4837daa42ae80b931227153054539dcbf6f3778
-C = 0x2c230cbffbcb6211d2cf8f434df291a413721e3bef5ada4030d532d14b6ea504, 0x21421565f75429d0922c8cf00b68e4da23c61670e787ce6a5de14a5a86ebdcb0
-C_p = 0xce11fe724ce1ce183c15c4f5405d9607d6c769422aa9f62f4868478324a2f5, 0x1e585b35ed22ef32fd70ef960818f1514d1dd94b3517c127e782de24173c69f9
-H = 0x2306e74a1a7e318d2d3c40cbea708b0e0b91cd1548c9db6261fc2bd815740978, 0xde538e4e99b0e20e84cdbbd3bc08c37bca0af21edd67faf52bc4027a9b00f7c
-K = 0x1868436121f271e9fbf78a8f75bb4077e2d4f208891793fd5b468afc3b05c0e4, 0x1021c3ecb15c3fd7340d4eb5bf446e1ad457020e4f8b7cc82f8af64507a35fbe
+```json
+{
+  "proof": {
+    "a": [
+      "0x1b1c65dfd2987bba07bb6b14c35f95afd41be7e4113873fde31de40a94a5fe55",
+      "0x10a9811ecc7b168d1fab0e806715d293c777aece4ff21d44300f2151e36b16e9"
+    ],
+    "b": [
+      [
+        "0x1ac6921597c999911bc8064722875bdfd2157f3d6278a1a12e1f4a27a063d173",
+        "0x24db42163adfb1d6212fff6b8a4e414aec35d239b54a7443df40d5226289fbf7"
+      ],
+      [
+        "0x1a2b44db88cd4d0dd069a0220ef39b6b540598d1f1849636cd266f15260f22d7",
+        "0x03f8bafc4b085bcb99779b6004836a047a496c5c2e0ae0bdc0e03f0552eefe07"
+      ]
+    ],
+    "c": [
+      "0x181adc5d5b5c4b4be2c44e49fb80f0ce209a2957d5d12f3b9e25a21121b677e3",
+      "0x0c0e936d36c812d03e86c1bb23f0c337aa0122fe1509050de2552216e77a9ec7"
+    ]
+  },
+  "inputs": [
+    "0x0000000000000000000000000000000000000000000000000000000000000003",
+    "0x0000000000000000000000000000000000000000000000000000000000000001"
+  ],
+  "raw": "..."
+}
 ```
 
-Passed to the verifier contract, this proof can be checked.
-For example, using `web3`, a call would look like the following:
+Passed to the verifier contract, this proof can be checked. See 
+[Verification](verification.md) section for more details.
 
-```k
-Verifier.at(<verifier contract address>).verifyTx(A, A_p, B, B_p, C, C_p, H, K, [...publicInputs, ...outputs])
-```
-
-Where `A, ..., K` are defined as above (adding brackets and quotes: `A = ["0x123", "0x345"]`), `publicInputs` are the public inputs supplied to witness generation and `outputs` are the results of the computation.
 
 ## `verify`
 
@@ -103,4 +117,4 @@ zokrates verify
 ```
 
 Natively verifies a given proof `./proof.json` with the given verification key `./verification.key`.
-The [proving scheme](proving_schemes.md) and curve can be set with the `proving-scheme` and `curve` flags, expecting the same combination as defined in the setup phase.
+The [proving scheme](proving_schemes.md) and curve can be set with the `proving-scheme` and `curve` flags, expecting the same combination as defined in the setup.
diff --git a/zokrates_book/src/reference/verification.md b/zokrates_book/src/reference/verification.md
index 17bed159..e206ae15 100644
--- a/zokrates_book/src/reference/verification.md
+++ b/zokrates_book/src/reference/verification.md
@@ -1,10 +1,20 @@
 # Verification
 
-Passed to the verifier contract, this proof can be checked.
+Passed to the verifier contract, a given proof can be checked.
 For example, using `web3`, a call would look like the following:
 
-```
-Verifier.at(<verifier contract address>).verifyTx(A, A_p, B, B_p, C, C_p, H, K, [...publicInputs, ...outputs])
-```
+```javascript
+const accounts = await web3.eth.getAccounts();
+const address = '0x456...'; // verifier contract address
 
-Where `A, ..., K` are defined as above (adding brackets and quotes: `A = ["0x123", "0x345"]`), `publicInputs` are the public inputs supplied to witness generation and `outputs` are the results of the computation.
\ No newline at end of file
+let verifier = new web3.eth.Contract(abi, address, {
+    from: accounts[0], // default from address
+    gasPrice: '20000000000000'; // default gas price in wei
+});
+
+verifier.methods.verifyTx(proof.proof, proof.inputs)
+    .send({
+        from: accounts[0], // default from address
+        gas: 5000000 // gas limit
+    });
+```
\ No newline at end of file