Publications
verified-smart-contracts
Our great sponsors
Publications | verified-smart-contracts | |
---|---|---|
5 | 10 | |
1,213 | 701 | |
- | 0.0% | |
5.5 | 0.0 | |
8 days ago | over 1 year ago | |
TeX | Solidity | |
- | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Publications
verified-smart-contracts
-
how is slippage of potential swap calculated on v3?
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.
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 😲
- Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]
-
Maiar Exchange Features
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
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?
-
Tool and analyze farming gain and loss vs impermanent loss?
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
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
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...
What are some alternatives?
milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
compound-protocol - The Compound On-Chain Protocol
slither - Static Analyzer for Solidity and Vyper
verified-smart-contra
manticore - Symbolic execution tool
publications - Publications from Trail of Bits
security - Materials related to security: docs, checklists, processes, etc...
echidna - Ethereum smart contract fuzzer