Jeffrey ScholzDec 22, 20228 minZero knowledge programming languagesZero knowledge programming language proofs demonstrate you executed a computation correctly without revealing the inputs to the computation