The game layer: reachability, the two gadget frameworks of Section 2, and the hardness predicates

Initializing...

The game layer: reachability, the two gadget frameworks of Section 2, and the hardness predicates · Prove2Me