Update bv proof signature and example, after discussions with Liana.