gate-count

Here is 1 public repository matching this topic...

Smaller gate-count circuits for GF(2^m) multipliers and the AES S-box, with Lean 4 proofs and verifiers

cryptography aes finite-fields s-box lean4 circuit-complexity gate-count

To associate your repository with the gate-count topic, visit your repo's landing page and select "manage topics."