(** Factoring bitarrays into primes *) open Scalable open Scalable_basic_arithmetics (** Factors product of two prime bitarrays. @param key is public key of an RSA cryptosystem. *) let break key = ([], [])