Från 0 till ZK Konceptbitar #5: Kortfattadhet I vår senaste Concept Bite pratade vi om när "zero knowledge"-egenskapen faktiskt spelar roll för integriteten. Men integritet är bara en av ZK:s två superkrafter. Den andra, kortfattadhet, är den som Brevis använder i nästan varje integration vi levererar. 🚀 Kortfattadhet innebär att ett bevis är dramatiskt mindre än den beräkning det bevisar. Processa 100 000 transaktioner, och det resulterande beviset är några kilobyte. Verifiera att ett helt Ethereum-block körs, och beviset får plats i ett enda on-chain-samtal. Bevisets storlek förblir ungefär konstant oavsett hur tung den ursprungliga arbetsbördan var. Här blir det intressant. Att generera ett bevis kostar faktiskt mer än att bara köra själva beräkningen, eftersom bevisaren måste utföra ytterligare kryptografiska operationer utöver den råa exekveringen. Men att verifiera det beviset kostar nästan ingenting i jämförelse. Relationen ser ut så här: Bevis > genomförande >> verifiering. Den kostnadsstrukturen är precis vad blockkedjor behöver. Idag utförs varje Ethereum-transaktion om av hundratusentals validerare oberoende av varandra, samma arbete upprepas över hela nätverket. Med korta bevis gör en part det tunga arbetet och producerar ett kompakt bevis. Alla andra bara kollar det. Nätverket går från "alla gör allt" till "beräkna en gång, verifiera överallt." 📜 Det är därför Brevis kan erbjuda saker som historiska dataförfrågningar för PancakeSwaps VIP-avgiftsnivåer, eller miljardtoken-belöningar för Linea, utan att höja bensinkostnaderna. Beräkningarna sker utanför kedjan där det är billigt. Beviset hamnar på kedjan där verifiering är fast och prisvärd oavsett hur mycket data som bearbetats bakom kulisserna. Kortfattadhet är också anledningen till att Pico Prisms realtidsbevisning av Ethereum-blocken överhuvudtaget fungerar. Att bevisa en hel blocks exekvering och komprimera den till något som ett smart kontrakt kan verifiera på millisekunder vore meningslöst om beviset i sig var lika stort som blockdatan. Kompressionsförhållandet är det som gör hela modellen gångbar. Läs Del 2: