Zokrates support the composition of proofs. Meaning, you can write a proof that verifies the validity of another proof. This can have a huge impact in scalabity by breaking down bigger proofs into ...

This file is intended for Lean beginners. The goal is to demonstrate what it feels like to prove things using Lean and mathlib. Complicated definitions and theory building are not covered. Everything ...