├── .github └── workflows │ └── ci.yml ├── .gitignore ├── Cargo.toml ├── README.md ├── benches └── perf.rs ├── doc ├── curdleproofs.md ├── curdleproofs.pdf ├── grand-product-argument.md ├── images │ ├── accumulator.png │ ├── curdleproofs_overview.png │ ├── curdleproofs_prover.png │ ├── gprod_overview.png │ ├── gprod_prover.png │ ├── ipa_prover.png │ ├── logo.jpg │ ├── optimisations_overview.png │ ├── same_msm_prover.png │ ├── same_perm.png │ ├── same_perm_overview.png │ ├── samescalar.png │ └── structure.png ├── inner-product-argument.md ├── katex-header.html ├── notes.md ├── optimizations.md ├── same-msm-argument.md ├── same-permutation-argument.md ├── same-scalar-argument.md └── todo.md ├── src ├── commitments.rs ├── crs.rs ├── curdleproofs.rs ├── errors.rs ├── grand_product_argument.rs ├── inner_product_argument.rs ├── lib.rs ├── msm_accumulator.rs ├── same_multiscalar_argument.rs ├── same_permutation_argument.rs ├── same_scalar_argument.rs ├── transcript.rs ├── util.rs └── whisk.rs └── tests └── crs.rs /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/README.md -------------------------------------------------------------------------------- /benches/perf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/benches/perf.rs -------------------------------------------------------------------------------- /doc/curdleproofs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/curdleproofs.md -------------------------------------------------------------------------------- /doc/curdleproofs.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/curdleproofs.pdf -------------------------------------------------------------------------------- /doc/grand-product-argument.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/grand-product-argument.md -------------------------------------------------------------------------------- /doc/images/accumulator.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/accumulator.png -------------------------------------------------------------------------------- /doc/images/curdleproofs_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/curdleproofs_overview.png -------------------------------------------------------------------------------- /doc/images/curdleproofs_prover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/curdleproofs_prover.png -------------------------------------------------------------------------------- /doc/images/gprod_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/gprod_overview.png -------------------------------------------------------------------------------- /doc/images/gprod_prover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/gprod_prover.png -------------------------------------------------------------------------------- /doc/images/ipa_prover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/ipa_prover.png -------------------------------------------------------------------------------- /doc/images/logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/logo.jpg -------------------------------------------------------------------------------- /doc/images/optimisations_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/optimisations_overview.png -------------------------------------------------------------------------------- /doc/images/same_msm_prover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/same_msm_prover.png -------------------------------------------------------------------------------- /doc/images/same_perm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/same_perm.png -------------------------------------------------------------------------------- /doc/images/same_perm_overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/same_perm_overview.png -------------------------------------------------------------------------------- /doc/images/samescalar.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/samescalar.png -------------------------------------------------------------------------------- /doc/images/structure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/images/structure.png -------------------------------------------------------------------------------- /doc/inner-product-argument.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/inner-product-argument.md -------------------------------------------------------------------------------- /doc/katex-header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/katex-header.html -------------------------------------------------------------------------------- /doc/notes.md: -------------------------------------------------------------------------------- 1 | This module contains various notes about Curdleproofs. 2 | -------------------------------------------------------------------------------- /doc/optimizations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/optimizations.md -------------------------------------------------------------------------------- /doc/same-msm-argument.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/same-msm-argument.md -------------------------------------------------------------------------------- /doc/same-permutation-argument.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/same-permutation-argument.md -------------------------------------------------------------------------------- /doc/same-scalar-argument.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/same-scalar-argument.md -------------------------------------------------------------------------------- /doc/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/doc/todo.md -------------------------------------------------------------------------------- /src/commitments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/commitments.rs -------------------------------------------------------------------------------- /src/crs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/crs.rs -------------------------------------------------------------------------------- /src/curdleproofs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/curdleproofs.rs -------------------------------------------------------------------------------- /src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/errors.rs -------------------------------------------------------------------------------- /src/grand_product_argument.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/grand_product_argument.rs -------------------------------------------------------------------------------- /src/inner_product_argument.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/inner_product_argument.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/msm_accumulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/msm_accumulator.rs -------------------------------------------------------------------------------- /src/same_multiscalar_argument.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/same_multiscalar_argument.rs -------------------------------------------------------------------------------- /src/same_permutation_argument.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/same_permutation_argument.rs -------------------------------------------------------------------------------- /src/same_scalar_argument.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/same_scalar_argument.rs -------------------------------------------------------------------------------- /src/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/transcript.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/util.rs -------------------------------------------------------------------------------- /src/whisk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/src/whisk.rs -------------------------------------------------------------------------------- /tests/crs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/asn-d6/curdleproofs/HEAD/tests/crs.rs --------------------------------------------------------------------------------