XJsnark – A high-level framework for developing efficient zk-SNARK circuitsgithub.com/akosba2 pointslainon7 years ago