LeGrosDadai

12 karma · joined August 6, 2025

LeGrosDadai··on C-sigma: Easy-to-use Sigma proofs in C using libsodium

It is because SIGMA protocols diagrams, as used in zero knowledge, kind of look like a capital greek sigma. It is not related to the other sign & MAC protocol.

LeGrosDadai··on No reachable chess position with more than 218 moves

I'm quite curious to see if the MILP solver would terminate (given the massive search space), my guess is not.

LeGrosDadai··on The Beginner's Textbook for Fully Homomorphic Encryption

That's pretty cool, but isn't any computable function can be computed via FHE, so I'm not sure the differentiable part is necessary.

LeGrosDadai··on NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices

Ah, I see. That's indeed an interesting point. At any rate, IOT cryptography can use this standard as a building point, so it is a step in the right direction anyway.

LeGrosDadai··on NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices

By the same token AES is useless as well, because it doesn't address key exchange. This was not the goal of this standardization process.

LeGrosDadai··on NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices

There is a lot of cryptanalysis on it: https://eprint.iacr.org/search?q=ASCON Furthermore, it is not designed by NIST.

LeGrosDadai··on Encryption made for police and military radios may be easily cracked

Why EU saw fit to buy very expensive proprietary software encryption, when there are open source standards, some of them designed in the EU itself is beyond me. Of course, you still someone to build the hardware and so on.

LeGrosDadai··on Dotfiles feel too personal to share

In chezmoi you can use gpg encryption: https://www.chezmoi.io/user-guide/encryption/