Add draft of BV proof signature (incomplete) and example proof.