Implemented verification proxies. Closes #25.