project screenshot 1
project screenshot 2
project screenshot 3
project screenshot 4

🔥 Emulated pairings

Fiat-Shamir and Schwartz-Zippel for Faster Emulated Pairings

🔥 Emulated pairings

Created At

Scaling Ethereum 2024

Project Description

This project expands upon Feltroid Prime's note 'Faster Extension Field multiplications for Emulated Pairing Circuits'. The note describes using Fiat-Shamir and Schwartz-Zippel to verify precomputed field multiplications. I have prepared a more efficient version in the notes to allow for much larger circuit verification.

How it's Made

As we try to prove larger computations the degree of one of the polynomials grows linearly with the computation. With a large degree comes increased calldata size and computation costs for hashing each coefficient for Fiat-Shamir. I have shared a more optimised version which uses modding by another polynomial to eliminated irrelevant degrees off the target polynomial.

background image mobile

Join the mailing list

Get the latest news and updates