ZK Book (abstract-algebra_es.md) translated into Spanish - September 18th, 2024 #27
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
abstract-algebra traducido al Español
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+297
to
+298
|
|
||
| // restricciones fronterizas |
arcadiogm
changed the title
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+255
to
+256
|
|
||
| Ahora mostramos las restricciones de límites: |
There was a problem hiding this comment.
This is better:
"Ahora mostramos las restricciones de contorno:"
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+119
to
+120
|
|
||
| sin cambiar el significado. |
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+256
to
+257
| denominada `Prueba`. | ||
|
|
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+729
to
+730
| # los números de punto flotante en un entero | ||
| galois.Poly([2.5], GF103) |
There was a problem hiding this comment.
comment:
# flota en un número entero
galois.Poly([2.5], GF103)
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+161
to
+162
|
|
||
| ### Nueva derivación de las fórmulas de demostración y verificación |
There was a problem hiding this comment.
reword:
"Rederivando las fórmulas de prueba y verificación"
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+290
to
+291
| La suposición en la ecuación anterior es que el probador solo está usando $\Psi_{\ell+1}$ a $\Psi_m$ para calcular $[C]_1$, pero nada impide que un probador deshonesto use $\Psi_1$ a $\Psi_{\ell}$ para calcular $[C]_1$, lo que posiblemente lleve a una prueba falsificada. | ||
|
|
There was a problem hiding this comment.
missed some paragraphs after this sentence:
Por ejemplo, aquí está nuestra ecuación de verificación actual:
$$[A]_1\bullet[B]_2 \stackrel{?}= [\alpha]_1 \bullet [\beta]_2 + \sum_{i=1}^\ell a_i\Psi_i + [C]_1\bullet G_2$$
Si ampliamos el término C bajo el capó, obtenemos lo siguiente:
$$[A]_1\bullet[B]_2 \stackrel{?}= [\alpha]_1 \bullet [\beta]_2 + \sum_{i=1}^\ell a_i\Psi_i + \underbrace{(\sum_{i=\ell+1}^m a_i[\Psi_i]_1 + h(\tau)t(\tau))}_C \bullet G_2$$
Supongamos por ejemplo y sin pérdida de generalidad que $\mathbf{a} = [1,2,3,4,5]$ y $\ell=3$. En ese caso, la parte pública del testigo es $[1,2,3]$ y la parte privada es $[4,5]$.
La ecuación final sería la siguiente:
$$[A]_1\bullet[B]_2 \stackrel{?}= [\alpha]_1 \bullet [\beta]_2 + (1\Psi_1+2\Psi_2+3\Psi_3)\bullet G2 + \underbrace{(4\Psi_4 + 5\Psi_5 + h(\tau)t(\tau))}_C \bullet G_2$$
Sin embargo, nada impide que el probador cree una parte válida del testigo público como [1,2,0] y mueva la parte pública eliminada a cero a la parte privada del cálculo de la siguiente manera:
$$[A]_1\bullet[B]_2 \stackrel{?}= [\alpha]_1 \bullet [\beta]_2 + (1\Psi_1+2\Psi_2+\boxed{0\Psi_3})\bullet G2 + \underbrace{(\boxed{3\Psi_3}+4\Psi_4 + 5\Psi_5 + h(\tau)t(\tau))}_C \bullet G_2$$
La ecuación anterior es válida, pero el testigo no necesariamente satisface las restricciones originales.
Por lo tanto, debemos evitar que el probador use $\Psi_1$ a $\Psi_{\ell}$ como parte del cálculo de $[C]_1$.
### Presentamos $\gamma$ y $\delta$
tanim0la
reviewed
Sep 27, 2024
| la inversa de una matriz es esa matriz multiplicada por -1. | ||
| Un momento, no se nos permite multiplicar por -1, ¿verdad? | ||
|
|
||
| Un grupo no requiere que la inversa sea "computable usando el operador binario de grupo" solo para existir. El grupo de matrices de $n × m$ de números reales contiene inversas para cada elemento, y eso es lo que importa. |
There was a problem hiding this comment.
mistake in this sentence, the correct one:
Un grupo no requiere que el inverso sea "calculable utilizando el operador binario de grupo" sólo para existir. Es decir, calculamos la inversa multiplicando cada elemento por $-1$ aunque la multiplicación por $-1$ no es una operación de grupo.
tanim0la
reviewed
Sep 27, 2024
|
|
||
| Un grupo no requiere que la inversa sea "computable usando el operador binario de grupo" solo para existir. El grupo de matrices de $n × m$ de números reales contiene inversas para cada elemento, y eso es lo que importa. | ||
|
|
||
| Si definimos nuestro operador como el producto de Hadamard (multiplicación elemento por elemento), este no puede ser un grupo por la misma razón que se explicó anteriormente. |
There was a problem hiding this comment.
replace sentence with:
Si definimos nuestro operador para matrices $n veces m$ como el producto de Hadamard (multiplicación por elementos), este no puede ser un grupo por la misma razón discutida anteriormente. Específicamente, la inversa se calcula como el recíproco de cada elemento de la matriz, y si uno de los elementos es cero, entonces la inversa no se puede calcular.
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+209
to
+210
| ``` | ||
|
|
There was a problem hiding this comment.
missed a sentence after the code block:
En el código resultante anterior, podemos ver que $5$ también generará todos los elementos distintos de cero.
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+110
to
+111
|
|
||
| ## Por qué el probador no puede hacer trampa |
There was a problem hiding this comment.
This is better:
Por qué el prover no puede hacer trampa
tanim0la
reviewed
Sep 27, 2024
Comment on lines
+736
to
+737
|
|
||
| ## Zero Knowledge Proofs suscinto con programas de Aritmética Cuadrática |
There was a problem hiding this comment.
This is better:
## Pruebas sucintas de conocimiento cero con programas de aritmética cuadrática
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I attach the following file (abstract-algebra_es.md) translated into Spanish:
abstract-algebra_es.md