可驗證的排序對於微結構敏感的應用來說是完全上鏈所必需的。