Brissouille / Lagrange

Cryptanalysis on differents algorithms with z3 solver sat
GNU General Public License v3.0
17 stars 1 forks source link

SHA3 to implement #8

Open Brissouille opened 5 years ago

Brissouille commented 5 years ago

SHA3 to implement. First, I must read the FIPS 202.

Brissouille commented 4 years ago

I begin sha3, but now I must think to optimize the function (or not).