6.2 开发框架libsnark