Verification circuit for Testudo

Verification circuit for Testudo