Aquí está la tercera entrega de nuestra serie sobre el Protocolo de Suma Multivariada: una guía compacta para reducir las restricciones reales del protocolo a la suma de verificación:
En esta edición cubrimos ZeroCheck para afirmaciones que desaparecen, Rational Sumcheck para relaciones de división/racionales, igualdad de multiconjuntos y verificaciones de permutación a través de identidades de derivadas logarítmicas, y el argumento de búsqueda LogUp - vinculando cada uno a su uso práctico en configuraciones de Plonk/HyperPlonk/Halo2 y zkVM.
Pruebas en tiempo real + verificación de Bitcoin L1 = GOAT
El CEO de ZKM @kevinliub describió recientemente la pila L2 de @GOATRollup: transacciones probadas en tiempo real con Ziren, finalizadas en Bitcoin a través del desafío/verificación de BitVM2. Secuenciadores descentralizados, gas denominado en BTC y disputas arbitradas por mineros mantienen a la red GOAT anclada a la seguridad de Bitcoin.
Mira la conversación completa 👇
"Bitcoin ya no se trata solo de HODLing."
Kevin Liu @kevinliub CEO de @GOATRollup Network, explica cómo la tecnología de Bitcoin Layer 2 + pruebas de conocimiento cero (ZKPs) podrían desbloquear un rendimiento real para los holders de BTC:
Seguridad nativa: Layer 2 hereda las suposiciones de seguridad de Bitcoin.
Rendimiento sostenible: Desde 1.5–2% en BTC bloqueados a tiempo hasta 30–50% APY para productos de mayor riesgo.
Incentivos para mineros: Más transacciones = más tarifas = red de Bitcoin más saludable.
Conclusión: Para que Bitcoin prospere a largo plazo, necesita más que especulación de precios, necesita actividad, rendimiento y flujo.
¿Pondrías a trabajar tu BTC en un Layer 2?