Proposal: Make slash report zero knowledge and non malleable [Protocol]