CoinFabrik was asked to audit the contracts for the ArcadierX project. Firstly, we will provide a summary of our discoveries and secondly, we will show the details of our findings.
CoinFabrik has been hired to audit the DMToken smart contract. First of all, we will describe what is the analysis performed by our team. Next, we will provide a summary of our discoveries and we will detail all our findings. And at the end, we will express our opinion in the conclusion.
The contract audited is at address 0x2ccbff3a042c68716ed2a2cb0c544a9f1d1935e1. The contract was deployed at transaction 0x111287826ad158a7ae11a9893f03e9e8998ed7b2bac061c83bed7b68e1958a6d.
Introduction CoinFabrik has been hired to audit the contracts for the Decentraland Land Auction. In the following sections we will provide a description of the contracts and their purpose, the audit methodology, detailed information about the issues found and, to wrap up, our conclusions on the contracts. Overview The contracts audited are from the “Land […]
Following our Smart Contract Auditing: Human vs. Machine article, we now analyze Slither, which is another static analysis tool from Trail of Bits. It includes aids for contract summaries, which can be helpful for making a mental model of the contract and rechecking assumptions. Considering the ease of use, it’s a good idea to try […]
In this article we are benchmarking several auditing tools. The smart contract security audit is a critical phase in the development of smart contracts. The DAO hack was just one trip in the odyssey to secure Ethereum smart contracts and compatible blockchains like RSK and Cardano. It is important to highlight that back in 2016 […]
CoinFabrik has been hired to audit the EasyPool smart contracts. We start this PDF report writing a summary with the smart contracts provided by the client and a list of the analysis methods used to audit the contracts. Next, we detailed our findings ordering the issues by severity, followed by all the observations we considered important to add.
CoinFabrik was asked to audit the contracts setting the DS Protocol, which has the goal to enable security token offerings as well as managing the token life cycle post-sale. Firstly, we will provide a summary of our discoveries and secondly, we will show the details of our findings.
The contracts audited are from the Securitize private repository. The audit is based on the commit 6817cb339defe4d67e63a3835dffcf95ba458119 , and updated to reflect changes at c3729ea216eb33f093e6e5b209378e4d6728bbd7 .
CoinFabrik was asked to audit the contracts for the Bricks4Us token sale. Firstly, we will provide a summary of our discoveries and secondly, we will show the details of our findings.
The contracts audited are from the bricks4us-smart-contracts repository at https://github.com/Bricks4us/bricks4us-smart-contracts. The audit is based on the commit 535cf8c62a4cd11625e28a357ab5013f4b4c5c54 of branch master.
CoinFabrik was asked to audit the contracts for the Zeex Token sale. Firstly, we will provide a summary of our discoveries and secondly, we will show the details of our findings.
The Zeex Token is both ERC20 and ERC827 compatible. The Zeex Crowdsale has a pre-sale period where additional bonus locked tokens are awarded to users. It also has a whitelist implementation which restringes people from purchasing tokens.
Smart contract security is a serious problem today. Security flaws, misbehavior, and inefficiency are very expensive when you deploy a Smart Contract to the Blockchain. Companies are especially concerned about their Smart Contract code because once it is run, there is no turning back (they are irreversible) and money can be stuck in the blockchain and lost forever. Thus, to make sure their code is written correctly, these enterprises usually hire well known external auditors (like Coinfabrik) because they know that a problem in their code could cost a lot more money if they skip the audit. Since Smart contracts are used to move, store, distribute funds, errors in smart contract code and design must be minimized. Furthermore, since the appearance of the ICOs in the past few years and with their boom in 2017 and 2018, the smart contract security audits have become one of the most ordered services in the blockchain industry.
Coinfabrik has been hired to audit the smart contracts for Stasis sale, the Stable Euro Token.
Firstly, we wrote a brief summary with our discoveries. After that, we addressed the detailed findings and what are the enhancements we propose to improve the code. And at the end, we wrote the conclusion with the most important issues to correct if there were any, and how we considered the code after being analyzed by our team.
Coinfabrik has been hired to audit the contracts for the Casper Token sale. Firstly, we will provide a summary of our discoveries and secondly, we will show the details of our findings. Summary The contracts audited are from the presale repository at https://github.com/Casper-dev/presale. The audit is based on the commit 3c66514423277c39bea26e62a7de47d51d712108 from branch feat/presale. This […]