pub type Output<E> = (<E as Engine>::Gt, <E as Engine>::Gt);
Both commitment outputs a pair of $F_q^k$ element.