zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

179 stars 46 forks source link

sort out type complexity #103

Open eightfilms opened 4 months ago

eightfilms commented 4 months ago

100 revealed that there are some places with complex types:

$ rg type_complexity
src/circuit_writer/mod.rs
230:    #[allow(clippy::type_complexity)]

src/backends/kimchi/prover.rs
65:#[allow(clippy::type_complexity)]
166:    #[allow(clippy::type_complexity)]

We should consider addressing the lint, and simplifying the types in question.