Christoph Sprenger

Analisando a segurança do protocolo sumcheck através de métodos de verificação formal.

Aprenda como transações de banco de dados garantem a consistência e a eficiência dos dados.