LeGrosDadai

3 ms·

1. 1.▲
   by LeGrosDadai 1y ago

   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.
2. 2.▲
   by LeGrosDadai 1y ago

   I'm quite curious to see if the MILP solver would terminate (given the massive search space), my guess is not.
3. 3.▲
   by LeGrosDadai 1y ago

   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.
4. 4.▲
   by LeGrosDadai 1y ago

   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.
5. 5.▲
   by LeGrosDadai 1y ago

   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.
6. 6.▲
   by LeGrosDadai 1y ago

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

   Related: https://www.usenix.org/conference/usenixsecurity23/presentat... and https://tosc.iacr.org/index.php/ToSC/article/view/12077 Why EU saw fit to buy very expensive propri
8. 8.▲
   by LeGrosDadai 1y ago

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