Pinocchio 在最新版本或任何版本中没有用于验证这些的辅助函数。既然您提到您正在为 blueshift 执行此操作，那么他们也会手动实现这些。