Voici le troisième volet de notre série sur le Protocole de Vérification Multivariée : un guide compact pour réduire les contraintes réelles des protocoles à la vérification par somme :
Dans cette édition, nous couvrons ZeroCheck pour les assertions disparues, Rational Sumcheck pour les relations de division/rationnelles, l'égalité de multiset et les vérifications de permutation via des identités de dérivée logarithmique, et l'argument de recherche LogUp - reliant chacun à une utilisation pratique dans les contextes Plonk/HyperPlonk/Halo2 et zkVM.
Preuves en temps réel + vérification Bitcoin L1 = GOATé
Le PDG de ZKM @kevinliub a récemment présenté la pile L2 de @GOATRollup : transactions prouvées en temps réel avec Ziren, finalisées sur Bitcoin via le défi/vérification BitVM2. Des séquenceurs décentralisés, du gaz libellé en BTC et des litiges arbitrés par les mineurs maintiennent le réseau GOAT ancré à la sécurité de Bitcoin.
Regardez la conversation complète 👇
"Bitcoin n'est plus seulement une question de HODLing."
Kevin Liu @kevinliub, PDG de @GOATRollup Network, explique comment la technologie Bitcoin Layer 2 + les preuves à connaissance nulle (ZKPs) pourraient débloquer un rendement réel pour les détenteurs de BTC :
Sécurité native : le Layer 2 hérite des hypothèses de sécurité de Bitcoin.
Rendement durable : de 1,5 à 2 % sur des BTC verrouillés dans le temps à 30 à 50 % APY pour des produits à risque plus élevé.
Incitations pour les mineurs : plus de transactions = plus de frais = un réseau Bitcoin plus sain.
En résumé : pour que Bitcoin prospère à long terme, il a besoin de plus que de la spéculation sur les prix, il a besoin d'activité, de rendement et de flux.
Mettriez-vous votre BTC à profit sur un Layer 2 ?