Can you name applications for CLMUL that are not CRC, GCM, hashing/rng, or Erasure Code? I'm trying to create a list of possible applications. #RISCV #Bitmanip #Followerpower cc @rygorous @geofflangdale @alt_kia @lemire @rrika9
-
Show this thread
-
clmul with -1 performs a prefix xor. Does anyone know a fancy use-case for that maybe?
2 replies 0 retweets 0 likesShow this thread -
Replying to @oe1cxw
Fabian Giesen Retweeted Fabian Giesen
Gray code decoding!https://twitter.com/rygorous/status/1037481458447736832 …
Fabian Giesen added,
Fabian Giesen @rygorousApropos carry-less multiplies: you may know that binary->Gray code encoding is easy ("x ^ (x >> 1)") and decoding somewhat harder, usually done in parallel prefix form. But you can also do it with a single carry-less multiply! (Not surprising, but cute.) pic.twitter.com/Imxr10EQl4Show this thread1 reply 0 retweets 6 likes -
-
JFYI: I've now added this as clmul application to the current xbitmanip draft at https://raw.githubusercontent.com/cliffordwolf/xbitmanip/master/xbitmanip-draft.pdf … (you are now listed as contributor to xbitmanip, btw) and I've added the following invariant to my test cases.pic.twitter.com/zRtU4R5ztX
1 reply 0 retweets 4 likes -
This Tweet is unavailable.
-
Replying to @johnregehr @rygorous
I've done some exploration of this using SyGuS and quantified SMT. See for example http://svn.clifford.at/handicraft/2018/xbitpermsyn/ …. (Also submitted some SyGuS benchmarks.) A big unsolved problem seems to be generating programs that contain large (word-sized) magic constants.
0 replies 0 retweets 3 likes -
This Tweet is unavailable.
Oh, I'm very interested! Is any of that published?
-
-
This Tweet is unavailable.
-
This Tweet is unavailable.
- Show replies
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.