[[bsv zk proof]]