Skip to content

Commit

Permalink
add contraint details
Browse files Browse the repository at this point in the history
  • Loading branch information
yash1io committed Jul 30, 2024
1 parent 4207e36 commit f89f512
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,15 @@ Simple Rust implementation of AES can be found here := [tinyaes](https://docs.rs

The circuits contain components for AES forward encryption. The implementation strictly follows the AES standard mentioned in the FIPS 197 document. The circuit is designed to be generic and can be used for any key size (128, 192, 256 bits) and block size (128 bits).

Check the [Cipher](./circuits/aes.circom) and [KeyExpansion](./circuits/key_expansion.circom) circuits for visual representation of the design.
Check the [Cipher](https://github.com/crema-labs/aes/blob/main/circuits/cipher.circom) and [KeyExpansion](https://github.com/crema-labs/aes/blob/main/circuits/key_expansion.circom) circuits for visual representation of the design.

### Constraints

The following constraint values were calculated using
```sh
circom -l node_modules ./circuits/main/cipher_4.circom -o build --r1cs --wasm
```


## Design Decisions

Expand Down

0 comments on commit f89f512

Please sign in to comment.