Crate mpc_stark

Source
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

Structs§

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

Enums§

ResultValue
The value of a result

Constants§

PARTY0
The first party
PARTY1
The second party

Functions§

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

Type Aliases§

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