6/7
They also shipped an open source project called Nightstream under the Linux Foundation.
It replaces elliptic curve math in ZK proofs with lattice based cryptography that quantum machines cannot crack with known algorithms.
Someone from the research community forked the repo, ran their own experiments and presented performance results at ZK Summit. Nobody asked them to. They just did it.