Hello all, The crypto group at BlackHorse Solutions, Inc. plans to contribute a Dilithium implementation to HACL*. We'd like to know if anybody else is working on this, in the interest of not duplicating work.
Thanks, Zan Xu
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club