ZkFold.Symbolic.Algorithms.ECDSA.ECDSA

Documentation

ecdsaVerify :: forall point n c curve baseField. (Symbolic c, KnownNat n, baseField ~ UInt 256 'Auto c, ScalarFieldOf point ~ FieldElement c, point ~ Weierstrass curve (Point baseField), CyclicGroup point, SemiEuclidean (UInt 256 'Auto c), KnownNat (NumberOfRegisters (BaseField c) 256 'Auto), Log2 (Order (BaseField c) - 1) ~ 255) => point -> ByteString 256 c -> (UInt 256 'Auto c, UInt 256 'Auto c) -> Bool c