Skip to content

Every answer on this page was computed in advance by the real verifier code and the reference simulators; nothing is simulated in your browser.

Paper (arXiv)