表示同態而不寫出所有定律

[英]Representing homomorphisms without writing all laws out

假設我有一些代數結構的記錄類型； 例如對於幺半群： 然后我可以手動為幺半群同態創建一個類型： 但是有沒有一種方法可以在不說明同態定律的情況下定義Hom ？ 因此，作為從見證M: Monoid A到N: Monoid B的某種映射，但這對我來說沒有多大意義，因為它是一個“映射”，我們已經知道它應該 m ...

Monoid同態和同構

[英]Monoid homomorphism and isomorphism

我正在讀《在Scala中編程》（紅色書）這本書。 在有關Monoid的章節中，我了解了Monoid的同態是什么，例如：具有連接和length函數f的String Monoid M保留了monoid的結構，因此是同態的。 引用書名（從內存中，如果我寫錯了，請糾正我： 當在兩 ...

問題：同態加密可以“讀取”加密的單詞嗎？

[英]Question: Homomorphic encyrption can “read” the encrypted word?

這是我的問題。 我不是這個學科的專家，所以請對答案保持友好。 我了解同態加密過程允許讀取消息，就好像它已被解密一樣，但是這樣做不會刪除加密過程所放置的保護層。 假設對單詞“ TESTE”進行了加密，並且對該加密的單詞進行了同態加密。 我的問題是： 同態會理解加密文本的“ ...

我將如何檢索密文的二進制表示，因為它將存儲到磁盤

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

此問題參考Microsoft簡單加密算術庫（SEAL）3.0版，以防標簽中不明顯。 我正在嘗試提取和評估將寫入內存的實際位，如存儲在Ciphertext類中。 我不知道該怎么做; 內部表示似乎包含65個字節的附加信息，並且不清楚在回讀密文時需要多少重建密文。 假設系統參數是固定的並且 ...

如何測試一個應用實例的同態定律？

[英]How to test the homomorphism law of an Applicative instance?

我在做Typeclassopedia的練習; 在“ Applicative部分”中，我編寫了ZipList的pure函數，並檢查它是否符合Applicative法律。 我檢查了： 身份法 互換法 組成定律 但是，當我嘗試檢查“同態”定律時，我發現GHCi ...

“交錯同態”的概念是真實的嗎？

[英]Is the concept of an “interleaved homomorphism” a real thing?

我需要以下類功能： 顯然，我為它發明的名稱絕不是任何東西的官方術語，上面的類型不是很優雅。 這是一個在某些庫中有名稱甚至實現的概念嗎？ 有沒有更合理的方法呢？ 這個函數的目的是我有一些注釋一些數據的上下文f （為了這個問題， Foo和Bar只是隨機的示例數據結構）： ...