Aqui está a terceira parte da nossa série sobre o Protocolo de Verificação Multivariada: um guia compacto para reduzir as restrições reais do protocolo a uma verificação de soma:
Nesta edição, abordamos o ZeroCheck para afirmações que desaparecem, o Rational Sumcheck para relações de divisão/racionais, igualdade de multiconjuntos e verificações de permutação através de identidades de derivadas logarítmicas, e o argumento de busca LogUp - ligando cada um ao uso prático em configurações Plonk/HyperPlonk/Halo2 e zkVM.
Provas em tempo real + verificação do Bitcoin L1 = GOAT
O CEO da ZKM @kevinliub recentemente delineou a pilha L2 do @GOATRollup: transações provadas em tempo real com Ziren, finalizadas no Bitcoin via desafio/verificação BitVM2. Sequenciadores descentralizados, gás denominado em BTC e disputas arbitradas por mineradores mantêm a GOAT Network ancorada à segurança do Bitcoin.
Assista à conversa completa 👇
"O Bitcoin não é apenas sobre HODLing anymore."
Kevin Liu @kevinliub CEO da @GOATRollup Network, explica como a tecnologia Layer 2 do Bitcoin + provas de conhecimento zero (ZKPs) poderiam desbloquear rendimento real para os detentores de BTC:
Segurança nativa: Layer 2 herda as suposições de segurança do Bitcoin.
Rendimento sustentável: De 1,5–2% em BTC bloqueado por tempo a 30–50% APY para produtos de maior risco.
Incentivos para mineradores: Mais transações = mais taxas = rede Bitcoin mais saudável.
Resumo: Para o Bitcoin prosperar a longo prazo, precisa de mais do que especulação de preços, precisa de atividade, rendimento e fluxo.
Você colocaria seu BTC para trabalhar em um Layer 2?