多项式承诺

zkSNARK Plonky2 Plonky3 Bulletproofs Binius Noir folding Nova Halo2 zk 多项式承诺 Cairo zkVM Pedersen承诺 zkEVM Plookup Sigma协议 circom DIZK zkSTARK R1CS Semaphore 门罗币 Groth16 Nightfull