Bellés Muñoz, Marta
(Universitat Pompeu Fabra, 2023-11-13)
In recent years, zero-knowledge proofs have come to play a crucial role in distributed
systems where there is no trust between the parties involved. Most
popular proof systems are for the NP-complete language of arithmetic ...