k1 | ZkFold.Base.Protocol.ARK.Plonk |
k1' | ZkFold.Base.Protocol.ARK.Plonk |
k2 | ZkFold.Base.Protocol.ARK.Plonk |
k2' | ZkFold.Base.Protocol.ARK.Plonk |
KnownNat | ZkFold.Base.Algebra.Basic.Number |
KnownPrime | ZkFold.Base.Algebra.Basic.Number |
KZG | |
1 (Type/Class) | ZkFold.Base.Protocol.Commitment.KZG |
2 (Data Constructor) | ZkFold.Base.Protocol.Commitment.KZG |