Verification circuit for Testudo