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

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