├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── PULL_REQUEST_TEMPLATE.md └── workflows │ ├── ci.yml │ └── linkify_changelog.yml ├── .gitignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── SECURITY.md ├── ark-bcs ├── Cargo.toml └── src │ ├── bcs │ ├── constraints │ │ ├── mod.rs │ │ ├── proof.rs │ │ ├── transcript.rs │ │ └── verifier.rs │ ├── mod.rs │ ├── prover.rs │ ├── simulation_transcript.rs │ ├── tests │ │ ├── constraints │ │ │ ├── mock.rs │ │ │ └── mod.rs │ │ ├── mock.rs │ │ └── mod.rs │ ├── transcript.rs │ └── verifier.rs │ ├── iop │ ├── bookkeeper.rs │ ├── constraints │ │ ├── message.rs │ │ ├── mod.rs │ │ └── oracles.rs │ ├── message.rs │ ├── mod.rs │ ├── oracles.rs │ ├── prover.rs │ └── verifier.rs │ ├── ldt │ ├── constraints │ │ ├── mod.rs │ │ └── rl_ldt.rs │ ├── mod.rs │ └── rl_ldt.rs │ ├── lib.rs │ ├── prelude.rs │ ├── test_utils │ └── mod.rs │ └── tracer.rs ├── rustfmt.toml ├── scripts └── linkify_changelog.py └── sumcheck ├── Cargo.toml └── src ├── constraints.rs ├── lib.rs ├── protocol.rs ├── test_util.rs └── vp.rs /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/linkify_changelog.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.github/workflows/linkify_changelog.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- 1 | TODO -------------------------------------------------------------------------------- /ark-bcs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/Cargo.toml -------------------------------------------------------------------------------- /ark-bcs/src/bcs/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/constraints/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/constraints/proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/constraints/proof.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/constraints/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/constraints/transcript.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/constraints/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/constraints/verifier.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/prover.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/simulation_transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/simulation_transcript.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/tests/constraints/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/tests/constraints/mock.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/tests/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/tests/constraints/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/tests/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/tests/mock.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/tests/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/transcript.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/transcript.rs -------------------------------------------------------------------------------- /ark-bcs/src/bcs/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/bcs/verifier.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/bookkeeper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/bookkeeper.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/constraints/message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/constraints/message.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/constraints/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/constraints/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/constraints/oracles.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/message.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/oracles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/oracles.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/prover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/prover.rs -------------------------------------------------------------------------------- /ark-bcs/src/iop/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/iop/verifier.rs -------------------------------------------------------------------------------- /ark-bcs/src/ldt/constraints/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/ldt/constraints/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/ldt/constraints/rl_ldt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/ldt/constraints/rl_ldt.rs -------------------------------------------------------------------------------- /ark-bcs/src/ldt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/ldt/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/ldt/rl_ldt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/ldt/rl_ldt.rs -------------------------------------------------------------------------------- /ark-bcs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/lib.rs -------------------------------------------------------------------------------- /ark-bcs/src/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/prelude.rs -------------------------------------------------------------------------------- /ark-bcs/src/test_utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/test_utils/mod.rs -------------------------------------------------------------------------------- /ark-bcs/src/tracer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/ark-bcs/src/tracer.rs -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /scripts/linkify_changelog.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/scripts/linkify_changelog.py -------------------------------------------------------------------------------- /sumcheck/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/Cargo.toml -------------------------------------------------------------------------------- /sumcheck/src/constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/src/constraints.rs -------------------------------------------------------------------------------- /sumcheck/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/src/lib.rs -------------------------------------------------------------------------------- /sumcheck/src/protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/src/protocol.rs -------------------------------------------------------------------------------- /sumcheck/src/test_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/src/test_util.rs -------------------------------------------------------------------------------- /sumcheck/src/vp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/arkworks-rs/bcs/HEAD/sumcheck/src/vp.rs --------------------------------------------------------------------------------