symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Base.Protocol.Protostar

Documentation

module ZkFold.Base.Protocol.Protostar.Fold

module ZkFold.Base.Protocol.Protostar.ArithmeticCircuit

module ZkFold.Base.Protocol.Protostar.AccumulatorScheme