he’s a ten but his zk circuits are written in non-agnostic DSL 🚩
310