This chapter explores the concept of off-chaining in blockchains and discusses the implementation of Zokrates, a project that aims to ensure correctness of off-chain computations using zero-knowledge proofs. It covers topics such as the ZKRTs language, translating code to a provable abstraction, and the trusted setup process.
In this episode, we had a chance to speak with Jacob Eberhardt about his work on Zokrates and the Zero Knowledge Proof Toolkit. Zokrates is a programming language & toolbox for zkSNARKS on Ethereum
Note: this is a relatively advanced episode as part of our Zero Knowledge Series.
For more on the Zokrates project, please explore the following material: