Weekly update on development process (Dec 19, 2022)

Fairpool
2 min readDec 19, 2022

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:

  1. The smart contract works as intended (checked by properties).
  2. 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

  1. ⚒ Develop Fairpool.
  2. 🤝 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

--

--

Fairpool

Fairpool is a DEX for personal tokens. Create your token & receive royalties from trading volume. Increase volume by offering dividends / selling content.