Sorteio Criptografico

Aleatoriamente e repentinamente escolhe um pequeno conjunto de usuarios

encarregados de decidir cada próximo bloco. De forma que este não seja manipulavel
pelos adversarios.

===================================================================================
==

Algorand
Os usuários submetem as transações por meio do protocolo gossip , cada usuário
coleta um bloco de transações pendentes que ele pudera escutar, logo se escolhe
quem vai propor o bloco em cada rodada por meio de uma função de sorteio
criptográfico o qual será determinado por meio de seu peso(quantidade de moedas),
sua prioridade e uma prova da prioridade , já que o sorteio é um negócio aleatório
pode ter muitos múltiplos usuários para propor um bloco e a prioridade determina
que bloco que todos deveriam adotar, mas como se sabe se todos os usuários
receberam o mesmo bloco, para chegar um consenso em só bloco se faz uso do Acordo
Bizantino Modificado ou Melhorado, tal que cada usuário inicializa com o bloco de
mais alta prioridade que eles receberam. o qual se repetirá em rodadas repetidas.

Cada rodada começa com um sorteio criptográfico puderam checar se são escolhidos
como parte do comitê. os quais são escolhidos cada rodada por meio de uma votação
entre os membros do comitê então cada membro do comitê envia um mensagem com uma
prova de sua seleção por meio do gossip, estas rodadas são repetidas hasta que , em
alguma rodada, suficientes membros do comitê atinjam o consenso

===================================================================================
==

O Algorand é um novo blockchain que apresenta uma forma de consenso baseado em uma
escolha de um comitê por meio de um sorteio baseado na quantidade de moedas que
realiza uma votação para determinar o bloco que sera inserido no blockchain, está
projetado para que tenha uma confirmação de transação em 1 minuto.

O núcleo do Algorand é um protocolo de acordo bizantino (Bizantine Agreement-BA)

modificado chamado BA*, que foi proposto por Silvio Micali \cite{Micali2017}. Este
protocolo é donde se faz a escolha do comitê e o processo de votação para
determinar o bloco proposto.

No BA* se atribui pesos aos usuários baseados na quantidade de moedas em sua conta
e obtém escalabilidade pela eleição de um pequeno conjunto de usuários
representativos escolhidos de forma aleatória e que irão formar um comitê.

O processo do Algorand é feito em muitas rodadas onde em cada rodada se escolhe a

um usuário por meio de um sorteio para que proponha um bloco.

Depois da proposta do bloco se inicia o BA* tal que se procede a realizar um

sorteio onde se escolhe aos membros do comitê que votarão se estão de acordo com o
bloco proposto, no caso não se chegue a uma maioria de votação (2/3 da quantidade
de membros do comitê), retornará um bloco vazio, caso contrario retornará o bloco
proposto.

Este mecanismo é escalável para muitos usuários permitindo atingir o consenso em um

novo bloco com baixa latência e baixa probabilidade de ramificações.

O algoritmo soluciona três desafios: o primeiro consiste em evitar o ataque Sybil,

que consiste em que o usuário possua varias identidades, onde um usuário poderia
influenciar no protocolo de acordo bizantino; o segundo consiste no BA* ser
escalável a milhões de usuários, o qual é, de longe, a maior capacidade de
escalabilidade alcançada por um protocolo de consenso bizantino; o terceiro
consiste em ser resiliente aos ataques DoS(ataque de negação de serviço) e
continuar funcionando mesmo que o adversário desconecte alguns usuários.

Este mecanismo de consenso propõe uma maior justiça (ou democracia) na participação
dos usuários por meio da introdução do conceito de prioridade o qual é usado no
sorteio para determinar entre mais de uma opção.

Esta prioridade vai permitir ao usuário que tenha a menor participação, ter a
maior possibilidade de ser parte do comitê em uma rodada já que, se não chegar a um
consenso, o comitê é renovado.

Além disso, a escolha tanto dos possíveis proponentes de blocos como dos membros
do comitê é por meio do processo de sorteio, o que evita o problema de exigência de
alto poder computacional de PoW.