Como você soma dois números quando não pode vê-los
disseram isso no fim de semana e eu dei uma resposta ruim, então fui e li direito.
Hedger usa criptografia homomórfica baseada em ElGamal sobre ECC. a versão “leiga” do que isso lhe dá é a seguinte: você consegue fazer computação sobre VALORES CRIPTOGRAFADOS sem descriptografá-los antes.
assim, um contrato que contenha dois saldos criptografados pode produzir a soma criptografada corretamente, sem nunca aprender nenhum dos dois números ou o total.
isso soa como um truque de mágica e não é. é uma propriedade da forma como a criptografia é estruturada, e o ElGamal tem essa propriedade para multiplicação, que corresponde à adição no expoente. isso já é conhecido desde os anos oitenta.
por que combiná-lo com provas de conhecimento zero em vez de usar um ou outro sozinho.
porque a criptografia homomórfica diz que as contas PODEM ser feitas com valores ocultos. ela não diz que a pessoa que fez isso o fez de forma honesta, nem que as entradas eram válidas em primeiro lugar. é isso que as provas fazem.
assim, uma primitiva lida com computação confidencial, a outra lida com correção verificável, e nenhuma substitui a outra. a maioria dos sistemas de privacidade recorre apenas a provas e paga em complexidade de circuito, porque aí você está provando afirmações sobre aritmética que você também teve que ocultar.
o esclarecimento honesto: esquemas homomórficos não são “de graça”. isso é parcialmente homomórfico, não a criptografia totalmente homomórfica sobre a qual as pessoas escrevem artigos cheios de entusiasmo; e a diferença é que um esquema parcial suporta certas operações em vez de computação arbitrária. essa limitação é exatamente o motivo pelo qual ele É RÁPIDO o bastante para rodar em um navegador em menos de dois segundos.
essa é a troca que eu teria feito também. propósito geral e inutilizável não ajuda ninguém.
#dusk @Dusk $DUSK
disseram isso no fim de semana e eu dei uma resposta ruim, então fui e li direito.
Hedger usa criptografia homomórfica baseada em ElGamal sobre ECC. a versão “leiga” do que isso lhe dá é a seguinte: você consegue fazer computação sobre VALORES CRIPTOGRAFADOS sem descriptografá-los antes.
assim, um contrato que contenha dois saldos criptografados pode produzir a soma criptografada corretamente, sem nunca aprender nenhum dos dois números ou o total.
isso soa como um truque de mágica e não é. é uma propriedade da forma como a criptografia é estruturada, e o ElGamal tem essa propriedade para multiplicação, que corresponde à adição no expoente. isso já é conhecido desde os anos oitenta.
por que combiná-lo com provas de conhecimento zero em vez de usar um ou outro sozinho.
porque a criptografia homomórfica diz que as contas PODEM ser feitas com valores ocultos. ela não diz que a pessoa que fez isso o fez de forma honesta, nem que as entradas eram válidas em primeiro lugar. é isso que as provas fazem.
assim, uma primitiva lida com computação confidencial, a outra lida com correção verificável, e nenhuma substitui a outra. a maioria dos sistemas de privacidade recorre apenas a provas e paga em complexidade de circuito, porque aí você está provando afirmações sobre aritmética que você também teve que ocultar.
o esclarecimento honesto: esquemas homomórficos não são “de graça”. isso é parcialmente homomórfico, não a criptografia totalmente homomórfica sobre a qual as pessoas escrevem artigos cheios de entusiasmo; e a diferença é que um esquema parcial suporta certas operações em vez de computação arbitrária. essa limitação é exatamente o motivo pelo qual ele É RÁPIDO o bastante para rodar em um navegador em menos de dois segundos.
essa é a troca que eu teria feito também. propósito geral e inutilizável não ajuda ninguém.
#dusk @Dusk $DUSK