Plutus V3にビット演算プリミティブが追加されたことで、Cardanoメインネット上でゼロ知識証明の検証を直接行えるようになりました。