Coliquidity ($COLI) allows you to provide liquidity using only 1 token. We match two providers to create a joint position. Less risk, more reward for each LP 😉 Subscribe to our Telegram / Twitter to get notified about new pools.
Weekly progress
- ⚒ Finished the testing of SharedOwnership & ERC20Enumerable (parent contracts of Fairpool).
- ⚒ Testing the Fairpool contract (WIP).
- 🤝 Advised another project.
Property-based fuzzing + mutation testing
We’ve found the right combination of smart contract testing approaches:
- Property-based fuzzing — tries multiple sequences of transactions with different inputs to trigger the execution of different paths in the smart contract.
- Mutation testing — modifies the smart contract & re-runs the test suite to ensure that it catches the mutations (shows that the tests fail on mutants).
Essentially:
- Property-based fuzzing tests the code.
- Mutation testing tests the properties.
Properties are functions that check the logical relationships between variables (for example: “sum of balances is equal to total supply”, or “total supply before transfer is equal to total supply after transfer“). It’s better to write property-based tests instead of static value tests because the properties capture the essence of the relationship between the variables & allow us to run fuzzing campaigns, where the inputs are different in each transaction.
The combination of fuzzing + mutation testing verifies that:
- The smart contract works as intended (checked by properties).
- The suite of properties is complete (checked by mutating the smart contract & re-running the properties, which should report that the mutated smart contract is invalid).
It should be noted that no testing tool gives a 100% complete proof that the smart contract works as intended — but fuzzing + mutation is the best approach that is available now.
We’ll finish the Fairpool tests this week and move on to implementing the UI.
Next week’s focus
- ⚒ Develop Fairpool.
- 🤝 Advise current projects.
About Coliquidity
Coliquidity ($COLI) allows users to make more money by banking on uptrend & collecting LP fees at the same time. If you want to get notified about early access to our pools, please follow our Telegram & Twitter. If you want to trade the $COLI token, use Uniswap or DEXTools.
Any questions? Reach out to us:
Website: www.coliquidity.com
Telegram: @Coliquidity
Twitter: @Coliquidity
Anchor Podcasts: Coliquidity
Discord: Coliquidity
Reddit: r/Coliquidity
Medium: @Coliquidity
YouTube: Coliquidity
$COLI token: Uniswap + PancakeSwap
