From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA29563 for caml-red; Mon, 24 Jul 2000 23:42:45 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA19584 for <caml-list@pauillac.inria.fr>; Mon, 24 Jul 2000 13:03:27 +0200 (MET DST)
Received: from batman.labri.u-bordeaux.fr (batman.labri.u-bordeaux.fr [147.210.8.5])
	by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e6OB3RT10062
	for <caml-list@inria.fr>; Mon, 24 Jul 2000 13:03:27 +0200 (MET DST)
Received: from serveur1-1.labri.u-bordeaux.fr (root@serveur1-1 [147.210.8.170])
	by batman.labri.u-bordeaux.fr (8.8.7/8.8.7) with ESMTP id NAA06036
	for <caml-list@inria.fr>; Mon, 24 Jul 2000 13:05:46 +0200 (MET DST)
Received: (from vanicat@localhost)
	by serveur1-1.labri.u-bordeaux.fr (8.9.3/8.8.8/Debian/GNU) id NAA15375;
	Mon, 24 Jul 2000 13:03:22 +0200
X-Authentication-Warning: serveur1-1.labri.u-bordeaux.fr: vanicat set sender to vanicat@labri.u-bordeaux.fr using -f
To: caml-list@inria.fr
Subject: Re: Big_int a^x mod m
References: <wx66pwh6xp.fsf@suburbia.net>
From: Remi VANICAT <remi.vanicat@labri.u-bordeaux.fr>
In-Reply-To: Julian Assange's message of "24 Jul 2000 07:29:06 +1000"
Date: 24 Jul 2000 13:03:22 +0200
Message-ID: <ya3g0ozu6x1.dlv@serveur1-1.labri.u-bordeaux.fr>
User-Agent: Gnus/5.0805 (Gnus v5.8.5) Emacs/20.7
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable
Sender: weis@pauillac.inria.fr

Julian Assange <proff@iq.org> writes:

>  val (**/) : num -> num -> num=20
>  val power_num : num -> num -> num
>    Exponentiation
>=20
> The num library documentation doesn't seem to support modular
> exponentiation. This is seems to be an unusual oversight, and means
> the library isn't useful for real-world cryptographic applications.
>=20
> Is anyone working on adding mod exp's? Or are there other bigint
> ocaml libraries?

there is at least two other bigint libraries :
one is MLGMP a binding for GNU MP :
  http://www.di.ens.fr/~monniaux/programmes.html.en=20
the other is numerix : http://pauillac.inria.fr/~quercia/

--=20
R=E9mi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat