Efficient Multiparty Protocols Using Circuit Randomization

Efficient Multiparty Protocols Using Circuit Randomization

1992 | Donald Beaver *
The paper "Efficient Multiparty Protocols Using Circuit Randomization" by Donald Beaver presents a novel approach to secure multiparty computation (MPC) that significantly reduces the number of rounds of interaction required. The main idea is to randomize the inputs and outputs of each gate in the circuit representing the function to be computed, and then use simple error correction techniques to recover the correct values. This method simplifies the protocol and reduces the number of rounds from polynomially many to a constant number, making it more practical for real-world applications. The protocol works as follows: each player shares their input privately, and a set of random values is generated. For each gate in the circuit, the protocol computes the result of the gate using these random inputs. The outputs are then corrected using linear combinations of the random inputs and the known inputs to the gate. This process is repeated for each level of the circuit, with each level involving only one round of interaction. The final output is reconstructed using secret reconstruction techniques, which only require broadcast messages and do not need Byzantine Agreement. The paper also introduces the concept of "one-time tables," which are precomputed values that support secure computation without the need for broadcast or private channels. This technique further reduces the complexity and overhead of the protocol. The authors prove that their protocol is perfectly resilient against up to \( t \) Byzantine players, where \( t < n/3 \), and exponentially resilient for \( t < n/2 \). The practical benefits of this approach include simpler implementation, reduced network requirements, and improved efficiency in terms of the number of rounds and message sizes. Overall, the paper provides a significant advancement in the field of MPC, making it more feasible for practical use in distributed systems.The paper "Efficient Multiparty Protocols Using Circuit Randomization" by Donald Beaver presents a novel approach to secure multiparty computation (MPC) that significantly reduces the number of rounds of interaction required. The main idea is to randomize the inputs and outputs of each gate in the circuit representing the function to be computed, and then use simple error correction techniques to recover the correct values. This method simplifies the protocol and reduces the number of rounds from polynomially many to a constant number, making it more practical for real-world applications. The protocol works as follows: each player shares their input privately, and a set of random values is generated. For each gate in the circuit, the protocol computes the result of the gate using these random inputs. The outputs are then corrected using linear combinations of the random inputs and the known inputs to the gate. This process is repeated for each level of the circuit, with each level involving only one round of interaction. The final output is reconstructed using secret reconstruction techniques, which only require broadcast messages and do not need Byzantine Agreement. The paper also introduces the concept of "one-time tables," which are precomputed values that support secure computation without the need for broadcast or private channels. This technique further reduces the complexity and overhead of the protocol. The authors prove that their protocol is perfectly resilient against up to \( t \) Byzantine players, where \( t < n/3 \), and exponentially resilient for \( t < n/2 \). The practical benefits of this approach include simpler implementation, reduced network requirements, and improved efficiency in terms of the number of rounds and message sizes. Overall, the paper provides a significant advancement in the field of MPC, making it more feasible for practical use in distributed systems.
Reach us at info@study.space
Understanding Efficient Multiparty Protocols Using Circuit Randomization