Sigmabus: Binding Sigmas in Circuits for Fast Curve Operations

ePrint Report: Sigmabus: Binding Sigmas in Circuits for Fast Curve Operations

George Kadianakis, Mary Maller, Andrija Novakovic

This paper introduces Sigmabus, a technique designed to enhance the efficiency of zero-knowledge circuits by relocating computationally expensive operations outside the circuit. Specifically, Sigmabus focuses on moving elliptic curve group operations, typically proven with expensive non-native field arithmetic, to external computations. By leveraging Sigma protocols, elliptic curve group operations are proven outside the circuit, while additional constraints are applied to the circuit to …

curve efficiency elliptic eprint report fast knowledge moving operations report