Merkle trees

merkle tree explanation:
https://www.youtube.com/watch?v=PraPZFMj6h8

Un Bloque de Bitcoin tiene en promedio 1930 Transacciones.

El reto tiene dos maneras de solucionarse.

1. Se pide encontrar sí existe el Hash Tx F en el merkle Root del reto sin reconstruir todo el árbol.

2. La otra forma, es reconstruyendo el Binary Merkle Tree.

Dejaré las dos soluciones al reto

// Using Merkle Proof or Paths, find short path

StepsUpwards: HE + HGH + HABCD  = True at Merkle Root
//Demostramos que HF existe en el conjunto de Merkle Root obteniendo la ruta más corta.

// Binary Merkle Tree for TxF //

Merkle Root: HABCDEFGH
Step5: HABCD / HEFGH
Step4: HEF / HGH
Step3: HE / HF
Step2: HF
Step1: TxF

Habcdefgh=Habcd+Hefgh / Hefgh=Hef+Hgh / Hef=He+Hf

Hola estuve un buen rato buscando y analizando el algoritmo para resolver la problemática del final del video. Les anexo los links:

https://medium.com/crypto-0-nite/merkle-proofs-explained-6dd429623dc5
https://www.youtube.com/watch?v=1pasjSinXDs
https://www.youtube.com/watch?v=2kPFSoknlUU

Bitcoin ya quedo atrás, dentro de 5 años Ethereum van a sustituir a su Merkle Trees y trusted setups en ZK-STARKS, a esto se le llama Polynomial commitments.

Merkle Path:
Para demostrar que un dato específico está incluido en un árbol de merkle necesitamos obtener lo que se conoce como Merkle Path o camino de Merkle. En esencia, se trata de una colección que contiene todos aquellos nodos necesarios para reconstruir la raíz de Merkle.
.
Definición extraída del siguiente artículo que les recomiendo leer para complementar el contenido visto en esta sesión:
Merkle Trees

Una Merkle proof o Merkle Path es el número mínimos de nodos requeridos para calcular la raiz Merkle.

[](https://docs.symbolplatform.com/concepts/data-validation.html#:~:text=A Merkle proof (also known,calculate the Merkle root again.&text=The following steps are taken,if exists within a block.)

explicacion de arboles de merkle en español https://www.youtube.com/watch?v=Usxypgr8Y-w

Merkle Tree | Merkle Root | Blockchain

https://www.youtube.com/watch?v=fB41w3JcR7U

Merkle Tree

Aunque seguramente no recibirá feedback, dejo mi respuesta al reto:

Hash de Hf y He da Hef
Hash de Hef con Hash de Hgh da hash de Hefgh
Hash de Hefgh y Habcd da la raíz Habcdefgh

No tengo claro si esta es la respuesta pero para encontrar HF se aria una igualacion y al final se sacaria HF como un equivalente:

HABCD+HEFGH = HABCD + ((HE)+(HF)(HG)+(HH))

     HABCD + HEFGH

HF = --------------------------------
(HE)+(HGHH)

creo que seria la forma mas rapida sin recontruir todo el arbol

Merkle Paths es el camino que nos permite revisar que si un elemento en el árbol ha cambiado o no.

En el ejemplo de la clase podemos verificar el elemento F, solo con revisar el Hash de: TxE, TxEF, TxEFGH y TxABCDEFGH

Lo del reto se resolvería con la llave pública comparada contra el hash de la raíz del árbol? Me refiero a si esa llave pública se presentaría en el hash de la raíz. No me aclaro muy bien.

https://es.wikipedia.org/wiki/Árbol_de_Merkle