Skip to main content
Development Blog
Tezos Blockchain and Smart Contract Overview
In this article, we review the Tezos project, which some experts have already called the “Ethereum killer.” And these aren’t just words; the pro...
Web3
Development Blog
How to Implement a Custom Blockchain for Your Business: Graphene Framework
Though a blockchain is just a distributed ledger with an immutable chain of data, blockchains can be successfully implemented in various business sphe...
Development Blog
Formal Verification of Smart Contracts with the K Framework
Currently, blockchain technology is mostly used for handling investments and significant amounts of money. But vulnerabilities in smart contracts can ...
Development Blog
How EOS Casinos Lost $562,000 to Smart Contract Vulnerabilities
When we hear about blockchain technology, we instantly think of the financial industry. But nowadays, it’s used in data sharing, copyright and royal...
Case Studies
Smart Contract Security Audit: Penetration Testing and Static Analysis
Our client is a leading software manufacturer and service provider in the area of business process digitization. They’re working on an innovative bl...
Development Blog
5 Security Tips for Writing Smart Contracts
Developing a smart contract is just as hard as building an aircraft control system, says blockchain expert Mihail Sotnichek. And these words are 100 p...
Development Blog
Fomo3D Round Conclusion Vulnerability
Fomo3D developers would prefer if you never heard about this vulnerability, as this smart contract exploit turns the popular cryptocurrency game into ...
Development Blog
EOS RAM Exploit: Explanation of the Vulnerability and Recovery Tips
The promise of easy money can make people do crazy things. Members of the blockchain community aren’t immune to this problem. And as the recent EOS ...
Development Blog
In-Car Payment Systems: Automation of Toll Road Payments Based on IOTA
The Internet of Things (IoT) is starting to radically transform various aspects of our professional and everyday lives. At the same time, the blockcha...
Development Blog
Smart Contract Security Guaranteed by the Network: Cardano and Zilliqa
The introduction of smart contracts surely was one of the greatest milestones in the history of the blockchain. But just like any innovation, smart co...