Verilog Solutions

@verilog

VERILOG LTD.

Private team

Joined on Oct 18, 2021

  • Copyright © 2022 by Verilog Solutions. All rights reserved. May 24, 2022 by Verilog Solutions This report presents our engineering engagement with the BendDAO team on their decentralized non-custodial NFT liquidity and lending protocol -- the BendDAO Protocol. Table of Content [TOC]
     Like 3 Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. January 30, 2022 by Verilog Solutions Project Summary Vesta Finance is an Arbitrum-based lending protocol. Users can collateralize ETH and other supported assets to borrow $VST, which is Vesta Finance's stablecoin. Vesta will support other collateral after the launch. A portion of Vesta Finance's code is based on Liquity. Service Scope
     Like 2 Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. January 4, 2022 by Verilog Solutions This report presents our engineering engagement with YuzuSwap, one of the first DEX projects for the Emerald paratime on the Oasis Network. YuzuSwap is an AMM DEX with innovative trading incentive designs, such as the trading pool share token (TPST). YuzuSwap's TPST design keeps track of DEX users' swap operations and provides rewards for these users. Table of Content [TOC]
     Like 3 Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. February 18, 2022 by Verilog Solutions This report presents Verilog's smart contract auditing engagement with Fountain Protocol. Fountain Protocol is one of the first Lending protocols on the Emerald Paratime of Oasis Network. Table of Content [TOC]
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. February 24, 2022 by Verilog Solutions This report presents Verilog's smart contract auditing engagement with TGT Protocol. TGT Protocol is one of the first lending protocols and margin trading platforms on the Emerald Paratime of Oasis Network. Table of Content [TOC]
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. March 20, 2022 by Verilog Solutions This report presents our engineering engagement with Ubeswap, a mobile-first DeFi exchange on the Celo network. Ubeswap provides decentralized exchange and automated market marker protocol for Celo assets. Ubeswap is recently adding new features including limit order. Table of Content [TOC] Project Summary
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. March 30, 2022 by Verilog Solutions This report presents our second engineering engagement with YuzuSwap, one of the first DEX projects for the Emerald paratime on the Oasis Network. YuzuSwap is an AMM DEX with innovative trading incentive designs, such as the trading pool share token (TPST). After a successful launch of YuzuSwap on the Oasis Emerald chain, the YuzuSwap team asked Verilog to audit their newest feature, single token staking contracts. Table of Content [TOC]
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. May 23, 2022 by Verilog Solutions This report presents our engineering engagement with Cronus Finance, a decentralized exchange deployed on the EVMOS ecosystem. Cronus Finance is an AMM DEX with liquidity mining rewards. Cronus Finance has its own governance token, $CRN, which can be staked into $sCRN and earn staking rewards denominated in stablecoin. Table of Content [TOC] Project Summary
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. April 12, 2022 by Verilog Solutions This report presents Verilog Solutions's incremental smart contract auditing engagement with Fountain Protocol, especially for its LPOracleAnchoredView.sol smart contract. Fountain Protocol is one of the first Lending protocols on the Emerald Paratime of Oasis Network. Table of Content [TOC]
     Like  Bookmark
  • Copyright © 2021 by Verilog Solutions. All rights reserved. October 17, 2021 by Verilog Solutions This report presents our engineering engagement with WOO Network on their first DeFi protocol WOOFi Swap. Unlike popular Automated Market Making (AMM) or Proactive Market Making (PMM), WOOFi Swap’s Sythethetic Proactive Market Making (sPMM) is a brand new market-making algorithm that can successfully solve the slippage issue in Decentralized Exchange (DEX) by simulating order book structure in Centralized Exchange (CEX). Table of Content [TOC]
     Like 4 Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. April 4, 2022 by Verilog Solutions This report presents our engineering engagement with STEPN, a Game-Fi/Social-Fi Web3 application. Users could acquire STEPN NFT sneakers and earn rewards by engaging in outdoor activities. STEPN tokens have two tokens: GST & GMT. Table of Content [TOC] Project Summary
     Like 3 Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. April 22, 2022 by Verilog Solutions This report presents Verilog Solutions's smart contract auditing work on the GNO token v2.0.0 contracts. Table of Content [TOC]
     Like  Bookmark
  • Copyright © 2022 by Verilog. All rights reserved. May 10, 2022 by Verilog Audit This report presents our second engineering engagement with Cronus Finance, a decentralized exchange deployed on the EVMOS ecosystem. Cronus Finance is an AMM DEX with liquidity mining rewards. Cronus Finance has its own governance token, $CRN, which can be staked into $sCRN and earn staking rewards denominated in stablecoin. Table of Content [TOC] Project Summary
     Like  Bookmark
  • Copyright © 2022 by Verilog Solutions. All rights reserved. April 29, 2022 by Verilog Solutions Inspired by the recent token bridge exploits, Verilog research team surveyed the existing cross-chain bridge solutions and decided to perform an independent, external security analysis on EVO DeFi Bridge. EVO DeFi Bridge is a cross-chain bridge connected to multiple EVM-compatible chains, including Ethereum, BSC, Fantom, Avalanche, and Oasis Emerald ParaTime. Verilog Solutions has conducted on-chain analytics and external analysis on the open-sourced portion of EVO DeFi Bridge in hope of improving the safety of funds and transparency across the crypto ecosystem. To conduct the analysis, the Verilog team used various techniques including but not limited to event emission extraction, cross-chain fuzzy matching, and byte code comparison. The goal of this analysis is to discover whether proper collateralization and governance are in place for EVO DeFi Bridge. It is important to note that this analysis was conducted unilaterally without correspondence from EVO DeFi Bridge, and some parts of the source code are not available to the Verilog team. Therefore, this analysis is based on incomplete information and best-effort conjugation. This report is not intended to be used as any financial advice.
     Like 2 Bookmark
  • Copyright © 2022 by Verilog. All rights reserved. Mar 20, 2022 by Verilog Audit This is the preliminary audit report to summarize the most urgent and critical issues found by the Verilog Audit. We will list the major concerns and findings here. Once the issues below are all resolved, we can proceed to a lower-level security and improvement analysis. Table of Content [TOC] Priviliged Roles
     Like  Bookmark