3.1.1 SNARK系统的底层