Quang Dao

icon indicating a website link https://quangvdao.github.io/ icon indicating an email [email protected]

icon location Pittsburgh, PA icon location Formal verification for cryptography. PhD Student at Carnegie Mellon University

Results 11 comments of Quang Dao

Please help to solve iterators5.rs

For the function inside`map( |(k,v)| ... )`, you want a function that returns usize 1 if `v == value` and 0 otherwise. Then sum it all up.

More improvements to read raf checking & better one-hot init

This branch now also contains #1095

More improvements to read raf checking & better one-hot init

@moodlezoup Thanks! I also changed the parallel iteration to use only one vec allocation per E_out

MLE product sum for d=32

It can be reviewed I think

MLE product sum for d=32

@0xAndoroid I resolved and also made more optimizations. Can you take a look?

MLE product sum for d=32

@0xAndoroid I reworked this a bunch so now the files should look a lot nicer, and slightly more efficient. Can you take another look?

feat: Decrease one-hot K = 256 => K = 16 for small cycles

@moodlezoup @markosg04 There are two constants now that can be made dynamic: - The one-hot expansion factor, which is 2^8 for "d=16" and 2^4 for "d=32" - The number of...

feat: Decrease one-hot K = 256 => K = 16 for small cycles

This PR should be parked for now until those changes can be made (either by me, preferably by someone else)

feat: Decrease one-hot K = 256 => K = 16 for small cycles

Sorry you'll have to fix all the conflicts

feat: add Data.Fin.Enum

Just noticed this PR now and it seems very helpful to me; is there anything I can help with to push this to main?