Generate proof

Generate proof with VK