Betrodd beräkning i verkliga tillämpningar är roligt. ZKP:er maximerar teoretisk säkerhet, men kostnaden för kretsdesign och specialiserad hårdvara gör många operationer opraktiska idag. TEE:er är rätt ingenjörsval när det ekonomiska värdet som står på spel inte motiverar fullständiga kryptografiska bevis. Subcent- och subsekund jämfört med >$10 och minuter för att göra en enkel SQL-fråga till exempel. Denna avvägning kommer att förändras i takt med att ZK:s forskning förbättras under de kommande åren.
Vi behöver också LLM för att bli bättre på att skriva Circom.
242