what are x_3 and y_3? _Originally posted by @moCello in https://github.com/dusk-network/plonk/pull/700#discussion_r946992589_