A STARK-friendly elliptic curve designed to work within Cairo circuits on Starknet
Starkjub is a Twisted edwards curve to be used within Cairo circuits for Starknet. This repository contains code from Daira Hopwood and Pratyush Mishra in order to ensure that Starkjub defines a valid Twisted edwards curve that satisfies the SafeCurves criteria.
Starkjub is a TWisted edwards curve with a = 146640 and d = 146636 over the finite field GF(3618502788666131213697322783095070105623107215331596699973092056135872020481).
The values for a and d were found from the procedure described here and converted from the Montgomery form. The prime used is the Stark prime, defined here
Make sure you have sage and Python installed on your system.
git clone [email protected]:hashcloak/starkjub.git
cd src
python starkjub.py
If you want to run the safecurves check yourself then, cd safety-check and follow the instructions in the README.
