Solidity

Part 2: Starting a Node, APIs, and Connecting to MetaMask In the second article of our three-part series, we will guide you through starting a node, running the JSON-RPC API, and connecting our custom Proof of Stake (PoS) blockchain to MetaMask. If you haven’t read the first article, you can…

Imagine a buyer and seller that do not know each other, interacting over the Internet. The seller offers to sell a digital document online to the buyer for some money. The buyer agrees and sends over the money — the seller then proceeds to send over a fake document or…

Part 1: Overview and Consensus Mechanism — Repo: https://github.com/lambo10/PosBlockchain.git In this first article of a three-part series, we’ll introduce our custom Proof of Stake (PoS) blockchain and discuss the underlying consensus mechanism. The series will cover the following topics: Overview and Consensus Mechanism Starting a Node and APIs Writing and Deploying Smart Contracts Introduction

Accessing data from the outside world of blockchain is important for our smart contract. Thanks to chainlink oracle now we can make our smart contract able to listen to off-chain data. In this guide, I want to show you how we can receive data using get API request. For receiving…

Formal verification is a process used for verifying the correctness of smart contracts, which can help in preventing potential security issues or bugs. In this blog post, we will explore formal verification in Solidity, discussing its approaches, techniques, and examples. What is Formal Verification? Formal verification is the process of proving the correctness of…

Follow the author on Twitter for more crypto. The code for this demonstration is available in GitHub — If you are going to be reading the value of a state variable — a variable with a storage location — more than once for a function, caching it in memory is more gas-efficient than calling it multiple times. The below smart contracts illustrate this concept. The very simple smart…

Purpose of this document and the following ones: We all know a couple of ERCs and we use them almost every day while we are developing blockchain projects: ERC20 ERC721 ERC1155 Great! We could all agree that we know how they work and how to use them. However, we tend…

Hardhat is a popular Ethereum development environment designed to streamline the process of building, testing, and deploying smart contracts. It provides developers with a range of tools, such as task automation, debugging, and network management, to create a more efficient workflow. However, repeatedly typing out long Hardhat commands can be…

This tutorial will teach you core concepts of Solidity on a practical example. We will create a smart contract for a Presidential Election with the following features: The contract owner can send a state result with information on how many votes each candidate has won and the seats awarded for…