Safe Haskell	Safe-Inferred
Language	Haskell2010

SecTypes

Description

This module collects basic secure (secret-shared) types for hMPC.

Secure number types all use common base classes, which ensures that operators such as +,* are defined by operator overloading.

Synopsis

data SecureTypes
- = SecFld {
  - field :: FiniteField
  - share :: MVar FiniteField
  - bitLength :: Int
  }
- | SecInt {
  - field :: FiniteField
  - share :: MVar FiniteField
  - bitLength :: Int
  }
- | Literal {
  - share :: MVar FiniteField
  }
secIntGen :: Int -> SIO (Integer -> SIO SecureTypes)
secFldGen :: Integer -> Integer -> SIO SecureTypes
setShare :: SecureTypes -> Integer -> SIO SecureTypes

Documentation

data SecureTypes Source #

A secret-shared object.

An MPC protocol operates on secret-shared objects of type SecureObject. The basic Haskell operators are overloaded instances by SecureTypes classes. An expression like a * b will create a new SecureObject, which will eventually contain the product of a and b. The product is computed asynchronously, using an instance of a specific cryptographic protocol.

Constructors

SecFld	Base class for secure (secret-shared) numbers.
Fields field :: FiniteField share :: MVar FiniteField bitLength :: Int
SecInt	Base class for secure (secret-shared) finite field elements.
Fields field :: FiniteField share :: MVar FiniteField bitLength :: Int
Literal
Fields share :: MVar FiniteField

Instances

Instances details

Gather SecureTypes Source #
Instance details Defined in Asyncoro Associated Types type Result SecureTypes Source # Methods gather :: SecureTypes -> SIO (Result SecureTypes) Source #
Num (SIO SecureTypes) Source #
Instance details Defined in Runtime Methods (+) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes # (-) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes # (*) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes # negate :: SIO SecureTypes -> SIO SecureTypes # abs :: SIO SecureTypes -> SIO SecureTypes # signum :: SIO SecureTypes -> SIO SecureTypes # fromInteger :: Integer -> SIO SecureTypes #
Fractional (SIO SecureTypes) Source #
Instance details Defined in Runtime Methods (/) :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes # recip :: SIO SecureTypes -> SIO SecureTypes # fromRational :: Rational -> SIO SecureTypes #
IfElse (SIO SecureTypes) SecureTypes Source #
Instance details Defined in Runtime Methods ifElse :: SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes -> SIO SecureTypes Source #
Output (SIO SecureTypes) Integer Source #
Instance details Defined in Runtime Methods output :: SIO SecureTypes -> SIO (MVar Integer) Source #
IfElse [SIO SecureTypes] [SIO SecureTypes] Source #
Instance details Defined in Runtime Methods ifElse :: SIO SecureTypes -> [SIO SecureTypes] -> [SIO SecureTypes] -> SIO [SIO SecureTypes] Source #
Input (SIO SecureTypes) [SIO SecureTypes] Source #
Instance details Defined in Runtime Methods input :: SIO SecureTypes -> SIO [SIO SecureTypes] Source #
Input [SIO SecureTypes] [[SIO SecureTypes]] Source #
Instance details Defined in Runtime Methods input :: [SIO SecureTypes] -> SIO [[SIO SecureTypes]] Source #
Output [SIO SecureTypes] [Integer] Source #
Instance details Defined in Runtime Methods output :: [SIO SecureTypes] -> SIO (MVar [Integer]) Source #
type Result SecureTypes Source #
Instance details Defined in Asyncoro type Result SecureTypes = FiniteField

secIntGen :: Int -> SIO (Integer -> SIO SecureTypes) Source #

Secure l-bit integers (SecInt).

secFldGen :: Integer -> Integer -> SIO SecureTypes Source #

Secure finite field (SecFld) of order q = p where p is a prime number

setShare :: SecureTypes -> Integer -> SIO SecureTypes Source #