Bellés Muñoz, Marta (Date of defense: 2023-10-10)
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 ...