zero-knowledge

#306 addresses a term-precedence bug with exponentiation. However, we do not have an end-to-end test case for this.
It should be included, ideally for all operators.

🚀 Feature

For circuit functions re-name mut self -> ref self.

Motivation

Since the removal of let mut, and since the mut keyword itself is a misnomer we should refactor this to something more clear.

Implementation

• Put in a deprecation warning for mut self
• Allow ref self

Create a presentation about creating circuits using the crate.

The presentation should target newcomers to the ecosystem and as such explain:

• What is PLONK?
• Why is PLONK? (explain zkp...)
• How to PLONK?