We offer wide variety of services, both for on-chain and
off-chain solutions.
Manual Analysis
Manual code analysis for information security requirements.
We compare smart contract logic with whitepaper and other documentation.
Solidity Development
Create your compliant and secure contracts from the ground up to your specification.
Verification of automated results
We scan your code by our SmartCheck static code analyzer and manually check issues found by the tool.
We are ready to act as information security advisers in interesting projects.
Deployment support
We offer technical support during the deployment of your smart contracts in Testnet or Mainnet.
Application development
Development of offchain application like web-platforms, wallets, and others.
Our verification
All of the projects verified by SmartDec can receive our Stamp for public use.
Software audit
Automated and manual audit of applications and scripts. We have self-developed static code analyzer for most commonly used programming languages and experience in audit of source code and binary code for mobile applications, web applications, proprietary software.
SmartCheck, static code analyzer for Solidity
SmartCheck is a free online security tool for Solidity programming language.
It automatically checks Smart Contracts for vulnerabilities and bad practices, highlights them in the code and gives a detailed explanation of the problem.
Try SmartCheck for free

Drop us a message
SmartDec International Ltd

Head Office

+972 3 7219009
Rishon Lezion, Israel

Development Office

+7 499 7500327
Moscow, Russia

US Representative
+1 646 4611726
New York, USA
Made on