O fundador da Cardano, Charles Hoskinson, afirmou que está a desenvolver pessoalmente uma nova linguagem de programação para a rede Cardano, em colaboração com Lucas Rosa, engenheiro da Input Output Global.
Groth16 é um sistema de prova amplamente utilizado, capaz de gerar provas compactas e rápidas de verificar, que demonstram que determinadas condições foram cumpridas sem revelar dados privados.
Perante esta divulgação — «o fundador da Cardano, Charles Hoskinson, afirmou» —, estou mais interessado em saber se as condições apresentadas no texto original podem ser verificadas do que em aceitar simplesmente uma conclusão otimista ou pessimista. O que aqui fica registado é a interpretação e a avaliação de uma pessoa; não se deve confundir uma opinião com uma mudança de política já ocorrida ou com um resultado futuro.
A seguir, vou comparar, ponto por ponto, as condições de observação descritas no texto original com os dados reais. Se as condições não se concretizarem ou se a evolução contrariar a hipótese, esta interpretação terá de ser reavaliada. Concorda com as condições apresentadas no texto original ou tem provas em contrário que expliquem melhor a evolução?
$ADA
#ADA
Groth16 é um sistema de prova amplamente utilizado, capaz de gerar provas compactas e rápidas de verificar, que demonstram que determinadas condições foram cumpridas sem revelar dados privados.
Perante esta divulgação — «o fundador da Cardano, Charles Hoskinson, afirmou» —, estou mais interessado em saber se as condições apresentadas no texto original podem ser verificadas do que em aceitar simplesmente uma conclusão otimista ou pessimista. O que aqui fica registado é a interpretação e a avaliação de uma pessoa; não se deve confundir uma opinião com uma mudança de política já ocorrida ou com um resultado futuro.
A seguir, vou comparar, ponto por ponto, as condições de observação descritas no texto original com os dados reais. Se as condições não se concretizarem ou se a evolução contrariar a hipótese, esta interpretação terá de ser reavaliada. Concorda com as condições apresentadas no texto original ou tem provas em contrário que expliquem melhor a evolução?
$ADA
#ADA