We’ve fixed more bugs in the Fairpool smart contract.

The reason those bugs existed in the first place is that we had to implement a lot of optimizations to ensure that transactions with the Fairpool contract stay under the gas limit. Due to optimizations, the contact code diverged from the original simple version, and the bugs arised in the more complex code.

We’re glad to have those bugs fixed now.

Special thanks to Echidna - the testing tool that we’re using!