[Lab4] Ejercicio 4

[Lab4] Ejercicio 4

de Jose Maria Aguerre Oliver -
Número de respuestas: 5

No entendemos a qué se está haciendo referencia con "verificar los datos que definen la curva" La semilla "s" no le vemos manera de verificar ya que es dato. El valor de "b" entendemos que hay que hacer la cuenta (b^2)c = -27 mod(p). El valor de "c" que es la salida del sha1 lo vemos "verificable" pero si le pasamos la semilla a la función sha1 en sage (hashlib.sha1(s).digest()) no nos da lo mismo que el valor de c de las especificaciones. Estamos haciendo algo mal en ese paso?
Gracias.

En respuesta a Jose Maria Aguerre Oliver

Re: [Lab4] Ejercicio 4

de Nathan Ryan -

No entendemos a qué se está haciendo referencia con "verificar los datos que definen la curva"

----

este ejercicio pide que uno verifique que los datos determinan un curvas elíptica y que el punto de base está en la curva (en particular, por ejemplo, que el discriminante sea no nulo módulo 27)

----

La semilla "s" no le vemos manera de verificar ya que es dato. El valor de "b" entendemos que hay que hacer la cuenta (b^2)c = -27 mod(p). El valor de "c" que es la salida del sha1 lo vemos "verificable" pero si le pasamos la semilla a la función sha1 en sage (hashlib.sha1(s).digest()) no nos da lo mismo que el valor de c de las especificaciones.

-----

El valor c *no* es la salida de sha-1, si no la salida de la función que genera una curva elíptica sobre GF(p) pseudo-aleatoria.

-----

Estamos haciendo algo mal en ese paso? Gracias.

-----

Se entiende mejor, ahora?

 

Saludos,

Nathan

 

En respuesta a Nathan Ryan

Re: [Lab4] Ejercicio 4

de Javier Agustin Farias Gonzalez -

¿Entonces tenemos que verificar que c es correcto? Hay una funcion en el apéndice 5 para verificar la pseudo-aleatoriedad de una curva. ¿Tenemos que implementarla para esta parte?

Saludos,

Agustín

En respuesta a Javier Agustin Farias Gonzalez

Re: [Lab4] Ejercicio 4

de Nathan Ryan -

Estoy pidiendo en este ejercicio que verifiquen que 

1.  b^2c = -27 mód p

2. la curva definida sobre F_p por el polinomio Weierstrass verdaderamente es una curva elíptica

3. el punto de base está en la curva

4.  el valor de 5(G_x,G_y)

Este ejercicio es más una manera de verificar lo que hicieron en los primero tres ejercicios.

 

En respuesta a Nathan Ryan

Re: [Lab4] Ejercicio 4

de Cristina Belen Techera Cedres -

A mi me queda la siguiente duda: 

Dado el s se puede verificar el c con los algoritmos de verificacion de curvas pseudo-aleatorias. Al invocar esas funciones, el s debe estar en binario? 

En respuesta a Cristina Belen Techera Cedres

Re: [Lab4] Ejercicio 4

de Nathan Ryan -

En la implentación del apéndice 4 en el ejercicio 5, hay que convertir ciertas cosas a cadenas de bits y hacer la concatenación, etc.  

Pero tal vez no entendí la pregunta.

 

Saludos,

Nathan