verified-smart-contracts
Smart contracts which are formally verified (by runtimeverification)
Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com (by BartoszMilewski)
| verified-smart-contracts | Publications | |
|---|---|---|
| 10 | 5 | |
| 701 | 1,213 | |
| 0.0% | - | |
| 0.0 | 5.5 | |
| over 1 year ago | 12 days ago | |
| Solidity | TeX | |
| GNU General Public License v3.0 or later | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
verified-smart-contracts
Posts with mentions or reviews of verified-smart-contracts.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-29.
-
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...
Publications
Posts with mentions or reviews of Publications.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-12.
What are some alternatives?
When comparing verified-smart-contracts and Publications you can also consider the following projects:
compound-protocol - The Compound On-Chain Protocol
milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
verified-smart-contra
slither - Static Analyzer for Solidity and Vyper
publications - Publications from Trail of Bits
manticore - Symbolic execution tool
security - Materials related to security: docs, checklists, processes, etc...
echidna - Ethereum smart contract fuzzer
verified-smart-contracts vs compound-protocol
Publications vs milewski-ctfp-pdf
verified-smart-contracts vs verified-smart-contra
Publications vs slither
verified-smart-contracts vs publications
Publications vs manticore
verified-smart-contracts vs security
Publications vs compound-protocol
Publications vs verified-smart-contra
Publications vs echidna