This design is not standardized and currently unstable.
Let's learn how to write a Pedersen Hash in Leo and prove knowledge of a preimage.
All paths in a circuit need to execute. Circuits cannot reason about errors.
All values in a program must be static. Circuits cannot dynamically generate other circuits.
To aid developers in writing circuits, Leo provides several console functions:
These functions execute separately from the circuit and do not generate constraints. They can be used to provide developers additional information when testing circuits.