E2E verifiability algorithm ready to implement