Na wszelki wypadek, połączyliśmy siły z @OpenGradient, aby wprowadzić infrastrukturę dowodzenia ZK Cysic do zkML i rozwijać weryfikowalne wnioskowanie AI!