(Symbolic c, FromConstant k (BaseField c)) => FromConstant k (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
(Symbolic c, Scale k (BaseField c)) => Scale k (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Generic (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Show (c Par1) => Show (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
NFData (c Par1) => NFData (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Eq (c Par1) => Eq (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Ord (c Par1) => Ord (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => AdditiveGroup (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => AdditiveMonoid (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => AdditiveSemigroup (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => BinaryExpansion (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Field (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
(KnownNat (Order (FieldElement c)), KnownNat (NumberOfBits (FieldElement c))) => Finite (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => MultiplicativeMonoid (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => MultiplicativeSemigroup (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Ring (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Semiring (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
SymbolicData (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => SymbolicInput (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Exponent (FieldElement c) Integer Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Exponent (FieldElement c) Natural Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
FromConstant (FieldElement c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Scale (FieldElement c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Eq (Bool c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
Symbolic c => Ord (Bool c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
(Symbolic ctx, EllipticCurve c, SymbolicData (Point c), Context (Point c) ~ ctx, PedersonSetup (Point c), Layout (Point c) ~ l, Representable l, Traversable l) => HomomorphicCommit (FieldElement ctx) (FieldElement ctx) (Point c) Source # | Pedersen commitment scheme
Commitment key consists of field elements g and h, and randomness r |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.Commit |
(EllipticCurve c, SymbolicData (Point c), l ~ Layout (Point c), Representable l, Traversable l, ctx ~ Context (Point c), Symbolic ctx, a ~ BaseField ctx, bits ~ NumberOfBits a) => Scale (FieldElement ctx) (Point c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.Ed25519 |
(Symbolic c, NumberOfBits (BaseField c) ~ n) => Iso (FieldElement c) (ByteString n c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Arithmetic a, Symbolic ctx, FromConstant a (BaseField ctx), Scale a (BaseField ctx)) => SpecialSoundProtocol (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |
(Symbolic c, KnownRegisterSize r, NumberOfBits (BaseField c) ~ n) => Iso (FieldElement c) (UInt n r c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
(Symbolic c, NumberOfBits (BaseField c) ~ n) => Iso (ByteString n c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.ByteString |
(Symbolic c, KnownRegisterSize r, NumberOfBits (BaseField c) ~ n) => Iso (UInt n r c) (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.UInt |
type Rep (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Bits (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Order (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Context (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Layout (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Support (FieldElement c) Source # | |
Instance detailsDefined in ZkFold.Symbolic.Data.FieldElement |
type Input (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |
type ProverMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |
type VerifierMessage (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |
type VerifierOutput (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |
type Witness (FieldElement ctx) (ArithmeticCircuit a (Vector n) o) Source # | |
Instance detailsDefined in ZkFold.Base.Protocol.Protostar.ArithmeticCircuit |