Content

Cairo is about to take a great leap forward

The very first recursive proofs of general computation, now live on Ethereum Mainnet

Introducing the First Version of StarkNet Bridge: StarkGate Alpha

Warp the way to StarkNet

New Features: contract upgradeability, block number and block timestamp, events, and more

The Cairo programming language and STARK technology provide an efficient means of recording computational results on blockchain. But how can we be sure that the results mean what we think they mean? This episode is dedicated to answer this question

See how to write and deploy a StarkNet contract in this methodical hands-on workshop with Product Lead Tom Brand and Cairo co-creator, Shahar Papini.

StarkNet’s first step on the road to Mainnet in June 2021: StarkNet Planets Alpha goes live on Ropsten, supporting smart contracts for general computation.

Cairo – How does it work? How are proofs created? Read the Cairo Whitepaper.

Alon Shtaierman @ SmartCon demonstrating how to write and deploy a contract on StarkNet

Cairo toolchain is now available: compiler, VM, IDE tools, documentation, and more.

Shahar Papini @ ZK Summit, explaining the journey that led to Cairo, and the possibilities it opens for general computation on Ethereum.

• Part

An introduction to Cairo and a coding session - from ETHGlobal Scaling Ethereum hackathon

Scalable proof systems can have (theoretically) one set of constraints to enforce the computational integrity of any computation. This episode's discussion is all about the best way to achieve this.

Learn how to build your dApp using Cairo and STARKs

Alon Shtaierman explains to build an AMM with Cairo (Chinese subtitles)

1st production-grade Turing-complete STARK framework

Eli Ben-Sasson introducing STARKs, Cairo and StarkNet (Chinese subtitles)

The vision for StarkNet is outlined here. Published in January 2021, the post discusses the potential to scale without compromising security, to economize on gas fees, and to allow the blockchain ecosystem to grow.