4 Commits

Author	SHA1	Message	Date
Ramana Kumar	434c9ae9b9	Remove unused code, remove min- prefix	2022-11-01 14:24:02 +00:00
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