On Proving Pairings

ePrint Report: On Proving Pairings

Andrija Novakovic, Liam Eagen

In this paper we explore efficient ways to prove correctness of elliptic curve pairing relations. Pairing-based cryptographic protocols such as the Groth16 and Plonk SNARKs and the BLS signature scheme are used extensively in public blockchains such as Ethereum due in large part to their small size. However the relatively high cost of pairing computation remains a practical problem for many use cases such as verification ``in circuit" inside a SNARK. …

blockchains correctness cryptographic curve elliptic eprint report ethereum large protocols prove public report signature size