Module ark_mpc::algebra

source ·
Expand description

Defines algebraic MPC types and operations on them

Structs

  • AuthenticatedDensePoly
    An authenticated polynomial; i.e. a polynomial in which the coefficients are secret shared between parties
  • AuthenticatedDensePolyOpenResult
    The result of opening an AuthenticatedDensePoly to its base type
  • AuthenticatedPointOpenResult
    The value that results from opening an AuthenticatedPointResult and checking its MAC. This encapsulates both the underlying value and the result of the MAC check
  • AuthenticatedPointResult
    A maliciously secure wrapper around MpcPointResult that includes a MAC as per the SPDZ protocol: https://eprint.iacr.org/2011/535.pdf
  • AuthenticatedScalarOpenResult
    The value that results from opening an AuthenticatedScalarResult and checking its MAC. This encapsulates both the underlying value and the result of the MAC check
  • AuthenticatedScalarResult
    A maliciously secure wrapper around an MpcScalarResult, includes a MAC as per the SPDZ protocol: https://eprint.iacr.org/2011/535.pdf that ensures security against a malicious adversary
  • CurvePoint
    A wrapper around the inner point that allows us to define foreign traits on the point
  • DensePolynomialResult
    A dense polynomial representation allocated in an MPC circuit
  • MpcPointResult
    Defines a secret shared type of a curve point
  • MpcScalarResult
    Defines a secret shared type over the Scalar field
  • Scalar
    A wrapper around the inner scalar that allows us to implement foreign traits for the Scalar

Constants

Functions

  • n_bytes_field
    Computes the number of bytes needed to represent field element

Type Aliases