#6 La minoica, no la micénica.
A riesgo de ser cansino: ya hemos llegado al 18 de agosto y todavía no hay rescate. Que alguien con un mínimo conocimiento de causa por favor se pase ya por Valencia y solicite formalmente la disolución de Bankia. Bankia incurre en causa legal de disolución
Publicado hace 12 años por
Goldford
a
josecosin.blogspot.com.es
Sólo faltan 11 días (hasta el 18) para que cualquiera pueda solicitar legalmente la disolución de Bankia y BFA... ya pueden darse prisa.
Yo lo recuerdo: poco a poco se acerca el 18 de agosto y todavía no han recapitalizado Bankia. Si por alguna remota razón llega el día y Bankia sigue sin recapitalizar, por favor de los favores que alguien se persone en juzgado mercantil de Valencia (en la Ciudad de la Justicia, enfrente de la Ciudad de las Ciencias, tiene guasa) y solicite su disolución. Nos haría un grandísimo favor a todos.
300.000 dígitos es un poco cacota. En octubre del 2009 se descubrió uno de 12978189 dígitos (sí, casi 13 millones). También cabría mencionar que si bien los primos muy son útiles en criptografía, normalmente lo son si nadie sabe qué primos has utilizado (es lo que tienen las claves privadas). Descubrir un único primo enorme y publicarlo es una buena forma de automáticamente descartar cualquier uso práctico del mismo en algoritmos criptográficos.
Podrían mencionar en el artículo que algoritmo ha usado para comprobar que dicho numeraco es efectivamente primo. Para hacer este tipo de declaraciones hay que usar algoritmos deterministas (que no probabilistas por muchas veces que los uses) que normalmente tienen costes demasiado elevados por mucho paralelismo que introduzcas. ¿Quizás alguna variante del AKS? (http://es.wikipedia.org/wiki/Test_de_primalidad_AKS)
Lo habitual en estos casos es tirar de primos de Mersenne (http://es.wikipedia.org/wiki/N%C3%BAmero_primo_de_Mersenne) ya que existe un test determinista de coste polinómico bastante asumible: el test de Lucas-Lehmer (http://es.wikipedia.org/wiki/Test_de_Lucas-Lehmer). Y cuando digo "bastante asumible" me refiero a cosa de un mes de cálculos por procesador por primo candidato haciendo triquiñuelas tipo transformadas rápidas de Fourier para acelerar calcular el cuadrado de números exageradamente grandes. A eso hay que añadirle que los cálculos deben verificarse independientemente al menos 2 ó 3 veces ya que dada la cantidad y tiempo de las operaciones existen riesgos reales de fallos en el hardware durante la operación (por ejemplo, un bit de la RAM que cambia por picos de tensión o por radiación cósmica). Esto es exactamente lo que hacen en el GIMPS de forma distribuída (Great Internet Mersenne Prime Search: http://www.mersenne.org/).