Merge pull request #360 from detrina/main

Update declarations.md

docs/src/description/declarations.md

@@ -36,7 +36,7 @@ In the above example, the main execution trace for the AIR has 6 columns with 4
 
 A `public_inputs` section contains declarations for public inputs. Currently, each public input must be provided as a vector of a fixed size, but there is no limit to how many of them can be declared within the `public_inputs` section.
 
-**Public inputs are required.** There must be at least one pubic input declared.
+**Public inputs are required.** There must be at least one public input declared.
 
 Each public input is described by an identifier and an array length (`n`) in the following format:
 
@@ -109,4 +109,4 @@ random_values:
     rand: [a, b, c[2]]
 ```
 
-In the above example, `rand` is a random value array of length `4` and `a` and `b` are individual random value bindings and `c` is a binding referring to a group of 2 random values. In this case, random values can be accessed similarly (e.g. `$rand[2]`) or using named bindings (e.g. `a` or `c[0]`). Here, `$rand[2]` and `c[0]` refer to the same random value.
+In the above example, `rand` is a random value array of length `4` and `a` and `b` are individual random value bindings and `c` is a binding referring to a group of 2 random values. In this case, random values can be accessed similarly (e.g. `$rand[2]`) or using named bindings (e.g. `a` or `c[0]`). Here, `$rand[2]` and `c[0]` refer to the same random value.