The following pages link to (Q4535028):
Displaying 8 items.
- Challenging epistemology: Interactive proofs and zero knowledge (Q959048) (← links)
- On succinct arguments and witness encryption from groups (Q2096510) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- Polylogarithmic-round interactive proofs for coNP collapse the exponential hierarchy (Q2456368) (← links)
- (Q4341733) (← links)
- Interactive proofs in higher-order concurrent separation logic (Q5370856) (← links)
- On interactive oracle proofs for Boolean R1CS statements (Q6045202) (← links)
- Succinct interactive oracle proofs: applications and limitations (Q6155266) (← links)