Privacidade e desempenho parecem ser sempre incompatíveis no mundo da blockchain — querer privacidade implica aceitar uma redução na velocidade, enquanto buscar desempenho muitas vezes exige expor dados. O protocolo Daylight mudou essa situação, sendo um quadro revolucionário de provas de conhecimento zero que pode alcançar privacidade verdadeira em toda a cadeia na Layer 1, mantendo ao mesmo tempo desempenho suficiente e custos baixos.

Como é que a tecnologia de base consegue isso? O núcleo está na otimização e melhoria do zk-SNARKs. Simplificando, os SNARKs permitem que você prove a correção de um cálculo com uma prova muito pequena (alguns centenas de bytes) e um tempo de verificação fixo, sem precisar divulgar os dados originais. O projeto usa o Groth16 como variante base, mas combina também duas soluções: Bulletproofs e BLS. Os Bulletproofs são usados para provas de intervalo (demonstrar que um valor está entre 0 e 2^64, sem revelar o valor exato), com a vantagem de não precisarem de configurações confiáveis. A assinatura BLS permite combinar n assinaturas em uma só, reduzindo drasticamente a quantidade de dados na cadeia.

Em termos de arquitetura, há três camadas: a camada de compromisso, responsável pelo armazenamento do estado criptografado; a camada de prova, que gera e verifica as provas de conhecimento zero; e a camada de consenso, que integra o mecanismo de prova de participação com a lógica de privacidade. Quando uma transação é executada, o usuário envia uma transação criptografada, e os nós processam-na dentro do domínio de privacidade, gerando a prova e transmitindo-a. Os validadores só precisam verificar a validade da prova e atualizar o compromisso de estado. Durante todo o processo, nenhum dado em texto claro é colocado na cadeia, eliminando fundamentalmente a possibilidade de espionagem dos dados.