Starknet AstroWhatโs Starknet: a diffirent zkVM tech stack
SummaryHow Starknet Works: Compares to Ethereum, Starknet only needs a sequencer to executes calculations off-chain. Then, in order to reduce the amount of data, the prover generates a ZK-STARK proof for the transaction. Finally, verifier verifies the correctness of the proof on-chain, and finally bundles multiple L2 transactions into a single transaction on Ethereum (known as Rollup). Therefore, Starknet reduces the execution and storage cost on the chain, resulting in lower gas fees and hig...
Starknet AstroStarkNet ๆๆฏๆถๆๅ็น่ฒ็ๆ
ๅ ณๆณจ StarkNet Astro โจ ไธญๆ้ข้๏ผ่ฑๆ้ข้ๅไบซไผๅ ๅฎน่ฟ้ฟ๏ผๆฌๆฌก AMA ๆป็ปๆๅญๅๅคง้ๅ ๅ๏ผๅฆๆไฝ ๆณไบ่งฃ StarkNet ๆดๅค็ฅ่ฏๅฏๅๅพ StarkNet Astro ็ฅ่ฏๅบ้กต้ขใStarkWareStarkWare ๆฏ StarkEx ๅ StarkNet ่ๅ็ๅผๅๅข้๏ผๅข้ๆๅไปฅๅฏ็ ๅญฆๅทฅ็จๅธไธบไธป๏ผSTARKs ๅ SNARKs ๅๆ่ ๅๆฏๅ ถๅๅงไบบ๏ผๆๆฏๅฎๅไธๆต๏ผ่่ตๆน้ข็ดฏ่ฎก่่ต 2.7 ไบฟ็พๅ ๏ผไผฐๅผ่พพๅฐ 80 ไบฟ็พๅ ๏ผไธบ L2 ๆ้ซใStarkEx็ฎไปStarkEx ๆฏ StarkWare ๅ็ซ็๏ผไธบ้กน็ฎๆนๅฎๅถ ZKR ็ไผไธๆๅก๏ผๅฎๅฏไปฅๅธฎๅฉ้กน็ฎๅฎๅถๅบ็จไธๆ็ ZKR๏ผ็ฎๅไฝฟ็จ StarkEx ็ๅฎขๆทๅ ๆฌ dYdX ใSorareใImmutableXใDeversiFi ็ญใ ไธ้็จ ZKR ไธๅ๏ผๅจ้่ฟ StarkEx ๅฎๅถ็ ZKR ไธญ๏ผ้กน็ฎๆนๅพๅพๅ ทๆ่ถ ็บง็ฎก็ๅ็ๆ้๏ผๅฏไปฅๅณๅฎไบคๆๆฏๅฆ้่ฟไธๆๅบ๏ผๅค้จๅผๅ่ ไธ่ฝๅ ่ฎธๅฏๅฐ้จ็ฝฒๅบ็จ๏ผ็ฝ็ป่พไธบไธญๅฟๅ๏ผไฝไผ็นๆฏๆง่ฝๆ้ซใๅทฅไฝๅ็StarkExๅทฅไฝๆตๅฆไธ๏ผๆๅ ไบคๆ๏ผ้พไธๆๅกๅจ๏ผๅพๅพ็ฑ้กน็ฎๆนไธญๅฟๅ่ฟ่ก๏ผๅค็ๅฎขๆท่ฏท...
Starknet Astro้ฆๅฑไธญๆ Cairo Bootcamp ๅผๅฏๆฅๅ๏ผ
็ฑ Starknet ๅฎๆนๆฏๆ็้ฆๅฑไธญๆ Cairo BootCamp ๅฐไบๆฌๅจๆซๅผๅง๐ ๆฌๆฌก Cairo Bootcamp ๆฏไธไธช็ญๆใ็ฅ่ฏๅฏ้็ๅน่ฎญ้กน็ฎ๏ผๆจๅจๅธฎๅฉๆ็ผ็จ็ป้ช็ไธชไบบๆๆก Cairo ็ผ็จ่ฏญ่จ๏ผCairo ๆฏไธ็ง็จไบ็ผๅๅฏ่ฏๆ็จๅบ็็ผ็จ่ฏญ่จ๏ผ็ฎๅ Starknet ๅฐ Cairo ่ฏญ่จ็จไบๅ ถๅบ็ก่ฎพๆฝๅ็ผๅ Starknet ๅ็บฆใ ๅจๆฌๆฌกๅน่ฎญไธญๆไปฌๅฐไธๆณจไบไปฃ็ ๅฎ่ทต๏ผๆจๅจไฝฟๅญฆๅ่ฟ ้ๆฒๆตธๅจ็ผ็ ็ฏๅขไธญ๏ผไปฅๅนๅ ปๆดๅคๅ ทๆ็ฌ็ซๅผๅ่ฝๅ็ Cairo ๅผๅ่ ใๆไปฌๅฐ้่ฏท็ ็ฉถๅไธๅผๅ่ ไปฅ็ฝ็ป็ดๆญ็ๅฝขๅผ่ฎฒ่งฃ Cairo ่ฏญ่จ็ๅบ็ก็่ฎบๅไปฃ็ ๅฎ่ทตใๅฎๆ่ฏพๆถ่ฟๅฏ่ทๅพไธๅฑ NFT ็ป่ฏพ่ฏๆ ๐ไธใ่ฏพ็จ่งๅ่ฏพ็จๆถ้ฟ๏ผๅ ญๅจ ่ฏพ็จๅฎๆ๏ผๅ ฑ่ฎกๅ ญไธช่ฏพๆถ๏ผๆฏๅจๆซไธ่ฏพ๏ผๆ็ปญ 90 ๅ้ใๆฏๅจไธญๅฎๆ็ดๆญ็ญ็ใ ๅฎ่ทตๅผๅ๏ผๅจ Starknet ็ฌ็ซ้จ็ฝฒ ERC-20 ๆ ERC-721 ็ดๆญๅฝขๅผ๏ผ่ พ่ฎฏไผ่ฎฎ ๅญฆๅ่ฆๆฑ๏ผๅ ทๅค็ผ็จๅบ็กไบใ่ฏพ็จๅคง็บฒ็ฌฌไธ่ฏพ๏ผไป็ป Starknet&Cairo ๅนถ้จ็ฝฒๅผๅ็ฏๅข ็ฌฌไบ่ฏพ๏ผCairo ่ฏญ่จไป็ป ็ฌฌไธ่ฏพ๏ผๅจ Starknet ไธๅๅธ ERC20 ไปฃๅธ๏ผไธ๏ผ ็ฌฌๅ่ฏพ๏ผๅจ ...
Starknet Astro ๆฏ Starknet ็ๆ็็กฌๆ ธๅชไฝ๐ๅ็คพๅบ๐ฎ Starknet Astro provide the most cutting-edge and insightful research on Starknet Eco๐
Starknet AstroWhatโs Starknet: a diffirent zkVM tech stack
SummaryHow Starknet Works: Compares to Ethereum, Starknet only needs a sequencer to executes calculations off-chain. Then, in order to reduce the amount of data, the prover generates a ZK-STARK proof for the transaction. Finally, verifier verifies the correctness of the proof on-chain, and finally bundles multiple L2 transactions into a single transaction on Ethereum (known as Rollup). Therefore, Starknet reduces the execution and storage cost on the chain, resulting in lower gas fees and hig...
Starknet AstroStarkNet ๆๆฏๆถๆๅ็น่ฒ็ๆ
ๅ ณๆณจ StarkNet Astro โจ ไธญๆ้ข้๏ผ่ฑๆ้ข้ๅไบซไผๅ ๅฎน่ฟ้ฟ๏ผๆฌๆฌก AMA ๆป็ปๆๅญๅๅคง้ๅ ๅ๏ผๅฆๆไฝ ๆณไบ่งฃ StarkNet ๆดๅค็ฅ่ฏๅฏๅๅพ StarkNet Astro ็ฅ่ฏๅบ้กต้ขใStarkWareStarkWare ๆฏ StarkEx ๅ StarkNet ่ๅ็ๅผๅๅข้๏ผๅข้ๆๅไปฅๅฏ็ ๅญฆๅทฅ็จๅธไธบไธป๏ผSTARKs ๅ SNARKs ๅๆ่ ๅๆฏๅ ถๅๅงไบบ๏ผๆๆฏๅฎๅไธๆต๏ผ่่ตๆน้ข็ดฏ่ฎก่่ต 2.7 ไบฟ็พๅ ๏ผไผฐๅผ่พพๅฐ 80 ไบฟ็พๅ ๏ผไธบ L2 ๆ้ซใStarkEx็ฎไปStarkEx ๆฏ StarkWare ๅ็ซ็๏ผไธบ้กน็ฎๆนๅฎๅถ ZKR ็ไผไธๆๅก๏ผๅฎๅฏไปฅๅธฎๅฉ้กน็ฎๅฎๅถๅบ็จไธๆ็ ZKR๏ผ็ฎๅไฝฟ็จ StarkEx ็ๅฎขๆทๅ ๆฌ dYdX ใSorareใImmutableXใDeversiFi ็ญใ ไธ้็จ ZKR ไธๅ๏ผๅจ้่ฟ StarkEx ๅฎๅถ็ ZKR ไธญ๏ผ้กน็ฎๆนๅพๅพๅ ทๆ่ถ ็บง็ฎก็ๅ็ๆ้๏ผๅฏไปฅๅณๅฎไบคๆๆฏๅฆ้่ฟไธๆๅบ๏ผๅค้จๅผๅ่ ไธ่ฝๅ ่ฎธๅฏๅฐ้จ็ฝฒๅบ็จ๏ผ็ฝ็ป่พไธบไธญๅฟๅ๏ผไฝไผ็นๆฏๆง่ฝๆ้ซใๅทฅไฝๅ็StarkExๅทฅไฝๆตๅฆไธ๏ผๆๅ ไบคๆ๏ผ้พไธๆๅกๅจ๏ผๅพๅพ็ฑ้กน็ฎๆนไธญๅฟๅ่ฟ่ก๏ผๅค็ๅฎขๆท่ฏท...
Starknet Astro้ฆๅฑไธญๆ Cairo Bootcamp ๅผๅฏๆฅๅ๏ผ
็ฑ Starknet ๅฎๆนๆฏๆ็้ฆๅฑไธญๆ Cairo BootCamp ๅฐไบๆฌๅจๆซๅผๅง๐ ๆฌๆฌก Cairo Bootcamp ๆฏไธไธช็ญๆใ็ฅ่ฏๅฏ้็ๅน่ฎญ้กน็ฎ๏ผๆจๅจๅธฎๅฉๆ็ผ็จ็ป้ช็ไธชไบบๆๆก Cairo ็ผ็จ่ฏญ่จ๏ผCairo ๆฏไธ็ง็จไบ็ผๅๅฏ่ฏๆ็จๅบ็็ผ็จ่ฏญ่จ๏ผ็ฎๅ Starknet ๅฐ Cairo ่ฏญ่จ็จไบๅ ถๅบ็ก่ฎพๆฝๅ็ผๅ Starknet ๅ็บฆใ ๅจๆฌๆฌกๅน่ฎญไธญๆไปฌๅฐไธๆณจไบไปฃ็ ๅฎ่ทต๏ผๆจๅจไฝฟๅญฆๅ่ฟ ้ๆฒๆตธๅจ็ผ็ ็ฏๅขไธญ๏ผไปฅๅนๅ ปๆดๅคๅ ทๆ็ฌ็ซๅผๅ่ฝๅ็ Cairo ๅผๅ่ ใๆไปฌๅฐ้่ฏท็ ็ฉถๅไธๅผๅ่ ไปฅ็ฝ็ป็ดๆญ็ๅฝขๅผ่ฎฒ่งฃ Cairo ่ฏญ่จ็ๅบ็ก็่ฎบๅไปฃ็ ๅฎ่ทตใๅฎๆ่ฏพๆถ่ฟๅฏ่ทๅพไธๅฑ NFT ็ป่ฏพ่ฏๆ ๐ไธใ่ฏพ็จ่งๅ่ฏพ็จๆถ้ฟ๏ผๅ ญๅจ ่ฏพ็จๅฎๆ๏ผๅ ฑ่ฎกๅ ญไธช่ฏพๆถ๏ผๆฏๅจๆซไธ่ฏพ๏ผๆ็ปญ 90 ๅ้ใๆฏๅจไธญๅฎๆ็ดๆญ็ญ็ใ ๅฎ่ทตๅผๅ๏ผๅจ Starknet ็ฌ็ซ้จ็ฝฒ ERC-20 ๆ ERC-721 ็ดๆญๅฝขๅผ๏ผ่ พ่ฎฏไผ่ฎฎ ๅญฆๅ่ฆๆฑ๏ผๅ ทๅค็ผ็จๅบ็กไบใ่ฏพ็จๅคง็บฒ็ฌฌไธ่ฏพ๏ผไป็ป Starknet&Cairo ๅนถ้จ็ฝฒๅผๅ็ฏๅข ็ฌฌไบ่ฏพ๏ผCairo ่ฏญ่จไป็ป ็ฌฌไธ่ฏพ๏ผๅจ Starknet ไธๅๅธ ERC20 ไปฃๅธ๏ผไธ๏ผ ็ฌฌๅ่ฏพ๏ผๅจ ...
Starknet Astro ๆฏ Starknet ็ๆ็็กฌๆ ธๅชไฝ๐ๅ็คพๅบ๐ฎ Starknet Astro provide the most cutting-edge and insightful research on Starknet Eco๐
Subscribe to Starknet Astro
Subscribe to Starknet Astro
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
Astro launched the first Chinese Cairo Bootcamp on May 21st. The event aims to help more Chinese developers quickly master the Cairo language and build products on Starknet. This Bootcamp consisted of five sessions. With an overwhelming response, the Bootcamp witnessed more than 200 registrations and an impressive 140+ cumulative participants, averaging over 28 attendees per session.
The topics covered in this session include:
Introduction to Starknet and Cairo
Development environment setup
Deployment of ERC20 and ERC721 tokens on testnet
Cairo 2.0 syntax
CryptonerdใShalomใMax participated in the explanations.
Each class is recorded, and we will upload all the course videos to YouTube soon. Here are the tutorials and related documents we have prepared:
Course documents: https://starknetastro.xlog.app/
Course slides PDF and video replays: https://starknet-astro.super.site/
The first Cairo Bootcamp organized by Astro has come to an end.
On August 3rd, Starknet Astro invited @StarkWareLtd developer Gyanlakshmi to answer questions encountered by Chinese developers in Cairo development ๐
The Q&A list doc
https://docs.google.com/document/d/1ku_y4M9PUe_GcwiBlvq6Kz2LkagyXD2Za1XCZj-IHVo/mobilebasic
On May 31st, Astro completed the Chinese translation of the Cairo Book and maintained it with regular updates, ensuring that the Chinese version of the Cairo Book can stays synchronized with official updates in time.
And Astro has integrated WASM-Cairo into CairoBook, so we can run Cairo code in the browser. If you also want to build Cairo programs that can run in the browser, please contact us.
https://twitter.com/cryptonerdcn/status/1681702635479638016
At the same time, the WASM-Cairo project won awards at both the Starknet Hackathon hosted by Pragma and the Eth Shanghai Hackathon.
On June 23-24, we held China's first Starknet Workshop in Shanghai to help developers quickly understand the Starknet technology stack and learn advanced content such as Cairo syntax, STARK proof generation, zkEVM, and sequencers.
Surprisingly, besides developers, there were also many Starknet project teams(including four full-chain game teams interested in Starknet) and investors present at the scene. 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.๐ฅ
At the workshop, we introduced the online Cairo code editor: Astro Editor.
Astro insists on promoting the entrepreneurial opportunities of the Cairo language and full-chain games, on-chain AI, contract wallets, and account abstractions on Starknet to individual developers, teams, and startups. Astro already helped some wallet, game, and NFT startups joined the Starknet ecosystem, and in the future, more Chinese development teams will land on Starknet. ๐
On June 3rd, Type V DAO hosted a Twitter Space with Astro to talk about Starknet and L2.
https://twitter.com/TypeV_Official/status/1664549188858945538
On July 13th, Astro held a Twitter Space after the Starknet mainnet upgraded to version v0.12, where many Starknet developers and enthusiasts gathered to discuss the Starknet ecosystem.
On July 15th, Astro researcher CynicSong completed a research article titled "The EVM-Compatible Journey of Starknet: Kakarot zkEVM 101" to introduce Kakarot to Chinese readers.
Special thanks to Kakarot CEO Elias and the team for their suggestions and support on this article.
Kakarot is a zkEVM implemented on Starknet using the Cairo language. It simulates the EVM's stack, memory, execution, and other aspects as Cairo smart contracts. Kakarot faces challenges related to compatibility with Starknet's account system, cost optimization, and stability due to the experimental nature of the Cairo language.
Warp is a translator that converts Solidity code into Cairo code, providing compatibility at the high-level language level. Kakarot, on the other hand, provides compatibility at the EVM level by implementing EVM opcodes and precompiles.
https://twitter.com/StarkNetAstroCN/status/1680195400417054720?t=LlqCQ_6LaPVkzj-0TRPasw&s=19
On July 21st, Astro's Dev Rel & Researcher Max preached about the Starknet technology stack and ecosystem progress to the developer community LXDAO, which focuses on public goods development. The explanation was mainly based on the Chinese knowledge base completed by Astro.
https://starknet-astro.super.site/
Astro will hold the Starknet Hacker House in Chengdu from August 21st to 27th. Students will engage in a one-week development and learning program in the learning environment provided by Astro, and are encouraged to build their own Cairo projects during this period. Astro will provide further updates on the specific details and other information in upcoming event articles.
This Starknet Hacker House is part of Global Hacker House, and multiple developer communities will be hosting Hacker House events in various cities in China in August.
Registration link: ๐
https://antalphalabs.typeform.com/hackerhouse
Astro will also launch the second phase of BootCamp in the second half of the year, which will include advanced topics such as account abstraction, full-chain games, STARK prover, and sequencer in Cairo.
Astro launched the first Chinese Cairo Bootcamp on May 21st. The event aims to help more Chinese developers quickly master the Cairo language and build products on Starknet. This Bootcamp consisted of five sessions. With an overwhelming response, the Bootcamp witnessed more than 200 registrations and an impressive 140+ cumulative participants, averaging over 28 attendees per session.
The topics covered in this session include:
Introduction to Starknet and Cairo
Development environment setup
Deployment of ERC20 and ERC721 tokens on testnet
Cairo 2.0 syntax
CryptonerdใShalomใMax participated in the explanations.
Each class is recorded, and we will upload all the course videos to YouTube soon. Here are the tutorials and related documents we have prepared:
Course documents: https://starknetastro.xlog.app/
Course slides PDF and video replays: https://starknet-astro.super.site/
The first Cairo Bootcamp organized by Astro has come to an end.
On August 3rd, Starknet Astro invited @StarkWareLtd developer Gyanlakshmi to answer questions encountered by Chinese developers in Cairo development ๐
The Q&A list doc
https://docs.google.com/document/d/1ku_y4M9PUe_GcwiBlvq6Kz2LkagyXD2Za1XCZj-IHVo/mobilebasic
On May 31st, Astro completed the Chinese translation of the Cairo Book and maintained it with regular updates, ensuring that the Chinese version of the Cairo Book can stays synchronized with official updates in time.
And Astro has integrated WASM-Cairo into CairoBook, so we can run Cairo code in the browser. If you also want to build Cairo programs that can run in the browser, please contact us.
https://twitter.com/cryptonerdcn/status/1681702635479638016
At the same time, the WASM-Cairo project won awards at both the Starknet Hackathon hosted by Pragma and the Eth Shanghai Hackathon.
On June 23-24, we held China's first Starknet Workshop in Shanghai to help developers quickly understand the Starknet technology stack and learn advanced content such as Cairo syntax, STARK proof generation, zkEVM, and sequencers.
Surprisingly, besides developers, there were also many Starknet project teams(including four full-chain game teams interested in Starknet) and investors present at the scene. 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.๐ฅ
At the workshop, we introduced the online Cairo code editor: Astro Editor.
Astro insists on promoting the entrepreneurial opportunities of the Cairo language and full-chain games, on-chain AI, contract wallets, and account abstractions on Starknet to individual developers, teams, and startups. Astro already helped some wallet, game, and NFT startups joined the Starknet ecosystem, and in the future, more Chinese development teams will land on Starknet. ๐
On June 3rd, Type V DAO hosted a Twitter Space with Astro to talk about Starknet and L2.
https://twitter.com/TypeV_Official/status/1664549188858945538
On July 13th, Astro held a Twitter Space after the Starknet mainnet upgraded to version v0.12, where many Starknet developers and enthusiasts gathered to discuss the Starknet ecosystem.
On July 15th, Astro researcher CynicSong completed a research article titled "The EVM-Compatible Journey of Starknet: Kakarot zkEVM 101" to introduce Kakarot to Chinese readers.
Special thanks to Kakarot CEO Elias and the team for their suggestions and support on this article.
Kakarot is a zkEVM implemented on Starknet using the Cairo language. It simulates the EVM's stack, memory, execution, and other aspects as Cairo smart contracts. Kakarot faces challenges related to compatibility with Starknet's account system, cost optimization, and stability due to the experimental nature of the Cairo language.
Warp is a translator that converts Solidity code into Cairo code, providing compatibility at the high-level language level. Kakarot, on the other hand, provides compatibility at the EVM level by implementing EVM opcodes and precompiles.
https://twitter.com/StarkNetAstroCN/status/1680195400417054720?t=LlqCQ_6LaPVkzj-0TRPasw&s=19
On July 21st, Astro's Dev Rel & Researcher Max preached about the Starknet technology stack and ecosystem progress to the developer community LXDAO, which focuses on public goods development. The explanation was mainly based on the Chinese knowledge base completed by Astro.
https://starknet-astro.super.site/
Astro will hold the Starknet Hacker House in Chengdu from August 21st to 27th. Students will engage in a one-week development and learning program in the learning environment provided by Astro, and are encouraged to build their own Cairo projects during this period. Astro will provide further updates on the specific details and other information in upcoming event articles.
This Starknet Hacker House is part of Global Hacker House, and multiple developer communities will be hosting Hacker House events in various cities in China in August.
Registration link: ๐
https://antalphalabs.typeform.com/hackerhouse
Astro will also launch the second phase of BootCamp in the second half of the year, which will include advanced topics such as account abstraction, full-chain games, STARK prover, and sequencer in Cairo.
No activity yet