Crate mpc_stark

Expand description

Defines an MPC implementation over the Stark curve that allows for out-of-order execution of the underlying MPC circuit

Modules§

algebra: Defines algebraic MPC types and operations on them
beaver: Defines the Beaver value generation interface as well as a dummy beaver interface for testing
commitment: Defines Pedersen commitments over the Stark curve used to commit to a value before opening it
error: Errors defined across the MPC implementation
network: The network module defines abstractions of the transport used to communicate during the course of an MPC

FabricInner: The inner component of the fabric, allows the constructor to allocate executor and network sender objects at the same level as the fabric
MpcFabric: A fabric for the MPC protocol, defines a dependency injection layer that dynamically schedules circuit gate evaluations onto the network to be executed
ResultHandle: A handle to the result of the execution of an MPC computation graph

random_point: Generate a random curve point by multiplying a random scalar with the Stark curve group generator

BeaverSource: A type alias for a shared, mutable reference to an underlying beaver source
ResultId: An identifier for a result
SharedNetwork: SharedNetwork wraps a network implementation in a borrow-safe container while providing interior mutability