Криптография — настоящее чудо, и многочисленные приложения на основе криптографии расширяют границы того, что может предложить Web3 с точки зрения масштабируемости и конфиденциальности.
Таким приложениям требуются эффективные криптографические примитивы в качестве строительных блоков, в частности, пары эллиптических кривых и скалярные умножения 🧱
Раньше поддержка этих операций в Starknet была непомерно затратной, но с новой встроенной арифметической схемой SHARP это не только осуществимо, но и может быть беспрецедентно дешевым 😏
И это именно то, что @GaragaStarknet здесь делает!
Garaga — это передовая библиотека, которая обеспечивает чрезвычайно эффективное сопряжение эллиптических кривых и скалярное умножение в Starknet благодаря новой встроенной функции SHARP и немного магии от @feltroidPrime 🪄
Вы уже можете использовать Garaga в тестовой сети для проверки доказательств Groth16 (как это делают WorldCoin, Axiom и ZK Email) менее чем за 300 тыс. шагов Cairo: https://t.co/MNdbKjkHCV 🤯
Скоро она также позволит проверять доказательства Plonk, разблокируя проверку программ Noir в Starknet! (семья Aztec 👀)
Но Garaga не останавливается на этом. Ее также можно использовать для значительного улучшения использования других систем доказательств (таких как Bulletproofs), а также подписей ECDSA и BLS и обязательств KZG.
Поистине захватывающее время быть разработчиком Starknet 👾
Погрузитесь в Garaga прямо сейчас: