Good catch! Also, I generally think of pseudo-inputs as predicates, not particular inputs or sets of inputs (though of course a predicate defines a set of inputs). And as for the reason for the split, see the first section in “Other approaches” (the basic idea is that the split lets us have an adversary, which could be useful for a bunch of reasons).
Good catch! Also, I generally think of pseudo-inputs as predicates, not particular inputs or sets of inputs (though of course a predicate defines a set of inputs). And as for the reason for the split, see the first section in “Other approaches” (the basic idea is that the split lets us have an adversary, which could be useful for a bunch of reasons).