Zcash afirma eliminar risco de falsificação invisível com prova do Ironwood

Pesquisadores da Zcash publicaram mais de 2.700 teoremas verificados por máquina para demonstrar que o Ironwood elimina a possibilidade de falhas de falsificação indetectáveis. Os pesquisadores do Zcash concluíram a verificação formal do Ironwood, publicando uma prova verificada por máquina de que o novo pool protegido da rede não contém falhas de falsificação indetectáveis ​​sob suas premissas criptográficas declaradas. Na terça-feira, o Projeto Tachyon anunciou que a prova, escrita na linguage