The Leverj Staking Contract

in trading •  7 years ago 

 Announcing the Fully Audited Staking Contract

 Staking provides a mechanism for paying trading fees on the Leverj platform. A beta version of the staking contract has been available since December 2017. We had set ourselves the goal of thoroughly testing, auditing, and reviewing the contract before we go live. We’re proud to announce the great news that we have successfully gone through an audit and incorporated all required changes to make the staking contract ready for production. In this brief post, we intend to share the key findings from the audit and changes in place to address the concerns. 

The audit

 We engaged Blockchain Labs, as an independent third party, to audit the staking contract. The detailed audit report is available at https://github.com/leverj/staking/tree/master/audit

 The audit was conducted with a focus on the following:

  1. Correctness: verification against specification
  2. Testability: test modularity and coverage
  3. Security: vulnerabilities that could be abused
  4. Adherence to best practices: in compliance with the latest standards

 Static and dynamic analysis of Fee.sol and Stake.sol revealed no critical or major defects against expected behavior and contract specification. Only the following best practices related issues were unearthed: 

  1. Usage of an old solidity compiler
  2. Lack of explicit variable type declaration
  3. No event generation on token creation

 These issues were all minor or moderate. However, we have diligently triaged through all the issues and made all required fixes. 

Incorporated changes

 The entire list of issues is available online at our github repository. We have addressed all the 6 issues that are on the list. There are fixes for all barring a couple that were de-scoped. 

Summary

 The revised Stake and Fee contracts have been deployed. The new addresses for the contracts are as follows: 

  1. Stake: 0x1ed8691CEA15e9573282175fFA3E23281fCe85C0
  2. Fee: 0xffe4a5A685eFc53F45Bf50F3DAB45ded1B028134

 A few users had used the old contracts to stake and generate FEE tokens. We have made sure to smoothly transition their user balances over to the new contracts. 

 You can stake your LEV tokens at https://stake.leverj.io 

Want to learn more?

Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  

Hi! I am a robot. I just upvoted you! I found similar content that readers might be interested in:
https://blog.leverj.io/the-leverj-staking-contract-3ed88c051d28