├── .gitignore ├── CMakeLists.txt ├── LICENSE ├── README.md ├── clean.sh ├── puzzles ├── easy.c ├── sudoku1.c ├── sudoku2.c └── unsolvable_2x2_sudoku.c ├── reductions ├── pentomino_reduction.py ├── sudoku_encryption.py └── sudoku_reduction.py ├── src ├── clt.c ├── clt13.h ├── clt_elem.c ├── clt_elem.h ├── crt_tree.c ├── crt_tree.h ├── estimates.c ├── estimates.h ├── utils.c └── utils.h ├── sudoku_sets ├── sudoku1.txt ├── sudoku2.txt ├── sudoku_convert.txt └── unsolvable_sudoku.txt └── test ├── compute_clt_witness.c ├── test_clt.c ├── test_clt_state_new.c └── test_clt_witness_scheme.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/README.md -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/clean.sh -------------------------------------------------------------------------------- /puzzles/easy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/puzzles/easy.c -------------------------------------------------------------------------------- /puzzles/sudoku1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/puzzles/sudoku1.c -------------------------------------------------------------------------------- /puzzles/sudoku2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/puzzles/sudoku2.c -------------------------------------------------------------------------------- /puzzles/unsolvable_2x2_sudoku.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/puzzles/unsolvable_2x2_sudoku.c -------------------------------------------------------------------------------- /reductions/pentomino_reduction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/reductions/pentomino_reduction.py -------------------------------------------------------------------------------- /reductions/sudoku_encryption.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/reductions/sudoku_encryption.py -------------------------------------------------------------------------------- /reductions/sudoku_reduction.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/reductions/sudoku_reduction.py -------------------------------------------------------------------------------- /src/clt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/clt.c -------------------------------------------------------------------------------- /src/clt13.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/clt13.h -------------------------------------------------------------------------------- /src/clt_elem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/clt_elem.c -------------------------------------------------------------------------------- /src/clt_elem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/clt_elem.h -------------------------------------------------------------------------------- /src/crt_tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/crt_tree.c -------------------------------------------------------------------------------- /src/crt_tree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/crt_tree.h -------------------------------------------------------------------------------- /src/estimates.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/estimates.c -------------------------------------------------------------------------------- /src/estimates.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/estimates.h -------------------------------------------------------------------------------- /src/utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/utils.c -------------------------------------------------------------------------------- /src/utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/src/utils.h -------------------------------------------------------------------------------- /sudoku_sets/sudoku1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/sudoku_sets/sudoku1.txt -------------------------------------------------------------------------------- /sudoku_sets/sudoku2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/sudoku_sets/sudoku2.txt -------------------------------------------------------------------------------- /sudoku_sets/sudoku_convert.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/sudoku_sets/sudoku_convert.txt -------------------------------------------------------------------------------- /sudoku_sets/unsolvable_sudoku.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/sudoku_sets/unsolvable_sudoku.txt -------------------------------------------------------------------------------- /test/compute_clt_witness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/test/compute_clt_witness.c -------------------------------------------------------------------------------- /test/test_clt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/test/test_clt.c -------------------------------------------------------------------------------- /test/test_clt_state_new.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/test/test_clt_state_new.c -------------------------------------------------------------------------------- /test/test_clt_witness_scheme.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/guberti/witness-encryption-demos/HEAD/test/test_clt_witness_scheme.c --------------------------------------------------------------------------------