Betrouwbare berekeningen in toepassingen in de echte wereld zijn leuk. ZKPs maximaliseren de theoretische beveiliging, maar de kosten van circuitontwerp en gespecialiseerde hardware maken veel bewerkingen vandaag de dag onpraktisch. TEEs zijn de juiste technische keuze wanneer de economische waarde die op het spel staat geen volledige cryptografische bewijzen rechtvaardigt. Sub-cent en sub-seconde versus >$10 en minuten om een eenvoudige SQL-query uit te voeren bijvoorbeeld. Deze afweging zal verschuiven naarmate het ZK-onderzoek in de komende jaren verbetert.

Ook moeten we LLM's beter laten worden in het schrijven van Circom.