Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setupeccc.weizmann.ac.il4 pointsbaruchela year ago