miti/verifier

作者	SHA1 备注	提交日期
dettanym	28daf84a99 Fixes before compiling. Went through TODOs etc.	4 年之前
dettanym	dc8cde4c20 temp commit from another major refactoring overhaul	4 年之前