3 Commits

Author SHA1 Message Date
Ramana Kumar
bd65d49ffd
Check the proof fails on wrong data 2022-09-19 15:40:18 +01:00
Ramana Kumar
701da680ce
Add tests of prove and verify 2022-09-19 15:40:18 +01:00
Ramana Kumar
43d54b8154
Add some comments to Python file, rename to tests 2022-09-19 15:40:18 +01:00