A verificação formal do SP1 está em andamento. Estamos entusiasmados em compartilhar os primeiros resultados de nossa colaboração com a @VeridiseInc, líder em auditoria de segurança ZK. https://t.co/dHp4TcmSsR