Cathie So c71f5abdd2 Fixed logical bug based on https://puzzling.stackexchange.com/questions/48641/can-a-9x9-sudoku-with-sum-45-and-square-sum-285-of-rows-columns-3x3-not-be-v

2022-05-12 11:37:48 +08:00

..

bump-solidity.js

Initial commit

2022-03-16 23:17:51 +08:00

compile-circuits.sh

Fixed logical bug based on https://puzzling.stackexchange.com/questions/48641/can-a-9x9-sudoku-with-sum-45-and-square-sum-285-of-rows-columns-3x3-not-be-v

2022-05-12 11:37:48 +08:00

generate-proof.sh

Using PLONK instead of groth16

2022-03-17 19:50:01 +08:00

setup-circom.sh

Initial commit

2022-03-16 23:17:51 +08:00