Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Fra 0 til ZK Konseptbiter #5: Kortfattet
I vår siste Concept Bite snakket vi om når «zero knowledge»-egenskapen faktisk betyr noe for personvernet. Men personvern er bare én av ZKs to superkrefter. Den andre, kortfattethet, er den Brevis bruker i nesten alle integrasjoner vi leverer. 🚀
Kortfattet betyr at et bevis er dramatisk mindre enn beregningen det beviser. Behandle 100 000 transaksjoner, og det resulterende beviset er noen kilobyte. Verifiser utførelsen av en full Ethereum-blokk, og beviset får plass i en enkelt on-chain-samtale. Størrelsen på beviset forblir omtrent konstant uansett hvor tung den opprinnelige arbeidsmengden var.
Her blir det interessant.
Å generere et bevis koster faktisk mer enn bare å kjøre selve beregningen, fordi beviseren må utføre flere kryptografiske operasjoner i tillegg til den rå utførelsen. Men å verifisere det beviset koster nesten ingenting i sammenligning. Forholdet ser slik ut:
Bevis > gjennomføring >> verifisering.
Den kostnadsstrukturen er akkurat det blokkjeder trenger. I dag blir hver Ethereum-transaksjon utført på nytt av hundretusener av validatorer uavhengig, det samme arbeidet gjentas over hele nettverket. Med konsise bevis gjør én part det tunge arbeidet og produserer et kompakt bevis. Alle andre bare sjekker det. Nettverket går fra «alle gjør alt» til «beregn én gang, verifiser overalt.» 📜
Derfor kan Brevis tilby ting som historiske dataspørringer for PancakeSwaps VIP-gebyrnivåer, eller milliard-tokens belønningsutbetalinger for Linea, uten å sprenge bensinprisene. Beregningen skjer utenfor kjeden hvor det er billig. Beviset havner on-chain hvor verifiseringen er fast og rimelig uansett hvor mye data som ble behandlet bak kulissene.
Kortfattet er også grunnen til at Pico Prisms sanntids Ethereum-blokkbevis i det hele tatt fungerer. Å bevise en hel blokks utførelse og komprimere den til noe en smartkontrakt kan verifisere på millisekunder, ville vært meningsløst hvis beviset i seg selv var like stort som blokkdataene. Kompresjonsforholdet er det som gjør hele modellen levedyktig.
Les del 2:

Topp
Rangering
Favoritter
