Aqui está a terceira parte de nossa série sobre o Protocolo Multivariada de Sumcheck: um guia compacto para reduzir as restrições reais do protocolo para sumcheck:
Nesta edição, cobrimos o ZeroCheck para asserções de desaparecimento, o Rational Sumcheck para relações de divisão/racionais, a igualdade de vários conjuntos e verificações de permutação por meio de identidades logarítmicas derivadas e o argumento de pesquisa LogUp - vinculando cada um ao uso prático nas configurações Plonk/HyperPlonk/Halo2 e zkVM.
Provas em tempo real + verificação Bitcoin L1 = GOATED
O CEO da ZKM, @kevinliub, descreveu recentemente a pilha L2 da @GOATRollup: transações comprovadas 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 na segurança do Bitcoin.
Assista à conversa 👇 completa
"O Bitcoin não é mais apenas HODLing."
Kevin Liu, @kevinliub CEO da @GOATRollup Network, explica como a tecnologia Bitcoin Layer 2 + provas de conhecimento zero (ZKPs) podem desbloquear o rendimento real para os detentores de BTC:
Segurança nativa: A camada 2 herda as suposições de segurança do Bitcoin.
Rendimento sustentável: De 1,5 a 2% no BTC com bloqueio de tempo a 30 a 50% APY para produtos de alto risco.
Incentivos ao minerador: Mais transações = mais taxas = rede Bitcoin mais saudável.
Resumindo: para que o Bitcoin prospere a longo prazo, ele precisa de mais do que especulação de preços, ele precisa de atividade, rendimento e fluxo.
Você colocaria seu BTC para trabalhar em uma Camada 2?