'Bristol Fashion' MPC Circuits

Abstraction: Standard boolean circuit format for MPC garbling with reference implementations

Key points:

• Bristol Fashion is a circuit file format used by the SCALE-MAMBA MPC software system for garbling; independent of number of parties
• Basic format uses XOR, AND, INV/NOT, EQ, EQW gates (one output wire each); extended format adds MAND (Multiple AND) gates with arbitrary inputs/outputs for parallelism
• AES-128 circuit: 6,400 AND gates, 28,176 XOR gates, depth 60; uses Boyar-Peralta S-Boxes (32 ANDs per S-Box)
• SHA-256 circuit: 22,573 AND gates, 110,644 XOR gates, depth 1,607; SHA-512 requires 57,947 AND gates
• Floating-point circuits (add, mul, div, sqrt, floor, ceil) generated from Berkeley SoftFloat via CBMC-GC; FP-sqrt requires 91,504 AND gates at depth 6,507
• 64-bit adder: only 63 AND gates; 64x64 multiplier: 4,033 AND gates

Connections: Nigel Smart · Scale Mamba · Secure Multi Party Computation · Garbled Circuits · Cryptography

Source: https://nigelsmart.github.io/MPC-Circuits/