It is estimated to be ~2.5M. How is this number calculated, without an implementation? https://github.com/matter-labs/awesome-zero-knowledge-proofs/commit/587048a45a7f83810d20e5ade64cae3190455fe6 Has it been reduced significantly since 2018? What's the latest estimation?
