Побитовые примитивы добавлены в Plutus V3, что позволяет выполнять прямые проверки доказательств с нулевым разглашением на мейннете Cardano.