可验证的排序对于对微观结构敏感的应用程序来说是完全上链所必需的。