We should implement an inner-product argument, probably https://eprint.iacr.org/2022/510, including the protocol optimizations in BP++, rather than going through a bulletproofs impl. We can have this target the traits in the math crate we already have.