add infrastructure
add verifier logic
add tests