Virgo zk-SNARK: Behind the Scenes