Black-box non-black-box zero knowledge