Hi, This is the wrong email address for HACL*. You can send the email to hacl-star-maintain...@lists.gforge.inria.fr <mailto:hacl-star-maintain...@lists.gforge.inria.fr>
-Karthik > On 15 Jun 2020, at 17:08, Zan Xu via fstar-club > <fstar-club@lists.gforge.inria.fr> wrote: > > 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 <mailto:fstar-club@lists.gforge.inria.fr> > https://lists.gforge.inria.fr/mailman/listinfo/fstar-club > <https://lists.gforge.inria.fr/mailman/listinfo/fstar-club>
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club