Welcome to the 48th edition of my weekly comprehensive StarkNet summary. The previous update can be found here. 👇🏻
Would you like to sponsor this newsletter? Reach out to me.
If you enjoy this newsletter, don’t forget to subscribe. It’s free!
Let’s get into this week’s news! 💪
Media highlights
@JediSwap - Check out the latest issue of the JediSwap newsletter - JediSwap publishes its new edition
Ecosystem Highlights
@StarkWareLtd - We're excited to start announcing our AMAZING lineup of speakers - @StarkWareLtd announces its speakers list for the StarkWare Sessions 2023
@StarkWareLtd - StarkWare Sessions 2023 is coming - Meet your favorite Giga brains - Share your ideas - Present your startup - Get up to speed with the most exciting innovations in math, cryptography and the future of scaling - Be part of the ecosystem!
@KakarotZkEvm - 2022 was crazy, from 0 to 100% opcodes in < 3 months - Next on the list: - precompiles - Cairo 1.0 migration - L3 ?
@dub_zn - PokeCairo Cards is live on Testnet - This is a small NFT project, get free daily packs and trade to Mint'em all
@zkxprotocol - ZKX Year End Review - @zkxprotocol reviews its year and publishes an update on its new roadmap
@JediSwap - Congratulations on the first $100k TVL - @JediSwap AMM just passed 100k TVL
@dolvenlabs - 2022 Recap of Dolven Labs - @dolvenlabs reviews its year
@CarmineOptions - Your feedback matters, Carmine team works hard on making the Options experience better for the community
@dolvenlabs - Dolven’s Crew3 Quests Now Turn a Month Old and It’s Time to Reveal The Winners - @dolvenlabs announces the winners of its crew3
@influenceth - Prepare your ships everyone. Early access starts late January
@Carbonable_io - We have received our first #carbon #credits from our first carbon capture projects
@StarkLabsHQ - Welcome Stark Labs, an incubator platform for promising NFT projects on #StarkNet - A new project has landed on StarkNet
@cartridge_gg - MuMu Season 2 is now playable with the Cartridge Controller
Ecosystem stats
@DefiLlama - Cairo is now the third largest smart contract language by TVL
@OrbiterResearch - 🚩The TOP 5 dapps ranked by interactions in 7 days on StarkNet - @10KSwap - @mySwapxyz - @MintSquareNFT - @Starknet_id - @aspectdotco
StarkNet Community & Shamans Highlights
STARK @ Home 28: Unlocking the Magic: Exploring the Future of Magic The Gathering with StarkNet
StarkNet Decentralized Protocol - Candidate for Leader Elections
In the previous post 11 we remarked the StarkNet consensus protocol will be turn-based: time will be divided into slots and each slot will have a unique leader. This post describes a suggestion for a leader election protocol modeled on an epoch-based public lottery. The remainder of the consensus protocol is abstracted away and will be treated separately. In particular we do not treat rewards or incentives.
We begin with an overview of the protocol and a brief discussion of the
leader_electionfunction. Next we dive into the protocol components, and end with some remarks on randomness.Overview
The protocol is epoch based – time is divided into epochs which are in turn subdivided into slots; there is one StarkNet block per slot. A StarkNet epoch will be 5-10 minutes in real-time as measured by L1 block timestamps. Thus L1 divides all of time into roughly equal 10 minute intervals. A StarkNet slot will be at most 10-15 seconds. These numbers are not final and may-well end up smaller.
To promote agreement, the leader schedule for epoch(i) is determined at the end of epoch(i-2) with epoch(i-1) acting as a synchronization period. This assumes L1 transactions are included in the ledger within 1 epoch.
The
leader_electionfunction receives an epoch’s randomness and stake distribution as parameters; it takes a slot to a unique slot leader based on the stake and randomness. This function is common knowledge and can be calculated off-chain without sending Ethereum transactions.Randomness comes from L1 and should be renewed once per epoch for unpredictability. The trigger will be part of the decentralized protocol, with a frequency of several minutes. If randomness is not renewed, old randomness will be recycled. We’ll leave this point for last.
The leader schedule for epoch(i) only considers the stake distribution at epoch(i-3). This is to ensure that randomness for epoch(i), which is sampled at epoch(i-2), is not known to depositors.
An L1 staking contract
bookiecontrols stake and randomness.
The
bookiehas deposit and withdraw functionalities. We will refer to them as actions.There is a withdrawal delay
lock_periodwhose length has not been decided yet. Its purpose is to avoid nothing-at-stake scenarios where stake is withdrawn before malicious activity is detected.A state update of the L1
corecontract ensures via proof that L2 block authorship follows the leader schedule.
Heavily discussed StarkNet Improvement Proposals
StarkNet Decentralized Protocol - Candidate for Leader Elections
StarkNet Builders’ Council - Mission Statement
Delegate Profile Thread
Regenesis state migration - Current suggestion
StarkNet Account Abstraction Model - Part 1
Supporting webauthn on Starknet
Useful links & articles
@myBraavos - #Smartcontract based wallets are still completely underestimated in the industry - The security and UX capabilities of traditional crypto wallets are extremely limited compared to smart contract based wallets. Understand why they will become a standard
@Gammax_Exchange - Let us look at the common strategies #traders could consider while planning an effective exit
@0xNurstar - Top of STARKs 2022 - Selection of the best tweets of 2022 related to StarkNet
@Testnet_Digger - I'll introduce you to one of them, @Gammax_Exchange, which is planning to #airdrop its community
@galronx - Just randomly found out about @crypto_gurkha 's Youtube channel - If you're into #StarkNet stuff, you should follow this channel - Fantastic content about StarkNet builders and apps
@odin_free - DEXes are exchanges that operate on a decentralized network, meaning they are not controlled by any single entity
@stark_con - To fully understand recursive Starks, we need to understand how non-recursive proofs work - A thread explaining this concept
@starkience - SHARP is a component of the system that includes the #STARK prover - In other words, SHARP is a mega computer that generates proofs to confirm that Cairo programs have been run correctly
@davgarai - What's next for DeFi? Are we REKT? My predictions for 2023
@stark_con - StarkCon 2022: A Relook Into StarkNet India Community
@Gammax_Exchange - Deep dive into these topics to begin your crypto trading journey
@stark_con - It's another bright day to explore a kick-ass project in the @StarkNetEco - @EmpiricNetwork Presentation of the @EmpiricNetwork project
Developer resources
@cairo_lib - Introducing http://CairoLib.dev an initiative by @dolvenlabs to build the First Library for Smart Contracts built-in #Cairo - It is a true library for Smart Contracts, built solely to aid and educate the builders on StarkNet
@alexanderchopan - GitHub - 0xpass/awesome-account-abstraction - A curated list of resources dedicated to Account Abstraction (EIP-4337)
@tarrenceva - Playing around with StarkNet contracts in Cairo 1.0 today, some insights as I go
@trangnv_ - Interacting with #StarkNet contracts using Jupyter Notebook would bring onchain-data-science-competition 1 step closer - Thank to starknetpy from
@swmansion it's possible now
@ant_sabado - Our engineers takes a closer look at the new features added to Cairo 1.0 and the improvements being made that will make it easier for developers to write StarkNet contracts
@nethermindeth - A First Look at Cairo 1.0: A Safer, Stronger & Simpler Provable Programming Language - Let's look at the new features added to Cairo and what they mean for the future of the language
@OnlyDust_xyz - if you want to sprinkle it with a bit of open-source contributing we’ve got a little something for you
Dates and Events
@StarkNetAfrica - Our fifth StarkNet Ecosystem Deep Dive Twitter space will feature @Carbonable_io - Date : 3 Jan, 5 PM (WAT)
@henrlihenrli - Join the StarkNet Basecamp! - We’ll cover Starks, Cairo, StarkNet, and Smart contracts on StarkNet - Basecamp will be a 6-week training program, with 6x 2h online calls + homework - Date : January 4th 2023
@barretodavid - We'll be organizing a StarkNet Meetup in Toronto in mid-January - Date : Jan 18th
@StarkWareLtd - StarkWare Sessions 2023 - Date : Feb 5-6
You can check out all of the past updates here.
None of the content of this newsletter is financial advice. Always do your own research.
Thank you for reading, and see you next week. ⏳
Special thanks to odin_free & @0xNurstar for helping me source some of the information; and thank you to StarkNet_Digger for editing!
Would you like to sponsor this newsletter? Reach out to me.