The 3rd audit for Rocket Joe has been completed

Formal Verification Report for Rocket Joe This document describes the specification and verification of Rocket Joe system using the Certora Prover. They undertook the work from January 13, 2022 to March 4, 2022. The latest commit that was reviewed and ran through the Certora Prover was ef2ef302. https://twitter.com/traderjoe_xyz/status/1508733493831995392 Check out the report: https://www.certora.com/wp-content/uploads/2022/03/Rocket-Joe-Report-2022-03-17.pdf
Source : The 3rd audit for Rocket Joe has been completed

Comments

Post a Comment

Popular posts from this blog

Overnight Launches USD+ On Avalanche

Image
DeFi Protocol Overnight has launched USD+, a yield-bearing stablecoin on the Avalanche blockchain to aid its mission in upgrading Liquidity Pools across the ecosphere. Overnight Finance Expands To Avalanche USD+, DeFi’s esteemed Yield-Bearing-Stablecoin has expanded to Avalanche after taking over one of Polygon’s leading Decentralized Exchange (DEX), Dystopia by storm. Its unique proposition is that it enables Yield-Farmers to earn ever more on their Liquidity Provisions. With it initially deploying on TraderJoe by commencing its journey on Avalanche, it sets out to revolutionize the way we think about Liquidity Provisions in itself. In a given Liquidity Pool with USD+, users earn yields from USD+ on top of Swap Fees and Gauge Pool rewards. The innovation here is that users earn Yields from USD+ on top of other Liquidity Pool incentives, making Liquidity Provisions more lucrative than what we’ve seen before. Getting Into The Midst Of It The proces... Source...
Read more

Yay Game | Interview by Airlyft

Image
YAY Games - A decentralised game publisher built on AVAX & BSC aggregating a wide range of games with focus on Play-2-earn, NFT's & DeFi. Can you tell us about your company/project? Pedro Verdades, Business Developer -  First of all, it's a pleasure to be chatting with you guys. I am Pedro the current Lead Business developer for YAY Games and Bold Point.Let’s start by YAY Games, YAY Games is a decentralized game Publisher built on AVAX and BSC. We aggregate a wide range of games focused on Play-2-earn, NFTs and DeFi.As the ultimate GameFi brand, we launched our Launchpad (ZEUS) in Q4 of 2021 to allow top gaming projects to have access to the expertise, a large community, and sophisticated game mining architecture. Moreover, we are releasing LOOT which is our ultimate NFT Marketplace for gaming assets. I’m sure we will talk more about it later in this interview.Within the following weeks we will release Bold Point, an NFT-based role-playing game built exclusi... S...
Read more

How To Use Canary Exchange For Avalanche Users?

Image
If you are looking for a guide for Canary Exchange, the latest DeFi projects on Avalanche Network, then this place is for you. Let's go through all functions on Canary with Avaxholic What Is Canary Exchange? Canary Exchange is a Decentralized Exchange (DEX) that runs on Avalanche, one of the most promising and the fastest blockchain. Membership is not required to trade-in decentralized exchanges. You only need to have one blockchain wallet and a private key. Canary Exchange works with a model called Automated market makers (AMMs), allowing digital assets to be traded automatically by using liquidity pools instead of a traditional market of buyers and sellers. For further details, read more: What Is Canary Exchange? Everything You Should Know Before Investing In Canary What Are Canary's Products? Canary Yield Aggregator Liquidity pools allow to increase the depth of the pools (i.e. minimize the price impact) and increase the reward per LP tokenReward payout ... Sourc...
Read more