security
Materials related to security: docs, checklists, processes, etc... (by OriginProtocol)
verified-smart-contracts
Smart contracts which are formally verified (by runtimeverification)
Our great sponsors
| security | verified-smart-contracts | |
|---|---|---|
| 3 | 10 | |
| 198 | 701 | |
| 0.0% | 0.0% | |
| 5.4 | 0.0 | |
| 6 months ago | over 1 year ago | |
| Solidity | Solidity | |
| - | 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.
security
Posts with mentions or reviews of security.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-29.
-
📢 Cyberscope x Origin Protocol 📢
You can read our comprehensive report here (https://github.com/OriginProtocol/security/tree/master/audits/community).
- Cryptocurrency Loan Platform Implodes in $130M Hack
- Merlin Finance Hack
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...
What are some alternatives?
When comparing security and verified-smart-contracts you can also consider the following projects:
publications - Publications from Trail of Bits
compound-protocol - The Compound On-Chain Protocol
verified-smart-contra
Publications - Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com