Boa tarde irmãos
No versículo de ontem começamos a tradução de The God Protocols, hoje continuamos e amanhã concluímos.
Protocolo Matematicamente Confiável
Existem três grandes limitações. A primeira é que essa máquina virtual é muito lenta: em alguns casos, um cálculo aritmético por mensagem de rede. Atualmente, é, na melhor das hipóteses, prático apenas para lógica pequena ou cálculos aritméticos usados como complemento de ou componente de cálculos e protocolos mais eficientes.
A segunda é que há um tradeoff entre privacidade, justiça, e tolerância ao erro. Justiça significa todos obtendo os resultados de tal maneira que ninguém possa ter vantagem por saber primeiro. Tolerância ao erro pode fornecer robustez contra uma minoria, de forma que seja necessário a maioria abandonar o projeto para pará-lo, ou pode ser não robusto mas “fail-stop” (sistema com paragem segura), de forma que um único participante pode terminar o protocolo. Muitos artigos discutiram qual fração de partes que se deve confiar para que se possa se assegurar da obtenção do output correto. Nos resultados tradicionais, justiça e privacidade não podem ser ambas alcançadas com uma maioria falha. Artigos recentes[3][4][5][6] produziram protocolos justos e privados mesmo com maioria falhas. Eles trocam robustez por privacidade e justiça por qualquer proporção de partes falhas. A vantagem desta abordagem fail-stop é que normalmente é possível encontrar novos parceiros e começar tudo de novo, mas não se quer sofrer perdas irreversíveis, como vazamento de informações, ser deixado segurando a bolsa sozinho ou ser convencido de um resultado incorreto.
A terceira limitação é que, longe de ser onisciente e onipotente, o protocolo vai apenas realizar o que está especificado no algoritmo e nos inputs. Ele não poderá substituir terceiros confiáveis onde essas partes fornecem informações ou conhecimentos que não podem ser fornecidos por um computador.
Com essas ressalvas, qualquer intermediário algorítmico pode, em princípio, ser substituído por um computador virtual confiável. Na prática, por causa destas três complicações, geralmente construímos protocolos mais limitados a partir de elementos mais eficientes.
A teoria da computação multiparty, ao possibilitar a intermediação virtual privada, tem implicações importantes, em teoria, para todos tipos de relações contratuais. Isso pode ser visto com mais clareza na área de negociações. Um “mecanismo” em economia é um modelos abstrato de uma instituição que se comunica com seus participantes via mensagens, e cujas regras podem ser especificadas por algoritmos. Essas instituições podem ser leilões, trocas, votações, e assim por diante. Elas tipicamente implementam alguma forma de negociação ou processo decisório.
Amanhã, o terceiro e último versículo deste capítulo.
Até, fiquem com Deus.
