Verified-smart-contracts Alternatives

verified-smart-contracts reviews and mentions

• how is slippage of potential swap calculated on v3?
  1 project | /r/UniSwap | 10 Jun 2022

  OP, if you are asking about price calculation, IMHO it still follows the original white paper, with many tweaks and improvements, but the fundamental principles remain from V1: https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf (chapter 3) - yes there is something called ticks and virtual liquidity in v3 but those formulas will still give you a good approximation.

• Sandwich attacks in Liquidity Pools and how you could design pools without them.
  1 project | /r/CryptoTechnology | 4 Jun 2022

  You can find the CPMM formulas used by Uniswap here: https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf

• Coming very soon 😲
  1 project | /r/Algonauts | 4 Jan 2022
• Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]
  1 project | news.ycombinator.com | 19 Dec 2021
• Maiar Exchange Features
  1 project | /r/elrondnetwork | 8 Nov 2021

  This formula can vary with each protocol. For examaple, Maiar DEX uses the industry standard "x*y=k" constant product AMM model, which has proven its reliability in existing implementations, and has been formally modelled and verified. In this formula, k is a fixed constant, meaning the pool’s total liquidity always has to remain the same.

• Cryptocurrency Loan Platform Implodes in $130M Hack
  5 projects | news.ycombinator.com | 29 Oct 2021

  https://github.com/compound-finance/compound-protocol/tree/m...

  to this (Uniswap):

  https://github.com/runtimeverification/verified-smart-contra...

• Is Providing Liquidity a Less Volatile Method of Gaining Exposure to an Asset?
  1 project | /r/algorand | 8 Oct 2021
• Tool and analyze farming gain and loss vs impermanent loss?
  1 project | /r/defi | 31 May 2021

  https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf https://uniswap.org/whitepaper.pdf

• Need help understanding the pricing model
  1 project | /r/UniSwap | 7 May 2021

  Hi, I was going through the formalised explanation of the Constant Product function and it's implementation as per this link. Could you link me to any article that could help me understand the formalisation better.

• Uniswap V3
  1 project | news.ycombinator.com | 23 Mar 2021

  What is effectively a changelog of features for their new version is probably not the best place to start.

  If you'd like to know more then this [0] is a brief summary of Uniswap and this paper [1] is a good introduction to the formalism of the `x * y = k` market making model used by Uniswap.

  [0]: https://github.com/runtimeverification/verified-smart-contra...

  [q]: https://github.com/runtimeverification/verified-smart-contra...

• A note from our sponsor - InfluxDB
  www.influxdata.com | 10 May 2024

  Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →