zkSNARK
Um zkSNARK é uma prova criptográfica curta que demonstra que um cálculo está correto sem revelar os dados. A Aleo fez dele a base da sua mineração.
zkSNARK é a abreviatura inglesa de um «argumento de conhecimento sucinto e não interativo de conhecimento zero». É uma técnica criptográfica que permite provar que um cálculo foi feito corretamente, ou que se conhece uma informação, sem revelar os próprios dados. A prova obtida é curta e verifica-se muito depressa, mesmo que o cálculo original tenha sido pesado.
Estas provas servem antes de mais a confidencialidade: a Zcash utiliza-as nas suas transações protegidas. A Aleo, lançada em 2024, vai mais longe e faz delas o núcleo da sua mineração. Em vez de calcularem hashes, os mineradores, chamados provers, resolvem um puzzle que consiste em produzir provas deste tipo. São recompensados de acordo com as soluções válidas que encontram, enquanto a validação dos blocos assenta noutro mecanismo.
O cálculo destas provas exige sobretudo operações matemáticas pesadas com números muito grandes. Começou por ser feito com placas gráficas e, depois, surgiram ASIC dedicados, como os da gama IceRiver AE. O hashrate exprime-se numa unidade própria deste cálculo, e não em hashes: por isso, não pode ser comparado com o de outro algoritmo. Veja a eficiência, o consumo e as pools compatíveis antes de comprar.
A nossa coleção Aleo reúne as máquinas adequadas a este tipo de mineração.