plonky:基于Plonk和Halo的递归SNARK
需积分: 16 168 浏览量
2021-05-10
05:28:47
上传
评论
收藏 156KB ZIP 举报
plonky-master.zip （86个子文件） 
plonky-master tests 
prove_and_verify.rs 16KB prove_and_verify_recursive.rs 2KB .rustfmt.toml 55B src pseudorandom.rs 880B target.rs 3KB circuit_foreign_field.rs 4KB bin msms.rs 2KB recursion.rs 4KB hash_to_curve.rs 5KB halo.rs 8KB verifier.rs 14KB util.rs 899B circuit_ordering.rs 4KB serialization.rs 12KB field mod.rs 370B bls12_377_scalar.rs 12KB field.rs 26KB tweedledum_base.rs 6KB vesta_base.rs 6KB tweedledee_base.rs 7KB monty.rs 6KB bls12_377_base.rs 13KB pallas_base.rs 7KB plonk_proof.rs 14KB partition.rs 6KB plonk_recursion.rs 23KB conversions.rs 928B mds.rs 2KB bigint bigint_inverse.rs 1KB mod.rs 108B bigint_arithmetic.rs 5KB rescue.rs 4KB plonk_util.rs 13KB plonk.rs 27KB polynomial.rs 18KB plonk_challenger.rs 10KB curve curve.rs 8KB mod.rs 486B curve_msm.rs 9KB tweedledum_curve.rs 3KB curve_multiplication.rs 3KB pallas_curve.rs 2KB tweedledee_curve.rs 2KB bls12_377_curve.rs 3KB vesta_curve.rs 2KB curve_summations.rs 7KB curve_adds.rs 3KB fft.rs 8KB witness.rs 8KB poly_commit.rs 4KB lib.rs 2KB circuit_bigint.rs 19KB gates curve_add.rs 10KB public_input.rs 4KB mod.rs 15KB rescue_a.rs 5KB curve_dbl.rs 6KB constant.rs 2KB base_4_sum.rs 4KB rescue_b.rs 5KB curve_endo.rs 13KB arithmetic.rs 5KB buffer.rs 2KB circuit_builder.rs 40KB circuit_curve.rs 26KB Cargo.toml 1KB benches bls12_base.rs 1KB hash_to_curve.rs 647B bls12_g1_summations.rs 1KB bigint_arithmetic.rs 772B bls12_g1.rs 2KB bls12_scalar.rs 1KB fft.rs 2KB tweedledee_base.rs 1KB .gitignore 50B .cargo config 43B plookup tests plookup.rs 4KB src plookup.rs 11KB verifier.rs 6KB table.rs 4KB proof.rs 5KB lib.rs 135B openings.rs 2KB Cargo.toml 217B README.md 82B README.md 2KB资源评论
