Released a new version of zkdao (deep research tool for finding bugs in zero-knowledge proofs).