Resumo e 1. Introdução
Computação Voluntária
PNPCoin
3.1 Integração Blockchain e 3.2 Complexidade Limitada
3.3 Autoridade de Execução e 3.4 Retrocompatibilidade
Caso de uso - Acoplamento Celular
Conclusão e Referências
\ Em seguida, eles definem uma saída binária de tamanho m, neste caso m=2, com resultados apenas 01, 00 e 10, para liga, não liga e não terminou. Isto deve-se ao limite superior no número de passos em cada ciclo for, onde o código pode ser forçado a terminar graciosamente de forma prematura.
\ O código é então convertido para não conter instruções while e chamadas recursivas, conforme a secção 3.2. Todas as cadeias peptídicas e moléculas recetoras são guardadas no ficheiro de dados, disponibilizado online, juntamente com um ficheiro meta contendo a sua soma de verificação.
\ Este código é submetido à Autoridade de Execução para revisão e publicação. Aqui, é compilado, testado para tempo de execução, e o limite superior é calculado. Uma vez que todos os testes são aprovados, e o código é selecionado para o bloco seguinte, a fonte e os dados são circulados na partilha de ficheiros peer-to-peer sob um ID único. Os nós descarregam o código, executam-no e devolvem os resultados para uma partilha peer-to-peer. Para execução ótima, a primeira solução mais baixa é aceite como incluída no timestamp da blockchain. Para execução completa, a entrada e saída são codificadas com SHA-256, e os zeros iniciais mais longos são recompensados, além de uma recompensa menor para cada primeiro remetente.
\ Uma vez recolhidos todos os resultados, o próximo bloco começa. A entrada e saída da solução ótima são guardadas na partilha de ficheiros para o modo ótimo, e todas as saídas no caso do modo completo.
\
Os resultados estão publicamente disponíveis, contribuindo para a transparência e reprodutibilidade. Além disso, a comunidade de mineradores de Bitcoin é muito criativa e frequentemente descobriu formas inteligentes de resolver problemas difíceis. Se for descoberta uma forma geral menos computacionalmente intensiva de resolver os problemas dados, será de ainda maior benefício.
\ O Soft Fork PNPCoin tem duas limitações: processos longos que requerem uma grande quantidade de memória interna, como o teste de primalidade Lucas-Lehmer, não podem ser realizados nesta arquitetura, porque são inerentemente não paralelizáveis. Apenas problemas que podem ser realizados num único passo (pesquisa por força bruta) ou múltiplos passos de otimização (ajuste de hiperparâmetros) são aplicáveis. Em segundo lugar, as funções hash são calculadas numa base de uma por bloco, colocando uma limitação inconveniente no tempo de execução em cada nó. Resolver isto exigiria alguma forma de ledger permitindo passos de comprimento variável, com alguns cálculos demorando um segundo, e outros um mês.
\ No entanto, outros tipos de problemas de outra forma intratáveis podem ser facilmente moldados nesta arquitetura. Isto permite a solução de grandes testes sobre hiperparâmetros discretos, treino distribuído, mapeamento de hiperespaço e, geralmente, impulsionando a resolubilidade de problemas NP por várias ordens de magnitude. Aplicações de IA que requerem a construção de um supercomputador de vários milhões de dólares beneficiarão 50 mil vezes mais ao impulsionar a Ciência Cidadã para o Bitcoin. Graças à prevalência do Bitcoin, escalar a IA para um supercomputador global é agora realista e pode fornecer um passo crucial em direção à Inteligência Artificial Geral.
\
[1] Rob Halford. Gridcoin: Crypto-currency using berkeley open infrastructure network computing grid as a proof of work, 2014.
\ [2] ICANN. The iana functions: An introduction to the internet assigned numbers authority (iana) functions. 2015.
\ [3] Eric Lombrozo. Bip classification. https://github.com/bitcoin/bips/blob/master/bip0123.mediawiki, 2015.
\ [4] Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system. 2008.
\ [5] Arvind Narayanan. Hearing on energy efficiency of blockchain and similar technologies. United States Senate, Committee on Energy and Natural Resources, 2018.
\ [6] Lawrence C Paulson and Jasmin Christian Blanchette. Three years of experience with sledgehammer, a practical link between automatic and interactive theorem provers. In PAAR@ IJCAR, pages 1–10, 2010.
\
:::info Autor:
(1) Martin Kolar, Brno University of Technology (kolarmartin@fit.vutbr.cz).
:::
:::info Este artigo está disponível no arxiv sob licença CC BY 4.0 DEED.
:::
\


