Freeman Slaughter:

Straight-Line Verification for Bulletproofs