Merge pull request #557 from ProvableHQ/alex/minor-cryptography-fix

Fixing minor issues

Author: AleoAlexander

documentation/language/04_operators.md

@@ -57,10 +57,3 @@ let result = (a + 1u8) * 2u8;
 
 `(a + 1u8)` will be evaluated before multiplying by two `* 2u8`.
 
-## Hashing vs. Committing
-
-Many of the cryptographic operators have both `hash` and `commit` variants.  
-
-The `hash` variant is a one-way function that takes an input produces a fixed-size output called a "hash" or "digest." It has a unique property that if even one bit of the input changes, the output hash will change completely, making it easy to see if data has been tampered with. 
-
-The `commit` variant is a wrapper around the `hash` variant that takes an additional parameter called a blinding factor, otherwise known as a **salt**.  The **salt** is appended to the input value before hashing it, ensuring the output will be unique from just the simple hash of the raw input.  So long as a different salt is used each time, this allows a user to commit to the same value multiple times without revealing that they've done so.

documentation/language/08_cheatsheet.md

@@ -382,11 +382,11 @@ var = none;
 ```
 ### Storage Vectors
 ```leo
-storage vec: [u8]
+storage vec: [u8];
 
 // Querying
 let len_vec: u32 = vec.len();
-let val: u8 = vec.get(idx)
+let val: u8 = vec.get(idx);
 
 // Modifying
 vec.set(idx, value);

documentation/language/operators/cryptographic_operators.md

@@ -7,6 +7,15 @@ toc_max_heading_level: 3
 ---
 [general tags]: # (operators, cryptographic_operators, assert, hash, commit, random, address, block)
 
+## Hashing vs. Committing
+
+Many of the cryptographic operators have both `hash` and `commit` variants.  
+
+The `hash` variant is a one-way function that takes an input and produces a fixed-size output called a "hash" or "digest." It has a unique property that if even one bit of the input changes, the output hash will change completely, making it easy to see if data has been tampered with. 
+
+The `commit` variant is a wrapper around the `hash` variant that takes an additional parameter called a blinding factor, otherwise known as a **salt**.  The **salt** is appended to the input value before hashing it, ensuring the output will be unique from just the simple hash of the raw input.  So long as a different salt is used each time, this allows a user to commit to the same value multiple times without revealing that they've done so.
+
+
 ## Table of Contents
 
 | Name                                                                    | Description                       |