Teorema de post
Contenido del curso
Jorge Luis Pereyra Franco
Abidan Triguero Calle
Diego Quilumbaquin
Kevin Fiorentino
andres reyes
Principal Diferencia Bitcoin - Ethereum: Vamos a correr un contrato inteligente. Si conoces Ethereum, este contrato lo tienen que ejecutar todos los participantes, haciendo un proceso de computación mucho más amplio y que todos tienen que tener esa capacidad. En cambio, en bitcoin hacemos algo diferente: añadimos el testigo. Que significa el testigo? Yo corro el programa, yo corro el el contrato y yo entrego una información para verificar. Esta información pasa a verificación por los validadores o nuevos validadores; los cuales verifican que la información sea válida. Es decir, el proceso de computación y de ejecucion del contrato no se tuvo que hacer en todas las máquinas. Esta es la gran diferencia entre Ethereum Virtual Maqhine - EVM y BITCOIN.
RESUMEN CLASE 15: TEOREMA DE POST
𝐅 es el conjunto de funciones booleanas, el sistema de esas funciones { 𝑓¹, 𝑓², 𝑓³ …} es completo si cualquier función booleana puede desplegarse del mismo.
Turing completo vs. Turing incompleto.
Testigo.
Verificación vs. Computación.
SCRIPT ES UN LENGUAJE TURING INCOMPLETO
Sin duda, entender cómo funciona la Blockchain de Ethereum o la de Solana, complementa el conocimiento para entender la de Bitcoin y viceversa. Es muy recomendable tomarse un período de estudio sobre cada Blockchain y tener puntos de comparación.
Con la nueva migración de Eth de PoW a PoS, la EVM sigue trabajando igual, es decir que la blockchain de Eth es Turing completo?
