Further reading

The documentation in this section aimed to provide a practical overview of the prover workspace, e.g. help people to understand how to run provers and what they do.

However, we have some documentation that is more focused on theory of proving in the core workspace docs.

You may find the following articles helpful for general understanding of ZK proofs:

• ZK intuition.
• ZK deeper overview.
• Prover keys.
• Overview of our ZK proving system implementation.