An engineering perspective to zero-knowledge proofs and optimization

I will first discuss when zero-knowledge is useful from computational efficiency perspective, and then briefly go over how modern zero knowledge systems work. I will then use some examples like using randomness from Fiat-Shamir to optimize circuits to illustrate ​some optimization techniques, and if time allows, discuss results and unlocked applications with better performance.