ZkFold.Symbolic.Algorithms.RSA

Documentation

sign :: forall ctx msgLen. RSA ctx msgLen => ByteString msgLen ctx -> PrivateKey ctx -> Signature ctx

verify :: forall ctx msgLen. RSA ctx msgLen => ByteString msgLen ctx -> Signature ctx -> PublicKey ctx -> Bool ctx

type RSA ctx msgLen = (SHA2 "SHA256" ctx msgLen, KnownRegisters ctx KeyLength 'Auto, KnownRegisters ctx (2 * KeyLength) 'Auto, KnownNat (Ceil (GetRegisterSize (BaseField ctx) (2 * KeyLength) 'Auto) OrdWord), NFData (ctx (Vector KeyLength)), NFData (ctx (Vector (NumberOfRegisters (BaseField ctx) KeyLength 'Auto))), NFData (ctx (Vector (NumberOfRegisters (BaseField ctx) (2 * KeyLength) 'Auto))))

data PublicKey ctx

Constructors

PublicKey

Fields

• pubE :: UInt 32 'Auto ctx
• pubN :: UInt KeyLength 'Auto ctx

Instances

Generic (PublicKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Rep (PublicKey context) :: Type -> Type

Methods

from :: PublicKey context -> Rep (PublicKey context) x

to :: Rep (PublicKey context) x -> PublicKey context

(Show (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto))), Show (context (Vector (NumberOfRegisters (BaseField context) 32 'Auto))), Show (BaseField context)) => Show (PublicKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

showsPrec :: Int -> PublicKey context -> ShowS

show :: PublicKey context -> String

showList :: [PublicKey context] -> ShowS

(NFData (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto))), NFData (context (Vector (NumberOfRegisters (BaseField context) 32 'Auto)))) => NFData (PublicKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

rnf :: PublicKey context -> ()

(Eq (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto))), Eq (context (Vector (NumberOfRegisters (BaseField context) 32 'Auto)))) => Eq (PublicKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

(==) :: PublicKey context -> PublicKey context -> Bool

(/=) :: PublicKey context -> PublicKey context -> Bool

(Symbolic ctx, KnownRegisters ctx 32 'Auto, KnownRegisters ctx KeyLength 'Auto) => SymbolicData (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Context (PublicKey ctx) :: (Type -> Type) -> Type

type Support (PublicKey ctx)

type Layout (PublicKey ctx) :: Type -> Type

type Payload (PublicKey ctx) :: Type -> Type

Methods

arithmetize :: PublicKey ctx -> Support (PublicKey ctx) -> Context (PublicKey ctx) (Layout (PublicKey ctx))

payload :: PublicKey ctx -> Support (PublicKey ctx) -> Payload (PublicKey ctx) (WitnessField (Context (PublicKey ctx)))

restore :: Context (PublicKey ctx) ~ c => (Support (PublicKey ctx) -> (c (Layout (PublicKey ctx)), Payload (PublicKey ctx) (WitnessField c))) -> PublicKey ctx

(Symbolic ctx, KnownRegisters ctx 32 'Auto, KnownRegisters ctx KeyLength 'Auto) => SymbolicInput (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

isValid :: PublicKey ctx -> Bool (Context (PublicKey ctx))

type Rep (PublicKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Rep (PublicKey context) = D1 ('MetaData "PublicKey" "ZkFold.Symbolic.Algorithms.RSA" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PublicKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "pubE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UInt 32 'Auto context)) :*: S1 ('MetaSel ('Just "pubN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UInt KeyLength 'Auto context))))

type Context (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Context (PublicKey ctx) = GContext (Rep (PublicKey ctx))

type Layout (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Layout (PublicKey ctx) = GLayout (Rep (PublicKey ctx))

type Payload (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Payload (PublicKey ctx) = GPayload (Rep (PublicKey ctx))

type Support (PublicKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Support (PublicKey ctx) = GSupport (Rep (PublicKey ctx))

data PrivateKey ctx

Constructors

PrivateKey

Fields

• prvD :: UInt KeyLength 'Auto ctx
• prvN :: UInt KeyLength 'Auto ctx

Instances

Generic (PrivateKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Rep (PrivateKey context) :: Type -> Type

Methods

from :: PrivateKey context -> Rep (PrivateKey context) x

to :: Rep (PrivateKey context) x -> PrivateKey context

(Show (BaseField context), Show (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto)))) => Show (PrivateKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

showsPrec :: Int -> PrivateKey context -> ShowS

show :: PrivateKey context -> String

showList :: [PrivateKey context] -> ShowS

NFData (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto))) => NFData (PrivateKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

rnf :: PrivateKey context -> ()

Eq (context (Vector (NumberOfRegisters (BaseField context) KeyLength 'Auto))) => Eq (PrivateKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

(==) :: PrivateKey context -> PrivateKey context -> Bool

(/=) :: PrivateKey context -> PrivateKey context -> Bool

(Symbolic ctx, KnownRegisters ctx KeyLength 'Auto) => SymbolicData (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Associated Types

type Context (PrivateKey ctx) :: (Type -> Type) -> Type

type Support (PrivateKey ctx)

type Layout (PrivateKey ctx) :: Type -> Type

type Payload (PrivateKey ctx) :: Type -> Type

Methods

arithmetize :: PrivateKey ctx -> Support (PrivateKey ctx) -> Context (PrivateKey ctx) (Layout (PrivateKey ctx))

payload :: PrivateKey ctx -> Support (PrivateKey ctx) -> Payload (PrivateKey ctx) (WitnessField (Context (PrivateKey ctx)))

restore :: Context (PrivateKey ctx) ~ c => (Support (PrivateKey ctx) -> (c (Layout (PrivateKey ctx)), Payload (PrivateKey ctx) (WitnessField c))) -> PrivateKey ctx

(Symbolic ctx, KnownRegisters ctx KeyLength 'Auto) => SymbolicInput (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

Methods

isValid :: PrivateKey ctx -> Bool (Context (PrivateKey ctx))

type Rep (PrivateKey context)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Rep (PrivateKey context) = D1 ('MetaData "PrivateKey" "ZkFold.Symbolic.Algorithms.RSA" "symbolic-base-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PrivateKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "prvD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UInt KeyLength 'Auto context)) :*: S1 ('MetaSel ('Just "prvN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UInt KeyLength 'Auto context))))

type Context (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Context (PrivateKey ctx) = GContext (Rep (PrivateKey ctx))

type Layout (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Layout (PrivateKey ctx) = GLayout (Rep (PrivateKey ctx))

type Payload (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Payload (PrivateKey ctx) = GPayload (Rep (PrivateKey ctx))

type Support (PrivateKey ctx)

Defined in ZkFold.Symbolic.Algorithms.RSA

type Support (PrivateKey ctx) = GSupport (Rep (PrivateKey ctx))

type Signature ctx = ByteString KeyLength ctx

type KeyLength = 512