https://github.com/vincenthuang75025/zkxzk

Demo of optimal Ate pairing implemented inside a zk-snark
https://github.com/vincenthuang75025/zkxzk

bls-signature vercel zero-knowledge zk-snarks

Last synced: 3 months ago
JSON representation

Demo of optimal Ate pairing implemented inside a zk-snark

• Host: GitHub
• URL: https://github.com/vincenthuang75025/zkxzk
• Owner: vincenthuang75025
• Created: 2022-04-14T06:05:32.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-05-12T01:05:11.000Z (over 2 years ago)
• Last Synced: 2024-04-14T14:20:29.598Z (9 months ago)
• Topics: bls-signature, vercel, zero-knowledge, zk-snarks
• Language: TypeScript
• Homepage: https://zkpairing.xyz/
• Size: 379 KB
• Stars: 12
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# zkPairing 

This is the frontend for a demo that took place at DevConnect Amsterdam 2022. The demo can be found [here](https://zkpairing.xyz). 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](https://github.com/yi-sun/circom-pairing/). The server setup can be found [here](https://github.com/vincenthuang75025/zk-node-server-c/).