Stack Overflow
Stack Overflow

Questions tagged [homomorphism]

Homomorphism is intended for questions related to transforming code or data while maintaining its functionality or metadata

Homomorphism is a mapping of two entities from one structure to another which preserves the identity of each entity. For example:

f(ab) = f(a)f(b)

References

12 questions
14
votes
3 answers

Is the concept of an "interleaved homomorphism" a real thing?

I am in need of the following class of functions: class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g Obviously the name I invented for it is not in any way an official term for anything, and the…
dflemstr
  • 25,947
  • 5
  • 70
  • 105
5
votes
2 answers

Monoid homomorphism and isomorphism

I am reading the book 'Programming in Scala' (The red book). In the chapter about Monoids, I understand what a Monoid homomorphism is, for example: The String Monoid M with concatenation and length function f preserves the monoid structure, and…
Alejandro Alcalde
  • 5,990
  • 6
  • 39
  • 79
3
votes
1 answer

Representing homomorphisms without writing all laws out

Suppose I have a record type for some algebraic structure; e.g. for monoids: {-# OPTIONS --cubical #-} module _ where open import Cubical.Core.Everything open import Cubical.Foundations.Everything hiding (assoc) record Monoid {ℓ} (A : Type ℓ) :…
Cactus
  • 27,075
  • 9
  • 69
  • 149
1
vote
0 answers

Homomorphic Hash Function

does any homomorphic hash function exist that preserves the multiplication property? I found encryption methods like the RSA algorithm but I need a hashing method with relatively low complexity which preserves the multiplication property.
Sara
  • 11
  • 1
1
vote
1 answer

Homomorphic and non-commutative hash function?

Does a non commutative homomorphic hash function exist (or been researched/published)? LtHash developed by Facebook and implemented on Github here is the sort of function I am looking for, but LtHash commutes and I'd like to know if there is a non…
Tobias
  • 13
  • 3
1
vote
0 answers

How to perform division operation on encrypted data with binary operations by using HElib or SEAL?

We’ve met some problems when we’re trying to Implement fully homomorphic encryption through the algorithms which are supplied in HElib. We’re wondering whether we have to build some new homomorphic method, division or comparison for instance, by…
wanying
  • 11
  • 1
1
vote
2 answers

Question: Homomorphic encyrption can "read" the encrypted word?

it is a question I have. I am not expert in this subject, so please, be kind on the answer. I understood the homomorphic encryption process allow to read a message as if it has been decrypted, but it will do so without removing the protective layer…
user1681128
1
vote
1 answer

How would I go about retrieving the binary representation of a ciphertext as it would be stored to disk

This question is in reference to version 3.0 of the Microsoft Simple Encrypted Arithmetic Library (SEAL), in case it is not evident from the tag. I'm trying to extract and evaluate the actual bits that will be written to memory, as stored in the…
Onofog
  • 443
  • 3
  • 15
1
vote
1 answer

How to test the homomorphism law of an Applicative instance?

I'm doing the exercises from Typeclassopedia; in the Applicative section, I write ZipList's pure function, and check whether it follows the Applicative Laws. I've checked: identity law interchange law composition law But when I try to check the…
Julian.zhang
  • 709
  • 1
  • 7
  • 11
0
votes
0 answers

multi key encryption and decryption

I need some serious suggestions on my protocol, specifically for decryption. So the scenario is Organizations A and B encrypt their employees' records with their own keys and store them in the distributed database. When a User from Organization A…
Laila Tul Badar
  • 1
  • 1
0
votes
1 answer

Graph Homomorphism using Python

My idea is to write a python program which would take as arguments two finite simple undirected graphs say G,H and returns the number hom(G,H) of graph homomorphisms from G to H. Examples: If G=K_1 (one-vertex graph) then hom(G,H) equals the number…
Jeff
  • 23
  • 2
0
votes
0 answers

Modelling homomorphism with inheritance

I want to model pokerhands. The mathematical background and getting it into c++ is pretty insane. A standard 52 card deck lets you make 1326 combinations of two cards. However one could bin those cards into 169 categories, which contain isomorph…
ManuelSchneid3r
  • 15,850
  • 12
  • 65
  • 103