What is StarkNet
A intro guide about what StarkNet is
Table of Contents for What is StarkNet
StarkNet is a ZK-Rollup.
It works as a Ethereum L2.
Who created StarkNet?
StarkNet was created by StarkWare. They create zero knowledge technology, to try to increase scalability on the Ethereum blockchain.
They have a few other products, for example:
What is StarkNet based on - Cairo language
It is based on the Cairo langauge. This is a turing complete language. It is a language that can create STARK based programs.
If you want to find out more:
More info on StarkNet
StarkNet approaches the scaling issue by optimising things that users interact with, devs code with, the StarkNet nodes.
Transactions on StarkNet are proved to be valid via a STARK proof, and are batched up. These can be verified on the Ethereum blockchain (verifying these proofs is very quick).
Sharp (shared prover) is something written in Cairo which lets multiple apps (dApps) to combine their data into one single proof, which means they can share the gas cost of proof verification on Ethereum.
StarkEx (live on Ethereum since June 2020) is used by apps that do transfers. It supports on-chain data (rollup) off-chain data (Validium), and a hybrid mode (called Volition)
Spotted a typo or have a suggestion to make this crypto dev article better? Please let me know!
📙 Solidity Auditing online quiz
Learn how to audit smart contracts by looking at some example code and trying to find the bugs
⛽ Solidity Gas Optimizations Guide
How to optimize and reduce gas usage in your smart contracts in Solidity
🧪 Guide to testing with Foundry
Guide to adding testing for your Solidity contracts, using the Foundry and Forge tools
📌 Guide to UTXO
UTXO and the UTXO set (used by blockchains such as Bitcoin) explained
📐 Solidity Assembly Guide
Introduction guide to using assembly in your Solidity smart contracts
📦 Ethereum EOF format explained
Information explaining what the upcoming Ethereum EOF format is all about