powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
416 stars 82 forks source link

Disallow iteration over hash types #2167

Open Schaeff opened 4 days ago

Schaeff commented 4 days ago

Iterating over hash types introduces non-determinism. Ban generally and require turning off the lint locally when it's fine to do so. This lint only applies to loops.