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

ZkFold.Base.Protocol.NonInteractiveProof

Documentation

module ZkFold.Base.Protocol.NonInteractiveProof.Internal

module ZkFold.Base.Protocol.NonInteractiveProof.Testing