module ZkFold.Base.Protocol.Protostar (module P) where

import           ZkFold.Base.Protocol.Protostar.IVC as P