Stark-Bridge-n-Frog

Starkcurve is the native curve of the starknet network. Atomic swap is a mechanism enabling to safely swap currencies between two chains. This is the mechanism enabling the lightning networks.

To be possible, it requires both networks to operate over the same elliptic curve. No that ERC4337 is deployed, it is possible to use a starkcurve as a UserOp and deploy a AS between starknet and any ERC4337 compatible L1/L2.

We developp a Starkcurve Schnorr verifier to be integrated into an Atomic Swap powered Bridge. We then demonstrate the Bridging process by deploying a Frog market over 2 layers, and proceeding with a bridge of the minted frogs accross those layers.

After this, we start to conceive a game where the PCD frogs can be minted once their proof solidity verified, to be part of the MarketFrog, where they can stake and battle.

This project uses the FCL (https://github.com/rdubois-crypto/FreshCryptoLib) ecc implementation, but use specific formulae to optimize computations for the starkcurve. Namely some modular multiplications are saved due to the specific shape (a=-1) of the curve.

We used a sagemath reference implementation to valide our computations. Then we integrate the zkverifier from PCD to mint frogs into the market contract.