Yagi is a yield aggregator and keeper network on StarkNet. After announcing our first vault and being humbled by the interest from early depositors, the focus shifted to build more and better vaults on top of foundational yield opportunities in the StarkNet ecosystem. After building a vault on top of…

Earlier this year, Yagi launched as the first keeper network on StarkNet. On the way, we've hit several milestones such as powering innovative applications (e.g., Topology's Isaac game), building a community and collaborating with many teams in the space. In terms of verticals, there is promising early adoption of Yagi…

Summary. In this post, I will argue that Cairo can effect the coming wave of provable computation in the same way that Solidity has enabled composable computation. Cairo is the native programming language of StarkNet, a Layer 2 network designed to scale Ethereum. — It's regrettable when we see smart…

If you're a smart contract developer, you dread the day when an exploit occurs… While you cannot completely avoid mistakes, you can at least avoid making mistakes others have made and try to mitigate their impact. One way to do this is to write down your process. Rari recently wrote…

A surprising outcome of the Uniswap V3 design is the possibility of executing range orders. Both take-profit orders (sell asset X once it hits a high-enough price) and buy limit orders (buy asset X once it hits a low-enough price) are possible. One of the feedback points on our recent…

Earlier this week, I wrote about how to derive the Impermanent Loss formula for Uniswap V1 and V2. We will use the same approach to calculate Impermanent Loss for Uniswap V3 and concentrated liquidity positions. Impermanent loss is a popular concept when it comes to automated market makers (AMMs) like…

Impermanent loss is a popular concept when it comes to automated market makers (AMMs) like Uniswap. …

The V2 to V3 jump in Uniswap has opened up liquidity providers to more choices. These choices in turn create opportunities for active strategy managers. Projects like Visor, Charm, Lixir and others are looking to manage liquidity on behalf of users, hoping to retain the ergonomics of V1 and V2…

This post is the product of collaboration between Gauntlet and Peteris Erins (Auditless) in the intersection of formal verification and incentive simulation. We thank Haseeb Qureshi and Charlie Noyes for their review feedback. We believe that agent-based simulation can help analyze smart contracts and protocol behavior. But other methods exist…