3 ms·XJsnark – A high-level framework for developing efficient zk-SNARK circuits2 points by lainon 7y ago