Skip to main content
Tezos Blockchain and Smart Contract Overview
In this article, we explain the main features of the Tezos smart contract platform and provide an example of a Tezos smart contract.
Web3
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...
Formal Verification of Smart Contracts with the K Framework
An Apriorit system programming expert analyzes the pros and cons of applying formal verification to smart contracts, compares it to other types of sec...
How EOS Casinos Lost $562,000 to Smart Contract Vulnerabilities
In this article, we analyze the causes of these recent EOS casino hacks and see if they could have been avoided.
Smart Contract Security Audit: Penetration Testing and Static Analysis
Apriorit experts were assigned to perform a security audit of the smart contracts and provide recommendations on code optimization and improvements.
5 Security Tips for Writing Smart Contracts
Learn five tips for developing secure and vulnerability-free smart contracts from our blockchain expert Mihail Sotnichek.
Fomo3D Round Conclusion Vulnerability
This article describes how Fomo3D vulnerability points to a bigger potential issue with all smart contracts of other DApps.
EOS RAM Exploit: Explanation of the Vulnerability and Recovery Tips
Learn about the recently discovered bug in EOS smart contracts that allows hackers to allocate RAM and how to get your RAM back.
In-Car Payment Systems: Automation of Toll Road Payments Based on IOTA
Use IOTA for the toll road payments automation. Go beyond blockchain to facilitate in-car payments.
Smart Contract Security Guaranteed by the Network: Cardano and Zilliqa
Cardano and Zilliqa plan to guarantee smart contract security within their protocols. We test if its true by trying to exploit a reentrancy vulnerabil...
