The top documents tagged [pcp q1]

Verifying remote executions: from wild implausibility to near practicality

---

17 views

Verifying remote executions: from wild implausibility to near practicality

---

16 views

Making proof-based verified computation almost practical

---

28 views