Mostraremos como usar zero para atacar a prova de conhecimento zero (ZKP). Em particular, discutiremos uma questão *crítica* em uma implementação de ponta do ZKP PLONK em C++ que permite a um atacante criar uma prova *falsificada* que todos os verificadores aceitarão. Mostraremos como a teoria orienta a direção do ataque. Na prática, o ataque funciona como um encanto e mostraremos como o ataque se aproveita de uma cadeia de falhas de software perfeitamente alinhadas.
Por: Quan Thoi Minh Nguyen
Resumo Completo: