Garaga

Report a Bug - Request a Feature - Ask a Question

About

Efficient pairing library using polynomial representation of field elements, written in Cairo 🐺.

Garaga can enable efficient pairing operations in StarkNet, by using polynomial representation of field elements. This is a work in progress, and is not yet ready for production use.

Here are some interesting use cases enabled by Garaga:

• SNARKs on StarkNet: Groth16 and Plonk (in the near future).
• KZG cryptographic commitment scheme.
• Identity-based encryption schemes.
• Attribute-based encryption schemes.
• BLS (Boneh–Lynn–Shacham) Digital Signature scheme.

Architecture overview

In progress.

Getting Started

To get started with Garaga, you'll need to have some tools and dependencies installed. Here's everything you need:

Prerequisites

Ensure you have the following installed:

• Python 3.10 - The core language used for development.
• Go - Required for profiling and testing.
• pprof - A tool for visualization and analysis of profiling data.
• graphviz - Necessary for generating graphical representations of profiling data.

Setup

Once you have the prerequisites installed, you can set up your development environment with the following steps:

make setup

At this point, you should have everything you need to start developing with Garaga. Before proceeding, make sure to activate the virtual environment by running source venv/bin/activate.

Compile & Run .cairo files (interactive script!)

make run

Benchmarks

Support & How to Contribute

We warmly welcome contributions and support from the community! Here's how you can help Garaga grow and improve:

Reporting Issues & Requesting Features

• Spot a bug? Have a feature request? Check out our issues page to see if it's already been reported or to open a new issue.

Contributing to Garaga

• Interested in contributing? Please take a moment to read our contribution guidelines for details on how to get started. Your contributions make the open-source community an incredible place for learning, inspiration, and creation.

Showing Support

• Love Garaga? Give us a star on GitHub to show your support.
• Spread the word: Share your excitement about Garaga on social platforms like Twitter, Dev.to, Medium, or your personal blog.
• Join the conversation: Connect with us and other Garaga enthusiasts on our Telegram group.

Every contribution, whether it's code, feedback, or spreading the word, greatly benefits everyone and is deeply appreciated. Thank you for being a part of Garaga's journey!

Security

Garaga follows good practices of security, but 100% security cannot be assured. Garaga is provided "as is" without any warranty. Use at your own risk.

For more information and to report security issues, please refer to our security documentation.

License

This project is licensed under the MIT license.

See LICENSE for more information.

Acknowledgements

• Huge props to tekkac and feltroidprime for their initial work on provable pairing-based cryptography in StarkNet.
• Credits to Nethermind for their initial work on optimized modular arithmetic.
• Herodotus for supporting this project.
• Gnark project and team, especially yelhousni for his amazing knowledge and support.
• OnlyDust and Starkware.

Resources

• Craig Costello, Pairing for beginners
• Y. El Housni, "Pairings in Rank-1 Constraint Systems," Cryptology ePrint Archive, Report 2022/1162, 2022. Available: https://eprint.iacr.org/2022/1162.
• feltroidprime. "Faster Extension Field multiplications for Emulated Pairing Circuits." HackMD, https://hackmd.io/@feltroidprime/B1eyHHXNT.

Note: This list is not exhaustive, and is not intended to be.

Contributors

For a full list of all authors and contributors, see the contributors page.

Thanks goes to these wonderful people (emoji key):

Feltroid Prime 💻	Abdel @ StarkWare 💻	Tarik K. 💻	Bachir Arif 💻	Renaud Dubois 💻
Add your contributions

This project follows the all-contributors specification. Contributions of any kind welcome!