Verification Protocols for Spiral Compactification mechanism
MATTHEW CARLO ALLABY (Mon,) studied this question.