Van 0 naar ZK Concept Bites #5: Beknoptheid In onze laatste Concept Bite hebben we gesproken over wanneer de "zero knowledge" eigenschap daadwerkelijk belangrijk is voor privacy. Maar privacy is slechts een van de twee superkrachten van ZK. De andere, beknoptheid, is degene die Brevis in bijna elke integratie gebruikt die we uitbrengen. 🚀 Beknoptheid betekent dat een bewijs dramatisch kleiner is dan de berekening die het bewijst. Verwerk 100.000 transacties, en het resulterende bewijs is een paar kilobytes. Verifieer de uitvoering van een volledige Ethereum-block, en het bewijs past in een enkele on-chain oproep. De grootte van het bewijs blijft ruwweg constant, ongeacht hoe zwaar de oorspronkelijke werklast was. Hier wordt het interessant. Het genereren van een bewijs kost eigenlijk meer dan alleen het uitvoeren van de berekening zelf, omdat de prover extra cryptografische bewerkingen moet uitvoeren bovenop de ruwe uitvoering. Maar het verifiëren van dat bewijs kost in vergelijking bijna niets. De relatie ziet er als volgt uit: Bewijzen > Uitvoering >> Verificatie. Die kostenstructuur is precies wat blockchains nodig hebben. Vandaag de dag wordt elke Ethereum-transactie opnieuw uitgevoerd door honderdduizenden validators onafhankelijk, hetzelfde werk dat over het hele netwerk wordt herhaald. Met beknopte bewijzen doet één partij het zware werk en produceert een compact bewijs. Iedereen controleert het gewoon. Het netwerk gaat van "iedereen doet alles" naar "een keer berekenen, overal verifiëren." 📜 Dit is waarom Brevis dingen kan aanbieden zoals historische gegevensqueries voor de VIP-kostentiers van PancakeSwap, of miljard-token beloningsdistributies voor Linea, zonder de gaskosten te laten exploderen. De berekening gebeurt off-chain waar het goedkoop is. Het bewijs komt on-chain terecht waar verificatie vast en betaalbaar is, ongeacht hoeveel gegevens er achter de schermen zijn verwerkt. Beknoptheid is ook de reden waarom Pico Prism's real-time Ethereum block proving überhaupt werkt. Het bewijzen van de uitvoering van een heel block en het comprimeren ervan tot iets dat een smart contract in milliseconden kan verifiëren, zou zinloos zijn als het bewijs zelf net zo groot was als de blockgegevens. De compressieverhouding is wat het hele model levensvatbaar maakt. Lees Deel 2: