Ramiro Ramirez1 talk by Ramiro RamirezObscura | R. Ramirez - Privacy by Design: secure leaderboards with zk proofs on Aleo | ETHDam 2024