light-client-verifier: 🌱 restore verify_commit() interface#1423
Merged
romac merged 3 commits intoinformalsystems:mainfrom cratelyn:kate/restore-verifier-commit-interfacesMay 22, 2024
+22-3
verify_commit() interface#1423
