Glossário

À prova de fraude

Hard

A prova de fraude é um método tecnológico que funciona como um vínculo em um ambiente descentralizado que utiliza o Optimistic Rollups (ORs).

O que é uma prova de fraude?

O termo 'fraude' é definido como uma conduta errada cometida com o objetivo de obter uma vantagem ilegal ao privar a vítima de um direito. Alguns exemplos são fraude fiscal, fraude de cartão de crédito, fraude eletrônica e muitas outras. A conduta fraudulenta pode ser perpetrada por uma única pessoa, um grupo de pessoas ou uma empresa como um todo.
No mundo da blockchain, o termo prova de fraude representa um método técnico que é fundamental para permitir a escalabilidade on-chain de blockchains (por exemplo, por meio de fragmentação ou blocos maiores), garantindo que os dados on-chain estejam disponíveis e corretos. As provas de fraude usam Optimistic Rollups (ORs) que atendem a duas funções: reduzir custos e diminuir os níveis de latência para aplicativos descentralizados em uma rede blockchain.
Para recompensar o bom desempenho, um sequenciador necessário para processar ORs deve fornecer uma prova de fraude com seu trabalho. Os sequenciadores são compensados financeiramente pela execução de rollups de acordo com as regras de consenso e são penalizados monetariamente por quebrá-los, perdendo sua prova de fraude.
As provas de fraude de transição de estado funcionam bem, mas dependem de uma suposição crucial de que todos os dados do bloco estão disponíveis. É impossível estabelecer que um minerador de bloco está incorreto se apenas publicar o cabeçalho do bloco sem o conteúdo correto.
Além disso, mesmo que 99% dos dados estejam acessíveis, o 1% restante pode ser necessário para estabelecer a validade de um bloco, pois exigimos a disponibilidade total dos dados. Essa é uma necessidade rigorosa de validação de bloco porque os dados podem estar inacessíveis por vários motivos, não apenas por nós mal intencionados. Tornar a indisponibilidade de dados difícil para um invasor é a solução adequada.
Escalonar blockchains públicas requer o uso de provas de fraude e códigos de eliminação. Eles permitem que os light nodes tomem suas próprias decisões sobre quais blocos rejeitar sem ter que depender de uma pluralidade de full-nodes confiáveis.
Mesmo que breves zero-knowledge proofs possam ser usadas para confirmar a correção, ainda há o problema de um intruso/golpista divulgar blocos inacessíveis e os incluir na cadeia, porque isso impediria que todos os outros validadores calculassem totalmente o estado ou faria com que os blocos se comuniquem com a parte do estado que não está mais disponível.
Provas de fraude mostram que uma transição de estado foi feita incorretamente. O benefício fundamental das provas de fraude é que elas não são necessárias para cada transição de estado, mas apenas quando as coisas dão errado. Como resultado, elas usam menos recursos de computação e são mais adequadas para uma configuração de escalabilidade restrita. A interação desses protocolos é sua maior desvantagem: elas estabelecem um 'diálogo' entre inúmeros participantes. Um diálogo/interação/comunicação requer a presença das partes, particularmente a parte que alega fraude e permite que outras partes interrompam o debate de várias maneiras.