Aquí está la tercera entrega de nuestra serie sobre el protocolo Multivariate Sumcheck: una guía compacta para reducir las restricciones reales del protocolo a sumcheck:
En esta edición cubrimos ZeroCheck para afirmaciones que desaparecen, Rational Sumcheck para relaciones de división/racionales, comprobaciones de igualdad y permutación de múltiples conjuntos a través de identidades logarítmicas-derivadas y el argumento de búsqueda LogUp, vinculando cada uno a un uso práctico en configuraciones de Plonk/HyperPlonk/Halo2 y zkVM.
Pruebas en tiempo real + verificación de Bitcoin L1 = GOATED
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. Los secuenciadores descentralizados, el gas denominado en BTC y las disputas arbitradas por mineros mantienen a GOAT Network anclado a la seguridad de Bitcoin.
Ver 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 capa 2 de Bitcoin + las pruebas de conocimiento cero (ZKP) podrían desbloquear un rendimiento real para los titulares de BTC:
Seguridad nativa: La capa 2 hereda los supuestos de seguridad de Bitcoin.
Rendimiento sostenible: Desde el 1,5-2% en BTC bloqueado en el tiempo hasta el 30-50% APY para productos de mayor riesgo.
Incentivos para mineros: Más transacciones = más tarifas = red Bitcoin más saludable.
En pocas palabras: para que Bitcoin prospere a largo plazo, necesita más que especulación de precios, necesita actividad, rendimiento y flujo.
¿Pondrías tu BTC a trabajar en una capa 2?