Starknet Astro (@StarkNetAstro) header
Starknet Astro (@StarkNetAstro) profile picture

@StarkNetAstroCN is the most creative #StarkNet community we provide the most cutting-edge and insightful research on StarkNet Let’s explore the StarkNet LFG🚀

Joined November 2022
🚀 Future Plans Astro will hold the Starknet Hacker House in Chengdu from August 21st to 27th Register link: 🔗 antalphalabs.typeform.com/ha…
1
1
55
🚀 1st #Starknet Workshop in Shanghai June 23-24, we held China's first Starknet Workshop in Shanghai The attendees exceeded 50 people for two consecutive days, and even heavy rain on the second day could not extinguish everyone's enthusiasm for Starknet🔥
1
1
50
@gyanlakshmi from @StarkWareLtd came to support and answered so many questions 🔥😍 The Q&A list doc docs.google.com/document/d/1…
1
2
70
🚀 1st Chinese Cairo Bootcamp Astro launched the first Chinese Cairo Bootcamp on May 21st the Bootcamp witnessed more than 200 registrations and an impressive 140+ cumulative participants, averaging over 28 attendees per session
1
1
100
#Starknet Shanghai is coming 🔥 The first Starknet & #CairoLang workshop in China! June 23-24 📅 here you’ll learn: ✨ Intro Starknet & Cairo ✨ deploy ERC20 & ERC721 ✨ generate STARK proof ✨ zkEVM & Cairo VM ✨ Sequencer for more info please check: meetup.com/shanghai-cryptogr…
2
154
4
39
34,250
So, it seems that @VitalikButerin 's diagram needs to be updated?😋 StarkNet is not a zkEVM for type 4 language equivalent EVM, but a zkEVM for type 2 bytecode equivalent EVM.
2
StarkNet belongs to the type 4 level defined by Vitalik - language-Equivalent zkEVM (strictly speaking, it is a zkVM). vitalik.eth.limo/general/202…
1
1
Compared to other zkEVMs, StarkNet does't make circuits for the EVM opcode. StarkNet has made its own set of assembly language, AIR (Algebraic Intermediate Representation), and high-level language Cairo that are more ZK-friendly.
1
StarkNet Network is recovering.🤩 After block 15922, transactions in pending status are being executed.🚀
Replying to @Starknet_id
@Starknet_id mainnet. And @myBraavos is keeping white...😅 My money is in it....
1
c)Verification Costs Cairo uses the STARK proof system, where the verification cost is logarithmically related to the circuit size and function calls. The more transactions there are, the lower the average verification cost.
1