Ivan Litteri

# Description - [x] `AND`. - [x] `XOR`. - [x] `RANGE`. - [ ] `SHA256`. - [ ] `Blake2s`. - [ ] `HashToField128Security`.

## Install ``` make install_insta ``` ## Run ``` make insta_demo ``` ## Clean > Removes the cached snapshots ``` make clean_snapshots ```

TODOs: - [x] `KeyDerivation`. - [x] `AddRoundKey`. - [x] `SubBytes`. - [x] `ShiftRows`. - [x] `MixColumns`. - [ ] `Proof Generation` - [ ] `Proof Verification`