hash-no-gal-fld

3 ms·

1. 1.▲
   by hash-no-gal-fld 4y ago

   I don't think you intended "propositionally" equal in your final sentence. Equality is data in HoTT. If you take the propositional truncation then you usually throw away too much.
2. 2.▲
   by hash-no-gal-fld 4y ago

   Just because finite fields are finite doesn't mean that every finite "thing" is a finite field. Hashes don't really map onto finite fields. They purposefully try to not preserve any algebra.
3. 3.▲
   by hash-no-gal-fld 4y ago

   Cryptography is not all based on primes. You are making a lot of over-general assumptions in your posts.
4. 4.▲
   by hash-no-gal-fld 4y ago

   > hashes (galois fields) Huh? What do hashes like Sha256 have to do with Galois fields?