From 56c77874432b427ee11f71cef5d70a8fa4815857 Mon Sep 17 00:00:00 2001 From: schaeff Date: Mon, 5 Mar 2018 21:28:04 +0100 Subject: [PATCH] smaller headings for api ref --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index ed4934e8..ec1373a7 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,7 @@ You can see an overview of the available subcommands by running ./zokrates ``` -## `compile` +#### `compile` ``` ./zokrates compile -i /path/to/add.code ``` @@ -58,7 +58,7 @@ Compile a `.code` file. Creates a compiled `.code` file at `./out.code`. -## `compute-witness` +#### `compute-witness` ``` ./zokrates compute-witness -a 1 2 ``` @@ -68,7 +68,7 @@ A witness is a valid assignment of the variables, which include the results of t Creates a witness file at `./witness` -## `setup` +#### `setup` ``` ./zokrates setup ``` @@ -77,7 +77,7 @@ Generates a trusted setup for the compiled program found at `./out.code`. Creates a proving key and a verifying key at `./proving.key` and `./verifying.key`. -## `export-verifier` +#### `export-verifier` ``` ./zokrates export-verifier ``` @@ -86,7 +86,7 @@ Using the verifying key at `./verifying.key`, generates a Solidity contract enab Creates a verifier contract at `./verifier.sol` -## `generate-proof` +#### `generate-proof` ``` ./zokrates generate-proof ``` @@ -107,7 +107,7 @@ K = 0x1868436121f271e9fbf78a8f75bb4077e2d4f208891793fd5b468afc3b05c0e4, 0x1021c3 Passed to the verifier contract, this proof can be checked. -## Testing +# Testing Run normal tests with ```