Posts

In this article we’re going to introduce a framework for assessing a validator’s profitability and cover a couple of practical examples of how to check if it makes sense to run a validator in a particular network.

Hey guys, in this blog post, we’re going to perform a security assessment of a smart contract and, with the help of Certora’s formal verification tool, try to prove there are no “High” severity issues residing in the source code.

In this blog post we’re going to deep dive into the Sorra Finance hack, find the root cause of the bug and create a certora rule which could’ve prevented the exploit.

Overview In this blog post we’re going to:{{ double-space-with-newline }}1. Understand how ERC20 self transfer vulnerability works in smart contracts{{ double-space-with-newline }}2. Create a semgrep rule for finding such contracts{{ double-space-with-newline }}3. Scan https://github.com/tintinweb/smart-contract-sanctuary to better understand how many contracts exist with such bug

In this tutorial we’re going to build a very basic decentralized exchange (DEX) like Uniswap or PancakeSwap.

In this tutorial we’re going to create our own ERC721 NFT collection and publish it on the Opensea marketplace.

In this tutorial we will get root access for the Validation machine from Hack The Box.

In this tutorial we’re going to define base steps for web penetration testing and find vulnerabilities in DVWA.

In this tutorial we’re going to identify running services on the target server and try to exploit them.

The 1st step of any penetration test is gathering information about the target company. In this tutorial we will go through all the steps required for passive information gathering.