Pinocchio には、最新バージョンまたはどのバージョンでも、これらを検証するためのヘルパー関数がありません。これをブルーシフトのために行っていると述べたので、そこでもこれらを手動で実装しています。