The checks performed by the verifier to verify Bulletproofs (source)