├── .devcontainer └── devcontainer.json ├── .github └── workflows │ ├── api_rust_doc.yml │ ├── pypi_publish.yml │ └── rust.yml ├── .gitignore ├── Cargo.toml ├── Makefile ├── README.md ├── book ├── _config.yml ├── _toc.yml ├── appendix_chapter1.md ├── appendix_chapter2.md ├── appendix_chapter3.md ├── images │ ├── chiquito_arch_concept.jpg │ └── zkp-process-diagram.png ├── landing_page.md ├── part1_chapter1.md ├── part1_chapter2.md ├── part1_chapter3.md ├── part1_chapter4.md ├── part1_chapter5.ipynb ├── part2_chapter1.ipynb ├── part2_chapter2.ipynb ├── part2_chapter3.ipynb ├── part2_chapter4.ipynb ├── part2_chapter5.ipynb ├── part3_chapter1.ipynb ├── part3_chapter2.ipynb ├── part3_chapter3.ipynb ├── part3_chapter4.ipynb ├── pselogo.png └── requirements.txt ├── examples ├── blake2f.rs ├── factorial.py ├── factorial.rs ├── fibo_with_padding.rs ├── fibonacci.py ├── fibonacci.rs ├── keccak.rs ├── mimc7.py ├── mimc7.rs ├── mimc7_constants.py ├── poseidon.py ├── poseidon.rs └── poseidon_constants.py ├── pyproject.toml ├── requirements.txt ├── rust-toolchain ├── rustfmt.toml └── src ├── field.rs ├── frontend ├── dsl │ ├── cb.rs │ ├── lb.rs │ ├── mod.rs │ └── sc.rs ├── mod.rs └── python │ ├── README.md │ ├── chiquito │ ├── __init__.py │ ├── cb.py │ ├── chiquito_ast.py │ ├── dsl.py │ ├── expr.py │ ├── query.py │ ├── util.py │ └── wit_gen.py │ └── mod.rs ├── lib.rs ├── pil ├── backend │ ├── mod.rs │ └── powdr_pil.rs ├── compiler │ └── mod.rs ├── ir │ ├── mod.rs │ └── powdr_pil.rs └── mod.rs ├── plonkish ├── backend │ ├── halo2.rs │ ├── hyperplonk.rs │ ├── mod.rs │ └── plaf.rs ├── compiler │ ├── cell_manager.rs │ ├── mod.rs │ ├── step_selector.rs │ └── unit.rs ├── ir │ ├── assignments.rs │ ├── mod.rs │ ├── query.rs │ └── sc.rs └── mod.rs ├── poly ├── mielim.rs ├── mod.rs ├── reduce.rs └── simplify.rs ├── sbpir ├── mod.rs └── query.rs ├── stdlib.rs ├── util.rs └── wit_gen.rs /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.github/workflows/api_rust_doc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/.github/workflows/api_rust_doc.yml -------------------------------------------------------------------------------- /.github/workflows/pypi_publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/.github/workflows/pypi_publish.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/README.md -------------------------------------------------------------------------------- /book/_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/_config.yml -------------------------------------------------------------------------------- /book/_toc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/_toc.yml -------------------------------------------------------------------------------- /book/appendix_chapter1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/appendix_chapter1.md -------------------------------------------------------------------------------- /book/appendix_chapter2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/appendix_chapter2.md -------------------------------------------------------------------------------- /book/appendix_chapter3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/appendix_chapter3.md -------------------------------------------------------------------------------- /book/images/chiquito_arch_concept.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/images/chiquito_arch_concept.jpg -------------------------------------------------------------------------------- /book/images/zkp-process-diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/images/zkp-process-diagram.png -------------------------------------------------------------------------------- /book/landing_page.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/landing_page.md -------------------------------------------------------------------------------- /book/part1_chapter1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part1_chapter1.md -------------------------------------------------------------------------------- /book/part1_chapter2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part1_chapter2.md -------------------------------------------------------------------------------- /book/part1_chapter3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part1_chapter3.md -------------------------------------------------------------------------------- /book/part1_chapter4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part1_chapter4.md -------------------------------------------------------------------------------- /book/part1_chapter5.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part1_chapter5.ipynb -------------------------------------------------------------------------------- /book/part2_chapter1.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part2_chapter1.ipynb -------------------------------------------------------------------------------- /book/part2_chapter2.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part2_chapter2.ipynb -------------------------------------------------------------------------------- /book/part2_chapter3.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part2_chapter3.ipynb -------------------------------------------------------------------------------- /book/part2_chapter4.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part2_chapter4.ipynb -------------------------------------------------------------------------------- /book/part2_chapter5.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part2_chapter5.ipynb -------------------------------------------------------------------------------- /book/part3_chapter1.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part3_chapter1.ipynb -------------------------------------------------------------------------------- /book/part3_chapter2.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part3_chapter2.ipynb -------------------------------------------------------------------------------- /book/part3_chapter3.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part3_chapter3.ipynb -------------------------------------------------------------------------------- /book/part3_chapter4.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/part3_chapter4.ipynb -------------------------------------------------------------------------------- /book/pselogo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/book/pselogo.png -------------------------------------------------------------------------------- /book/requirements.txt: -------------------------------------------------------------------------------- 1 | jupyter-book 2 | matplotlib 3 | numpy 4 | -------------------------------------------------------------------------------- /examples/blake2f.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/blake2f.rs -------------------------------------------------------------------------------- /examples/factorial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/factorial.py -------------------------------------------------------------------------------- /examples/factorial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/factorial.rs -------------------------------------------------------------------------------- /examples/fibo_with_padding.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/fibo_with_padding.rs -------------------------------------------------------------------------------- /examples/fibonacci.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/fibonacci.py -------------------------------------------------------------------------------- /examples/fibonacci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/fibonacci.rs -------------------------------------------------------------------------------- /examples/keccak.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/keccak.rs -------------------------------------------------------------------------------- /examples/mimc7.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/mimc7.py -------------------------------------------------------------------------------- /examples/mimc7.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/mimc7.rs -------------------------------------------------------------------------------- /examples/mimc7_constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/mimc7_constants.py -------------------------------------------------------------------------------- /examples/poseidon.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/poseidon.py -------------------------------------------------------------------------------- /examples/poseidon.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/poseidon.rs -------------------------------------------------------------------------------- /examples/poseidon_constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/examples/poseidon_constants.py -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/pyproject.toml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/requirements.txt -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2024-02-14 2 | -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /src/field.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/field.rs -------------------------------------------------------------------------------- /src/frontend/dsl/cb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/dsl/cb.rs -------------------------------------------------------------------------------- /src/frontend/dsl/lb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/dsl/lb.rs -------------------------------------------------------------------------------- /src/frontend/dsl/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/dsl/mod.rs -------------------------------------------------------------------------------- /src/frontend/dsl/sc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/dsl/sc.rs -------------------------------------------------------------------------------- /src/frontend/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/mod.rs -------------------------------------------------------------------------------- /src/frontend/python/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/README.md -------------------------------------------------------------------------------- /src/frontend/python/chiquito/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/frontend/python/chiquito/cb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/cb.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/chiquito_ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/chiquito_ast.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/dsl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/dsl.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/expr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/expr.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/query.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/util.py -------------------------------------------------------------------------------- /src/frontend/python/chiquito/wit_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/chiquito/wit_gen.py -------------------------------------------------------------------------------- /src/frontend/python/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/frontend/python/mod.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/pil/backend/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod powdr_pil; 2 | -------------------------------------------------------------------------------- /src/pil/backend/powdr_pil.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/pil/backend/powdr_pil.rs -------------------------------------------------------------------------------- /src/pil/compiler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/pil/compiler/mod.rs -------------------------------------------------------------------------------- /src/pil/ir/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod powdr_pil; 2 | -------------------------------------------------------------------------------- /src/pil/ir/powdr_pil.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/pil/ir/powdr_pil.rs -------------------------------------------------------------------------------- /src/pil/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/pil/mod.rs -------------------------------------------------------------------------------- /src/plonkish/backend/halo2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/backend/halo2.rs -------------------------------------------------------------------------------- /src/plonkish/backend/hyperplonk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/backend/hyperplonk.rs -------------------------------------------------------------------------------- /src/plonkish/backend/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/backend/mod.rs -------------------------------------------------------------------------------- /src/plonkish/backend/plaf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/backend/plaf.rs -------------------------------------------------------------------------------- /src/plonkish/compiler/cell_manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/compiler/cell_manager.rs -------------------------------------------------------------------------------- /src/plonkish/compiler/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/compiler/mod.rs -------------------------------------------------------------------------------- /src/plonkish/compiler/step_selector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/compiler/step_selector.rs -------------------------------------------------------------------------------- /src/plonkish/compiler/unit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/compiler/unit.rs -------------------------------------------------------------------------------- /src/plonkish/ir/assignments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/ir/assignments.rs -------------------------------------------------------------------------------- /src/plonkish/ir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/ir/mod.rs -------------------------------------------------------------------------------- /src/plonkish/ir/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/ir/query.rs -------------------------------------------------------------------------------- /src/plonkish/ir/sc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/ir/sc.rs -------------------------------------------------------------------------------- /src/plonkish/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/plonkish/mod.rs -------------------------------------------------------------------------------- /src/poly/mielim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/poly/mielim.rs -------------------------------------------------------------------------------- /src/poly/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/poly/mod.rs -------------------------------------------------------------------------------- /src/poly/reduce.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/poly/reduce.rs -------------------------------------------------------------------------------- /src/poly/simplify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/poly/simplify.rs -------------------------------------------------------------------------------- /src/sbpir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/sbpir/mod.rs -------------------------------------------------------------------------------- /src/sbpir/query.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/sbpir/query.rs -------------------------------------------------------------------------------- /src/stdlib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/stdlib.rs -------------------------------------------------------------------------------- /src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/util.rs -------------------------------------------------------------------------------- /src/wit_gen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/privacy-ethereum/chiquito/HEAD/src/wit_gen.rs --------------------------------------------------------------------------------