vincenthuang75025 / zkxzk

Demo of optimal Ate pairing implemented inside a zk-snark

zkPairing

This is the frontend for a demo that took place at DevConnect Amsterdam 2022. The demo can be found here. We allow users to submit their public key, a BLS signature, and a message (represented as a point on the BLS12-381 curve); these inputs are submitted to a zk-SNARK which checks the validity of the signature. If valid, the server returns a proof to the user; if invalid, an error is displayed.

The implementation of BLS signatures (which required implementation of elliptic curve pairings in Circom) can be found here. The server setup can be found here.