"可验证性"部分现在已在PR #577中实现。 这意味着可验证性现在与通过/未通过评级解耦，但对于钱包在各个阶段的进展仍然至关重要。