A primer on Kakarot Kakarot zkEVM is an implementation of the Ethereum Virtual Machine (EVM) written in Cairo. Cairo is a Turing-complete language associated with the CairoVM. The CairoVM enables provable compute by leveraging polynomials and the ZK-STARK proof system. A zkEVM is characterised by its ability to generate provable transactions, and thus provable…

Update (24th May 2023): This tutorial is outdated! Please go and check our awesome community Cairo book: https://cairo-book.github.io/ch01-01-installation.html There, you’ll be able to learn everything about Cairo 1.0 and the ins and outs of Starknet. Cheers! TL;DR: fork the Cairo compiler, clone it locally, build it and add it as an alias (you may…

What is Starknet? StarkNet is a permissionless decentralized Validity-Rollup (often referred to as ZK-Rollup). It operates as an L2 network over Ethereum, enabling any dApp to achieve unlimited scale for its computation — without compromising Ethereum’s composability and security. Starknet’s uniqueness comes from its smart contract programming language: Cairo. When…

TL;DR: Humans like private property. Humans have access to the digital world and would like to secure private property there. For that, one needs to be able to perform digital authentication. Asymmetric cryptography (more precisely elliptic curve cryptography) provides a suitable solution for this problem. Imagine waking up to find…

TL;DR: The End of the Quest for Conformity is nigh. AI general-purpose apps such as OpenAI’s ChatGPT will equalise us in the sense that resumés, motivation letters, essays and articles will soon all be co-written by LLMs. Therefore, being well-written will soon become the boring norm. Though being well-spoken will…

Hey there! Let’s grab some Arbitrum Goerli funds! Goerli is an Ethereum Testnet. It essentially behaves like Ethereum, but money is fake there. Arbitrum is an Ethereum Layer 2. A Layer 2 is a blockchain, with its own applications layer. At regular intervals, it commits to Ethereum mainnet all its…

Hi there! My name’s Elias, and I initially wrote this article for my cousin. He wanted to understand blockchain technology and did not know how to go about it. Hearing about cryptos can be quite overwhelming: speculation, huge carbon footprint, Ponzi schemes and other forms of bad buzz. Our mind…

Software engineers use git on a daily basis. Saving time and energy when manipulating version control is tremendously underrated. The aim of this short article is to provide a best-in-class configuration for git rebases and fixups in VSCode. Requirements: Use VSCode as your IDE. Use git as your version control system…

Hi there! I was at EthDenver in 2022 and I thought I’d tell you about it. Let me introduce myself quickly. My name’s Elias, I work as a developer for Aramid, a multichain communication protocol launched on Algorand. …