Proving systems like Groth16 and TurboPLONK have only recently gotten to a point where they can be run in a web browser, and circuit development has come a long way with Circom 2 and now varying zkVMs being built around higher level programming languages. It is reasonable to concede that we are still some years from seeing production grade SSI + ZK tech reach a mass market.