Does anyone know what's been built on zkproofs so far? I see these stateful and stateless options but what's been done with these?